Argumentation for Propositional Logic and Nonmonotonic Reasoning.
Antonis C. KakasFrancesca ToniPaolo MancarellaPublished in: CILC (2014)
Keyphrases
- propositional logic
- nonmonotonic reasoning
- belief revision
- defeasible reasoning
- argumentation systems
- conditional logic
- default reasoning
- belief change
- possibilistic logic
- nonmonotonic logics
- defeasible logic
- nonmonotonic inference
- logic programming
- abductive reasoning
- autoepistemic logic
- possibility theory
- knowledge base
- temporal logic
- truth maintenance systems
- quantified boolean formulae
- default logic
- propositional satisfiability
- first order logic
- horn logic
- propositional formulas
- minimal models
- default theories
- artificial intelligence
- machine learning