Bipolar Abstract Dialectical Frameworks Are Covered by Kleene's Three-valued Logic.
Ringo BaumannMaximilian HeinrichPublished in: IJCAI (2023)
Keyphrases
- nonmonotonic logics
- propositional logic
- positive and negative
- valued semantics
- defeasible reasoning
- abstract argumentation frameworks
- argumentation systems
- argumentation theory
- modal logic
- high level
- epistemic logic
- evaluation methods
- computational properties
- predicate logic
- argumentation frameworks
- automated reasoning
- logic programming
- defeasible logic
- multi valued
- inference rules
- consistent query answering
- logical framework
- databases
- truth values
- deontic logic
- regular expressions
- proof theory
- expressive power
- knowledge representation
- sound and complete axiomatization