Keyphrases
- knowledge representation
- modal logic
- kripke models
- epistemic logic
- inference rules
- logic programming
- knowledge representation formalisms
- conditional logic
- nonmonotonic logics
- proof theory
- representing knowledge
- propositional dynamic logic
- model checking
- automated reasoning
- first order logic
- modal operators
- proof procedures
- dynamic logic
- classical logic
- autoepistemic logic
- knowledge acquisition
- default logic
- formal semantics
- expressive power
- knowledge base
- logical framework
- natural language
- temporal logic
- semantic web
- higher order logic
- nonmonotonic reasoning
- natural language processing
- decision procedures
- computational properties
- knowledge structures
- action theories
- natural language understanding
- default reasoning
- knowledge based systems
- logic programs
- expert systems
- valued semantics
- machine learning
- knowledge engineering
- answer set programming
- reasoning tasks
- description logics
- belief revision
- proof theoretic
- production rules
- grounded semantics
- probabilistic reasoning