A logic of argumentation for specification and verification of abstract argumentation frameworks.
Serena VillataGuido BoellaDov M. GabbayLeendert W. N. van der TorreJoris HulstijnPublished in: Ann. Math. Artif. Intell. (2012)
Keyphrases
- abstract argumentation frameworks
- desirable properties
- formal verification
- argumentation semantics
- asynchronous circuits
- argumentation frameworks
- abstract argumentation
- model checking
- formal methods
- decision problems
- model checker
- protocol specification
- argumentation theory
- verification method
- grounded semantics
- formal specification
- linear temporal logic
- probability distribution
- high level