On Argumentation Logic and Propositional Logic.
Antonis C. KakasPaolo MancarellaFrancesca ToniPublished in: Stud Logica (2018)
Keyphrases
- propositional logic
- nonmonotonic logics
- lattice theory
- horn logic
- proof procedure
- belief revision
- possibilistic logic
- first order logic
- propositional variables
- valued logic
- quantified boolean formulae
- minimal models
- logic programming
- logical theories
- automated reasoning
- satisfiability testing
- propositional formulas
- logical framework
- classical logic
- horn clauses
- constraint satisfaction problems
- machine learning
- logic based argumentation