- Artificial intelligence (2)
- Abduction(Logic) (1)
- Induction (Logic) (1)
- Induction(Logic) (1)
- Logic programming (1)
- Logic, Symbolic and mathematical (1)
- Machine learning--Congresses (1)
- Machine learning--Industrial applications--Congresses (1)
- Machine learning--Textbooks (1)
- Prolog (Computer program language) (1)
- Reasoning--Data processing (1)
- 機械学習 (1)