---
title: "Formal Analysis of Dialogues on Infinite Argumentation Frameworks"
authors:
  - "Francesco Belardinelli"
  - "Davide Grossi"
  - "Nicolas Maudet"
doi: ""
url: "https://ijcai.org/proceedings/2015/126"
pdf: "https://ijcai.org/proceedings/2015/0126.pdf"
venue: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence"
year: 2015
pages: "861-866"
track: "Main Track"
keywords:
---

# Formal Analysis of Dialogues on Infinite Argumentation Frameworks

Francesco Belardinelli, Davide Grossi, Nicolas Maudet

*Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence*, pages 861-866.

## 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.