New Weak Admissibility Semantics for Abstract Argumentation.
Jérémie DauphinTjitze RienstraLeendert van der TorrePublished in: CLAR (2021)
Keyphrases
- abstract argumentation
- argumentation frameworks
- abstract argumentation frameworks
- theorem proving
- argumentation semantics
- preferred semantics
- artificial intelligence
- cooperative
- logic programs
- argumentation systems
- expert systems
- case based reasoning
- first order logic
- model checking
- preference relations
- formal semantics