Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes.
Carlo ProiettiDavide GrossiSonja SmetsFernando R. Velázquez-QuesadaPublished in: LORI (2019)
Keyphrases
- modal logic
- inference rules
- argumentation frameworks
- logical framework
- temporal logic
- argumentation semantics
- epistemic logic
- default logic
- classical logic
- nonmonotonic logics
- abstract argumentation
- practical reasoning
- theorem proving
- dynamic logic
- situation calculus
- argumentation systems
- natural language
- conditional logic
- knowledge representation
- expert systems
- computational complexity