The Quantified Argument Calculus with Two- and Three-valued Truth-valuational Semantics.
Hongkai YinHanoch Ben-YamiPublished in: Stud Logica (2023)
Keyphrases
- nonmonotonic logics
- algebraic structure
- abstract argumentation frameworks
- valued semantics
- abstract argumentation
- argumentation frameworks
- graphical representation
- database query languages
- formal language
- formal semantics
- inference rules
- default logic
- argumentation systems
- description logics
- process algebra
- proof theory
- model theoretic
- default reasoning
- desirable properties
- data exchange
- semantic information
- logic programming
- epistemic logic
- formal specification
- consistent query answering
- database systems
- tableau calculus