Keyphrases
- proof theoretic
- proof theory
- model theoretic
- nonmonotonic reasoning
- linear logic
- default reasoning
- constraint logic programming
- fixpoint
- description logics
- deductive databases
- decision procedures
- fixed point
- natural language
- operational semantics
- logic programming
- sufficient conditions
- logic programs
- belief revision
- answer set programming
- speech acts