Formal Verification of Debates in Argumentation Theory.
Ria JhaFrancesco BelardinelliFrancesca ToniPublished in: CoRR (2019)
Keyphrases
- formal verification
- argumentation theory
- argumentation systems
- argumentation semantics
- model checking
- argumentation frameworks
- multi agent systems
- abstract argumentation
- bounded model checking
- model checker
- automated verification
- symbolic model checking
- argumentation schemes
- bayesian networks
- cooperative
- temporal logic