 |
Conference papers
A Formal Analysis of Dialogues on Infinite Argumentation Frameworks
Abstract : The paper analyses multi-agent strategic dialogues on possibly infinite argumentation frameworks. We develop a formal model for representing such dialogues , and introduce FO A-ATL, a first-order extension of alternating-time logic, for expressing the interplay of strategic and argumentation-theoretic properties. This setting is investigated with respect to the model checking problem, by means of a suitable notion of bisimulation. This notion of bisimu-lation is also used to shed light on how static properties of argumentation frameworks influence their dynamic behaviour.
Cited literature [23 references]
https://hal.archives-ouvertes.fr/hal-01167908
Contributor : Nicolas Maudet <>
Submitted on : Wednesday, June 24, 2015 - 10:58:19 PM
Last modification on : Friday, January 8, 2021 - 5:50:03 PM
Long-term archiving on: : Tuesday, April 25, 2017 - 7:07:56 PM
Contributor : Nicolas Maudet <>
Submitted on : Wednesday, June 24, 2015 - 10:58:19 PM
Last modification on : Friday, January 8, 2021 - 5:50:03 PM
Long-term archiving on: : Tuesday, April 25, 2017 - 7:07:56 PM
File
ijcai2015.pdf
Files produced by the author(s)