Keyphrases
- model theoretic
- deductive databases
- description logics
- decision procedures
- operational semantics
- logic programs
- proof theoretic
- fixpoint
- default reasoning
- probabilistic reasoning
- modal logic
- logic programming
- databases
- theorem proving
- automated reasoning
- agent model
- query evaluation
- query processing
- artificial intelligence