Hypersequential Argumentation Frameworks: An Instantiation in the Modal Logic S5.
Annemarie BorgOfer ArieliPublished in: AAMAS (2018)
Keyphrases
- modal logic
- argumentation frameworks
- argumentation semantics
- temporal logic
- abstract argumentation frameworks
- practical reasoning
- argumentation systems
- inference rules
- epistemic logic
- logical framework
- abstract argumentation
- conditional logic
- decision problems
- situation calculus
- strong equivalence
- classical logic
- explanation based generalization
- prime implicates
- argumentation theory
- nonmonotonic logics
- preference relations
- default logic
- desirable properties
- expert systems
- cooperative
- dynamic logic
- default theories
- case based reasoning
- knowledge base