Skip to Main content Skip to Navigation
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [23 references]  Display  Hide  Download
Contributor : Nicolas Maudet Connect in order to contact the contributor
Submitted on : Wednesday, June 24, 2015 - 10:58:19 PM
Last modification on : Tuesday, November 16, 2021 - 4:17:11 AM
Long-term archiving on: : Tuesday, April 25, 2017 - 7:07:56 PM


Files produced by the author(s)


  • HAL Id : hal-01167908, version 1


Francesco Belardinelli, Davide Grossi, Nicolas Maudet. A Formal Analysis of Dialogues on Infinite Argumentation Frameworks. 24th International Joint Conference on Artificial Intelligence (IJCAI-15), Jul 2015, Buenos Aires, Argentina. pp.861--867. ⟨hal-01167908⟩



Record views


Files downloads