{"type":"ScholarlyArticle","title":"Formal Analysis of Dialogues on Infinite Argumentation Frameworks","authors":[{"name":"Francesco Belardinelli","slug":"francesco-belardinelli","given":"Francesco","family":"Belardinelli","affiliation":""},{"name":"Davide Grossi","slug":"davide-grossi","given":"Davide","family":"Grossi","affiliation":""},{"name":"Nicolas Maudet","slug":"nicolas-maudet","given":"Nicolas","family":"Maudet","affiliation":""}],"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 bisimulation is also used to shed light on how static properties of argumentation frameworks influence their dynamic behaviour.","doi":null,"url":"https://ijcai.org/proceedings/2015/126","pdf":"https://ijcai.org/proceedings/2015/0126.pdf","markdown":"https://ijcai.org/proceedings/2015/126.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/126","volume":{"slug":"2015","title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2015","url":"https://ijcai.org/proceedings/2015/","year":2015,"location":"Buenos Aires, Argentina","dates":"25–31 July 2015","editors":"Qiang Yang and Michael Wooldridge","isbn":"978-1-57735-738-4","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Knowledge Representation, Reasoning, and Logic","track":"Main Track","number":126,"pages":{"first":861,"last":866},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}