Keyphrases
- taxonomic reasoning
- knowledge base
- description logics
- expert systems
- logic programming
- knowledge representation
- situation calculus
- artificial intelligence
- theorem proving
- natural language
- artificial neural networks
- software engineering
- general purpose
- programming language
- logic programming language
- abstract machine