Keyphrases
- proof theoretic
- model theoretic
- proof theory
- default reasoning
- nonmonotonic reasoning
- linear logic
- constraint logic programming
- fixpoint
- logic programming
- operational semantics
- description logics
- deductive databases
- constraint programming
- logic programs
- database systems
- partial order
- logical framework
- decision procedures
- object oriented
- background knowledge
- relational databases
- natural language