Keyphrases
- nonmonotonic reasoning
- logic programming
- belief revision
- default reasoning
- default logic
- commonsense reasoning
- nonmonotonic inference
- conditional logic
- defeasible reasoning
- autoepistemic logic
- sufficient conditions
- abductive reasoning
- defeasible logic
- fixpoint
- causal inference
- truth maintenance systems
- argumentation systems
- nonmonotonic logics
- machine learning
- knowledge base
- minimal models
- artificial intelligence