Keyphrases
- nonmonotonic reasoning
- defeasible reasoning
- logic programming
- argumentation systems
- conditional logic
- commonsense reasoning
- defeasible logic
- nonmonotonic logics
- proof theoretic
- abductive reasoning
- autoepistemic logic
- default reasoning
- nonmonotonic inference
- default logic
- belief revision
- argumentation theory
- classical logic
- logic programs
- truth maintenance systems
- proof theory
- possibility theory
- minimal models
- extended logic programs
- inheritance reasoning
- causal inference
- deductive databases
- proof procedures
- knowledge representation
- modal logic
- logical framework
- propositional logic
- legal reasoning
- default theories
- linear logic
- default rules
- fixpoint
- probability theory
- answer sets
- programming language
- relational databases