On the Links Between Argumentation-Based Reasoning and Nonmonotonic Reasoning.
Zimi LiNir OrenSimon ParsonsPublished in: TAFA (2017)
Keyphrases
- nonmonotonic reasoning
- defeasible reasoning
- argumentation systems
- default reasoning
- logic programming
- belief revision
- default logic
- conditional logic
- commonsense reasoning
- nonmonotonic inference
- possibility theory
- abductive reasoning
- defeasible logic
- nonmonotonic logics
- autoepistemic logic
- proof theoretic
- legal reasoning
- truth maintenance systems
- default theories
- default rules
- extended logic programs
- bayesian networks
- fixpoint
- propositional logic
- logic programs
- programming language
- data model
- expert systems