Strong Inconsistency in Nonmonotonic Reasoning.
Gerhard BrewkaMatthias ThimmMarkus UlbrichtPublished in: IJCAI (2017)
Keyphrases
- nonmonotonic reasoning
- logic programming
- default reasoning
- belief revision
- default logic
- nonmonotonic inference
- commonsense reasoning
- conditional logic
- possibility theory
- classical logic
- nonmonotonic logics
- abductive reasoning
- causal inference
- autoepistemic logic
- defeasible logic
- fixpoint
- logic programs
- extended logic programs
- defeasible reasoning
- inheritance reasoning
- default theories
- default rules
- argumentation systems
- machine learning
- truth maintenance systems
- case based reasoning
- data model
- expert systems
- high level