- Logic, Symbolic and mathematical (10)
- Artificial intelligence (6)
- Logic programming (6)
- Computer science (3)
- Electronic digital computers--Programming (2)
- 科学理論.科学哲学 (2)
- Artificial intelligence--Congresses (1)
- Automatic theorem proving--Congresses (1)
- Grammar, Comparative and general (1)
- Modality (Logic) (1)
- Problem solving--Congresses (1)
- Qualitative reasoning--Congresses (1)
- Reasoning--Congresses (1)
- Semantics (Philosophy) (1)
- logic, Symbolic and mathematical (1)
- 情報科学 (1)