Keyphrases
- nonmonotonic reasoning
- default reasoning
- logic programming
- belief revision
- default logic
- commonsense reasoning
- conditional logic
- abductive reasoning
- nonmonotonic inference
- temporal reasoning
- possibility theory
- autoepistemic logic
- defeasible reasoning
- extended logic programs
- proof theoretic
- nonmonotonic logics
- default theories
- defeasible logic
- inheritance reasoning
- temporal constraints
- causal inference
- minimal models
- argumentation systems
- classical logic
- logic programs
- default rules
- deductive databases
- temporal logic
- artificial intelligence