On the Epistemic Logic of Incomplete Argumentation Frameworks.
Andreas HerzigAntonio Yuste-GinelPublished in: KR (2021)
Keyphrases
- epistemic logic
- logical framework
- argumentation frameworks
- argumentation semantics
- modal logic
- model checking
- dynamic epistemic logic
- inference rules
- preference relations
- reasoning tasks
- decision problems
- multi agent systems
- abstract argumentation frameworks
- practical reasoning
- abstract argumentation
- belief revision
- temporal logic
- multi faceted
- decision theoretic
- mathematical theory
- theoretical framework
- programming language
- object oriented