Keyphrases
- knowledge representation
- logic programming
- automated reasoning
- knowledge representation formalisms
- commonsense reasoning
- representing knowledge
- artificial intelligence
- knowledge base
- expert systems
- natural language
- classical logic
- natural language understanding
- probabilistic reasoning
- databases
- machine learning
- knowledge based systems
- nonmonotonic reasoning
- formal theory
- semantic web
- logic programs
- deductive reasoning
- knowledge engineering
- modal logic
- knowledge acquisition
- description logics
- natural language processing
- production rules
- logical framework
- computational properties
- formal representation
- truth values
- first order logic
- linear logic
- proof theory
- legal knowledge
- information systems