Keyphrases
- model theoretic
- deductive databases
- description logics
- operational semantics
- proof theoretic
- logic programs
- decision procedures
- fixpoint semantics
- default reasoning
- fixpoint
- probabilistic reasoning
- reasoning mechanism
- proof procedure
- logic programming
- autoepistemic logic
- database
- integrity constraints
- answer sets
- theorem proving
- formal semantics
- modal logic
- action theories
- data management
- machine learning