- Artificial intelligence (17)
- Logic, Symbolic and mathematical (17)
- Logic programming (5)
- Algorithms (2)
- Computer science (2)
- Expert systems (Computer science) (2)
- Reasoning (2)
- Automatic theorem proving (1)
- Machine theory (1)
- Modality (Logic) (1)
- Natural language processing (Computer science) (1)
- Probabilities (1)
- Prolog (Computer program language) (1)
- Reasoning--Data processing (1)