Publications

2026

1. SAFA

   Proceedings of the Sixth International Workshop on Systems and Algorithms for Formal Argumentation (SAFA’26) co-located with the 11th International Conference on Computational Models of Argument (COMMA’26)

   2026

   Abs Bib HTML

   There were 9 papers submitted for peer-review to this workshop. Out of these, 8 papers were accepted for this volume.

   @proceedings{procSafa2026,
     editor = {Borg, AnneMarie and Mailly, Jean-Guy and Niskanen, Andreas and Wallner, Johannes Peter},
     title = {Proceedings of the Sixth International Workshop on Systems and Algorithms for Formal Argumentation ({SAFA}'26) co-located with the 11th International Conference on Computational Models of Argument {(COMMA}'26)},
     series = {{CEUR} Workshop Proceedings},
     volume = {4262},
     publisher = {CEUR-WS.org},
     year = {2026},
     url = {https://ceur-ws.org/Vol-4262/},
   }

2. RDPIA

   Actes de la 1ère Conférence Francophone sur le Raisonnement, la Décision et la Planification en Intelligence Artificielle (RDPIA 2026)

   2026

   Bib HTML

   @proceedings{procRDPIA2026,
     editor = {Beynier, Aurélie and Mailly, Jean-Guy},
     title = {Actes de la 1ère Conférence Francophone sur le Raisonnement, la Décision et la Planification en Intelligence Artificielle ({RDPIA} 2026)},
     publisher = {AFIA},
     year = {2026},
     url = {https://hal.science/hal-05719820},
   }

3. IJAR

   ARIPOTER: Solvers for Approximate Reasoning based on Grounded Semantics

   Jérôme Delobelle, Jean-Guy Mailly, and Julien Rossit

   International Journal of Approximate Reasoning, 2026

   Abs Bib HTML

   Efficient computation of hard reasoning tasks is a key issue in abstract argumentation. One recent approach is to define approximate algorithms, i.e. methods that provide an answer that may not always be correct, but outperform the exact algorithms regarding the computation runtime. One such approach proposes to use the grounded semantics, which is polynomially computable, as a starting point for determining whether arguments are (credulously or skeptically) accepted with respect to various other extension-based semantics. In this paper, we push further this idea by defining a general family of approaches to evaluate the acceptability of arguments which are not in the grounded extension, neither attacked by it. These approaches rely on gradual semantics to evaluate these arguments. We also propose an approach using an heuristic based on the number of arguments attacked by or attacking an argument, and we show that this last approach, although seemingly different, is actually also an instance of our general family of approaches based on gradual semantics. We have implemented our approaches and provided an empirical study in which we discuss the results and compare our approach with the state-of-the-art approximate algorithms.

   @article{ijar2026,
     author = {Delobelle, Jérôme and Mailly, Jean-Guy and Rossit, Julien},
     title = {ARIPOTER: Solvers for Approximate Reasoning based on Grounded Semantics},
     journal = {International Journal of Approximate Reasoning},
     year = {2026},
     volume = {189},
     doi = {https://doi.org/10.1016/j.ijar.2025.109599},
   }

4. JURIX

   Evidential Support in Abstract Argumentation: Logic and Complexity

   Sylvie Doutre, Marie-Christine Lagasquie-Schiex, Jean-Guy Mailly, and 2 more authors

   In Proceedings of the 39th International Conference on Legal Knowledge and Information Systems (JURIX 2026), 2026

   Bib

   @inproceedings{jurix2026,
     title = {{E}vidential {S}upport in {A}bstract {A}rgumentation: {L}ogic and {C}omplexity},
     booktitle = {Proceedings of the 39th {I}nternational {C}onference on {L}egal {K}nowledge and {I}nformation {S}ystems ({JURIX} 2026)},
     author = {Doutre, Sylvie and Lagasquie-Schiex, Marie-Christine and Mailly, Jean-Guy and Wallner, Johannes Peter and Antonio-Yuste-Ginel},
     year = {2026},
   }

5. COMMA

   A Neural Approach for Incomplete Argumentation Frameworks

   Cassandre Azeau, and Jean-Guy Mailly

   In Proceedings of the 11th International Conference on Computational Models of Argument (COMMA 2026), 2026

   To appear
6. IJCAI

   A Versatile Framework for Formula-Based Enforcement and Synthesis in Abstract Argumentation

   Andreas Niskanen, Jean-Guy Mailly, Yannis Dimopoulos, and 1 more author

   In Proceedings of the 35th International Joint Conference on Artificial Intelligence (IJCAI 2026), 2026

   To appear
7. KR

   Computational Complexity in Timed Argumentation Frameworks

   Jean-Guy Mailly, Frédéric Maris, and Johannes P. Wallner

   In 23rd International Conference on Principles of Knowledge Representation and Reasoning (KR 2026), 2026

   Abs Bib HTML

   Timed Argumentation Frameworks (TAFs) allow taking into account the availability of arguments and attacks in abstract argumentation. We propose a new reasoning approach for TAFs, where a standard Dung-style AF can be associated with each timepoint. We show that, although this framework is more expressive than Dung’s framework, our approach does not lead to an increase in computational complexity for most reasoning problems and classical extension-based semantics.

   @inproceedings{kr2026,
     title = {Computational Complexity in Timed Argumentation Frameworks},
     booktitle = {23rd {I}nternational {C}onference on {P}rinciples of {K}nowledge {R}epresentation and {R}easoning ({KR} 2026)},
     author = {Mailly, Jean-Guy and Maris, Frédéric and Wallner, Johannes P.},
     year = {2026},
     doi = {10.24963/kr.2026/47},
   }

8. DALEEL

   AIDAL-ARG at Daleel 2026: Hybrid and Multitask Approaches for Arabic Argument Mining

   Karla Salas-Jimenez, Jean-Guy Mailly, and Leila Moudjari

   In Arabic Argumentative Discourse Mining Shared Task (Daleel 2026), part of the ArabicNLP/EMNLP program., 2026

   Bib

   @inproceedings{daleel2026,
     title = {{AIDAL-ARG} at {D}aleel 2026: {H}ybrid and {M}ultitask {A}pproaches for {A}rabic {A}rgument {M}ining},
     booktitle = {{A}rabic {A}rgumentative {D}iscourse {M}ining {S}hared {T}ask (Daleel 2026), part of the ArabicNLP/EMNLP program.},
     author = {Salas-Jimenez, Karla and Mailly, Jean-Guy and Moudjari, Leila},
     year = {2026},
   }

9. CMNA

   An LLM-based Tool for Llegal Aargument Annotation

   Karla Salas-Jimenez, Jean-Guy Mailly, Leila Moudjari, and 1 more author

   In 26th International Workshop on Computational Models of Natural Argument (CMNA 2026), 2026

   Bib HTML

   @inproceedings{cmna2026,
     title = {An {LLM}-based {T}ool for {L}legal {A}argument {A}nnotation},
     booktitle = {26th {I}nternational {W}orkshop on {C}omputational {M}odels of {N}atural {A}rgument ({CMNA} 2026)},
     author = {Salas-Jimenez, Karla and Mailly, Jean-Guy and Moudjari, Leila and Perrussel, Laurent},
     year = {2026},
     url = {https://cmna-workshop.github.io/cmna26/assets/papers/CMNA_paper14a.pdf},
   }

10. NMR

    Ranking-based Semantics for Incomplete Argumentation Frameworks

    Kenneth Skiba, Jean-Guy Mailly, and Jérôme Delobelle

    In 24th International Workshop on Non-Monotonic Reasoning (NMR 2026), 2026

    Bib HTML

    @inproceedings{nmr2026,
      title = {Ranking-based {S}emantics for {I}ncomplete {A}rgumentation {F}rameworks},
      booktitle = {24th {I}nternational {W}orkshop on {N}on-{M}onotonic {R}easoning ({NMR} 2026)},
      author = {Skiba, Kenneth and Mailly, Jean-Guy and Delobelle, Jérôme},
      year = {2026},
      url = {https://ceur-ws.org/Vol-4239/paper-Skiba-15.pdf},
    }

11. RDPIA

    Computational Complexity in Timed Argumentation Frameworks

    Jean-Guy Mailly, Frédéric Maris, and Johannes P. Wallner

    In 1ère Conférence Francophone sur le Raisonnement, la Décision et la Planification en Intelligence Artificielle (RDPIA 2026), 2026

    Bib

    @inproceedings{iaf2025b,
      title = {Computational Complexity in Timed Argumentation Frameworks},
      booktitle = {1\`ere {C}onférence {F}rancophone sur le {R}aisonnement, la {D}écision et la {P}lanification en {I}ntelligence {A}rtificielle ({RDPIA} 2026)},
      author = {Mailly, Jean-Guy and Maris, Frédéric and Wallner, Johannes P.},
      year = {2026},
    }

2025

1. ArgApp

   Proceedings of the Second International Workshop on Argumentation and Applications (Arg&App’25) co-located with the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR’25)

   2025

   Bib HTML

   @proceedings{procArgApp2025,
     editor = {Cocarascu, Oana and Doutre, Sylvie and Mailly, Jean-Guy and Rago, Antonio},
     title = {Proceedings of the Second International Workshop on Argumentation and Applications ({Arg\&App}'25) co-located with the 22nd International Conference on Principles of Knowledge Representation and Reasoning {(KR}'25)},
     publisher = {HAL},
     year = {2025},
     url = {https://hal.science/hal-05339535},
   }

2. ArgU

   Joint Proceedings of the ECSQARU 2025 Workshops and Tutorials (ECSQARU-JP 2025)

   2025

   Bib HTML

   @proceedings{procECSQARU-JP2025,
     editor = {Corea, Carl and Delobelle, Jérôme and Grant, John and Mailly, Jean-Guy and Rossit, Julien and Skiba, Kenneth},
     title = {Joint Proceedings of the ECSQARU 2025 Workshops and Tutorials ({ECSQARU-JP} 2025)},
     publisher = {HAL},
     year = {2025},
     url = {https://hal.science/hal-05294280},
   }

3. JIAF

   Actes des 19èmes Journées d’Intelligence Artificielle Fondamentale et 20èmes Journées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes (JIAF-JFPDA 2025)

   2025

   Bib HTML

   @proceedings{procJIAF2025,
     editor = {Mailly, Jean-Guy and Schwartzentruber, François and Wilczynski, Anaëlle},
     title = {Actes des 19èmes Journées d’Intelligence Artificielle Fondamentale et 20èmes Journées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes ({JIAF-JFPDA} 2025)},
     publisher = {AFIA},
     year = {2025},
     url = {https://hal.science/hal-05189745v2},
   }

4. ArgComp

   pygarg: A Python Engine for Argumentation

   Jean-Guy Mailly

   Argument & Computation, 2025

   Abs Bib HTML

   Recent advancements in algorithms for abstract argumentation make it possible now to solve reasoning problems even with argumentation frameworks of large size, as demonstrated by the results of the various editions of the International Competition on Computational Models of Argumentation (ICCMA). However, the solvers participating to the competition may be hard to use for non-expert programmers, especially if they need to incorporate these algorithms in their own code instead of simply using the command-line interface. Moreover, some ICCMA solvers focus on the ICCMA tracks, and do not implement algorithms for other problems. In this paper we describe pygarg, a Python implementation of the SAT-based approach used in the argumentation solver CoQuiAAS. Contrary to CoQuiAAS and most of the participants to the various editions of ICCMA, pygarg incorporates all problems that have been considered in the main track of any edition of ICCMA. We show how to easily use pygarg via a command-line interface inspired by ICCMA competitions, and then how it can be used in other Python scripts as a third-party library.

   @article{argAndComp2025b,
     author = {Mailly, Jean-Guy},
     title = {{pygarg}: A {P}ython {E}ngine for {A}rgumentation},
     journal = {Argument {\&} Computation},
     year = {2025},
     doi = {10.3233/AAC-230019},
     pages = {425--430},
     volume = {16},
     number = {3},
   }

5. ArgComp

   The Third and Fourth International Competitions on Computational Models of Argumentation: Design, Results and Analysis

   Stefano Bistarelli, Lars Kotthoff, Jean-Marie Lagniez, and 5 more authors

   Argument & Computation, 2025

   Abs Bib HTML

   The International Competition on Computational Models of Argumentation (ICCMA) focuses on reasoning tasks in abstract argumentation frameworks. Submitted solvers are tested on a selected collection of benchmark instances, including artificially generated argumentation frameworks and some frameworks formalizing real-world problems. This paper presents the novelties introduced in the organization of the Third (2019) and Fourth (2021) editions of the competition. In particular, we proposed new tracks to competitors, one dedicated to dynamic solvers (i.e., solvers that incrementally compute solutions of frameworks obtained by incrementally modifying original ones) in ICCMA’19 and one dedicated to approximate algorithms in ICCMA’21. From the analysis of the results, we noticed that i) dynamic recomputation of solutions leads to significant performance improvements, ii) approximation provides much faster results with satisfactory accuracy, and iii) classical solvers improved with respect to previous editions, thus revealing advancement in state of the art.

   @article{argAndComp2025,
     author = {Bistarelli, Stefano and Kotthoff, Lars and Lagniez, Jean-Marie and Lonca, Emmanuel and Mailly, Jean-Guy and Rossit, Julien and Santini, Francesco and Taticchi, Carlo},
     title = {The Third and Fourth International Competitions on Computational Models of Argumentation: Design, Results and Analysis},
     journal = {Argument {\&} Computation},
     year = {2025},
     volume = {16},
     number = {2},
     doi = {10.3233/AAC-230013},
   }

6. JURIX

   Discovering the Potential of LLMs in Annotating Legal Texts for Argument Mining (Extended Abstract)

   Christina Berghegger, César Philippe, Karla Salas-Jimenez, and 3 more authors

   In Proceedings of the 38th International Conference on Legal Knowledge and Information Systems (JURIX 2025), 2025

   Poster.

   Bib

   @inproceedings{jurix2025a,
     title = {Discovering the Potential of LLMs in Annotating Legal Texts for Argument Mining (Extended Abstract)},
     booktitle = {Proceedings of the 38th {I}nternational {C}onference on {L}egal {K}nowledge and {I}nformation {S}ystems ({JURIX} 2025)},
     author = {Berghegger, Christina and Philippe, César and Salas-Jimenez, Karla and Mailly, Jean-Guy and Moudjari, Leila and Perrussel, Laurent},
     year = {2025},
     note = {Poster.}
   }

7. JURIX

   A Tool for Handling Unexpected Exceptions in Legal Reasoning

   Thomas Ecobichon, Mathieu Carpentier, Sylvie Doutre, and 1 more author

   In Proceedings of the 38th International Conference on Legal Knowledge and Information Systems (JURIX 2025), 2025

   Poster.

   Bib

   @inproceedings{jurix2025b,
     title = {A Tool for Handling Unexpected Exceptions in Legal Reasoning},
     booktitle = {Proceedings of the 38th {I}nternational {C}onference on {L}egal {K}nowledge and {I}nformation {S}ystems ({JURIX} 2025)},
     author = {Ecobichon, Thomas and Carpentier, Mathieu and Doutre, Sylvie and Mailly, Jean-Guy},
     year = {2025},
     note = {Poster.}
   }

8. KR

   Counterexample-Guided Abstraction Refinement for Assumption-based Argumentation

   Jean-Marie Lagniez, Emmanuel Lonca, and Jean-Guy Mailly

   In 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), 2025

   Abs Bib HTML

   Assumption-Based Argumentation (ABA) is a prominent formalism for structured argumentation, widely applied in domains such as healthcare, law, and robotics. Despite its inherent computational complexity, ABA has seen the development of effective techniques that successfully address key tasks, including evaluating the acceptability of literals and computing framework extensions. These approaches typically involve translating the initial ABA framework into an intermediate formalism, such as an Answer Set Program or an Abstract Argumentation Framework, which is then encoded into a Boolean satisfiability (SAT) problem. However, this translation can lead to large and complex intermediate representations, posing challenges for state-of-the-art SAT solvers. In this work, we propose a Counterexample-Guided Abstraction Refinement (CEGAR) approach that bypasses the initial translation step, at the cost of incrementally discovering certain ABA constraints that are not explicitly captured in the initial SAT encoding. We analyze the performance of our method and demonstrate that it outperforms state-of-the-art approaches on specific problem classes, while remaining competitive with the best existing solvers more broadly.

   @inproceedings{kr2025,
     title = {Counterexample-Guided Abstraction Refinement for Assumption-based Argumentation},
     booktitle = {22nd {I}nternational {C}onference on {P}rinciples of {K}nowledge {R}epresentation and {R}easoning ({KR} 2025)},
     author = {Lagniez, Jean-Marie and Lonca, Emmanuel and Mailly, Jean-Guy},
     year = {2025},
     doi = {https://doi.org/10.24963/kr.2025/67},
     pages = {694--706}
   }

9. IJCAI

   Argument-based Multi-Issue Negotiation

   Thalya Fossey, Jean-Guy Mailly, and Pavlos Moraitis

   In 34th International Joint Conference on Artificial Intelligence (IJCAI 2025), 2025

   Supplementary material available: https://hal.science/hal-05064307

   Abs Bib HTML

   Automated negotiation aims at finding agreements between agents with conflicting goals. Existing utility-based approaches guarantee agents satisfaction with negotiation outcomes, especially in multi-issue negotiations where concession mechanisms lead to win-win results. However, they lack explainability and do not consider agents’ beliefs. On the other hand, argument-based approaches provide reasons for accepting or rejecting offers but do not include utility modeling for offers or enable concession mechanisms in multi-issue settings. We propose a novel hybrid approach combining both types of approaches. The utility-based component enables agents to make concessions on complex negotiation objects to achieve win-win outcomes, while the argumentation component ensures that accepted offers align with the agents’ personal argumentation theories. These theories represent their beliefs, encoding various profiles, ethical considerations, social norms, or legal principles.

   @inproceedings{ijcai2025,
     title = {Argument-based Multi-Issue Negotiation},
     booktitle = {34th {I}nternational {J}oint {C}onference on {A}rtificial {I}ntelligence ({IJCAI} 2025)},
     author = {Fossey, Thalya and Mailly, Jean-Guy and Moraitis, Pavlos},
     year = {2025},
     note = {Supplementary material available: https://hal.science/hal-05064307},
     doi = {https://doi.org/10.24963/ijcai.2025/10},
     pages = {81--89}
   }

10. CLAR

    Incomplete Higher-Order Abstract Argumentation Frameworks

    Marie-Christine Lagasquie-Schiex Sylvie Doutre, Jean-Guy Mailly, and Antonio Yuste-Ginel

    In Proceedings of the 6th International Conference on Logic and Argumentation (CLAR 2025), 2025

    Abs Bib HTML

    We propose the combination of two known extensions of Dung’s abstract Argumentation Frameworks (AFs): Incomplete Argumentation Frameworks (IAFs), where the existence of arguments and attacks may be uncertain, and Higher-Order Argumentation Frameworks (HOAFs), where attacks can be directed not only towards arguments but also towards attacks. As a result, we obtain Incomplete Higher-Order Argumentation Frameworks (IHOAFs), where attacks on attacks can also be uncertain. We take some important initial steps in the formal understanding of this novel framework by providing: (i) the definition of a conservative notion of completion, the hypothetical removal of uncertainty used to reason about argument acceptability in other formalisms for incomplete argumentation; (ii) complexity results for argument acceptability problems; (iii) an analysis of the previous two points in a well-behaved variant of dynamic logic.

    @inproceedings{clar2025,
      title = {Incomplete Higher-Order Abstract Argumentation Frameworks},
      author = {Sylvie Doutre, Marie-Christine Lagasquie-Schiex and Mailly, Jean-Guy and Yuste-Ginel, Antonio},
      booktitle = {Proceedings of the 6th International Conference on Logic and Argumentation (CLAR 2025)},
      year = {2025},
      pages = {34--52},
      url = {https://hal.science/hal-05025146v1},
    }

11. SAC

    Reasoning with Plausibility in Incomplete Argumentation Frameworks

    Jean-Guy Mailly

    In Proceedings of the 40th ACM/SIGAPP Symposium On Applied Computing (SAC 2025), 2025

    Abs Bib HTML

    In the realm of abstract argumentation, Incomplete Argumentation Frameworks (IAFs), i.e. argumentation frameworks such that some arguments and attacks can be uncertain, have received much attention in the last decade. The most classical reasoning approach consists in using completions, which are argumentation frameworks representing all the possible ways to decide about the actual existence of the uncertain elements. Standard decision problems (like verifying whether a set of arguments is acceptable) can be adapted in two variants: verifying whether the property of interest holds for some completion, or for each completion. In this setting, all completions represent equally plausible scenarios for the agent, which is not always a realistic hypothesis in real world situations. In this paper, we propose IAFs with Plausibility (pIAFs), a generalization of the IAF model where the agent is able to reason about the relative plausibility of completions. We study the complexity of the usual decision problems of IAFs, adapted to this new model. We also introduce new decision problems concerning the relative plausibility of extensions and provide complexity upper bounds for these new problems as well.

    @inproceedings{sac2025,
      author = {Mailly, Jean-Guy},
      title = {Reasoning with Plausibility in Incomplete Argumentation Frameworks},
      booktitle = {Proceedings of the 40th ACM/SIGAPP Symposium On Applied Computing ({SAC} 2025)},
      year = {2025},
      pages = {1027--1034},
      url = {https://hal.science/hal-04977679v1}
    }

12. NMR

    Similarity Measures for First-Order Logical Arguments

    Victor David, Jérôme Delobelle, and Jean-Guy Mailly

    In 23rd International Workshop on Non-Monotonic Reasoning (NMR 2025), 2025

    Bib HTML

    @inproceedings{nmr2025,
      title = {Similarity {M}easures for {F}irst-{O}rder {L}ogical {A}rguments},
      booktitle = {23rd {I}nternational {W}orkshop on {N}on-{M}onotonic {R}easoning ({NMR} 2025)},
      author = {David, Victor and Delobelle, Jérôme and Mailly, Jean-Guy},
      year = {2025},
      pages = {46--59},
      url = {https://ceur-ws.org/Vol-4071/paper4.pdf},
    }

13. ArgApp

    Discovering the Potential of LLMs in Annotating Legal Texts for Argument Mining

    Christina Berghegger, César Philippe, Karla Salas-Jimenez, and 3 more authors

    In Second International Workshop on Argumentation and Applications (Arg&App 2025), 2025

    Abs Bib HTML

    Legal reasoning is a key domain for the application of computational argumentation techniques. However, the scarcity of datasets of annotated legal text tailored for argumentation-related tasks—aside from a single dataset comprising decisions from the European Court of Human Rights (ECHR)—poses a significant challenge to developing automated legal reasoning systems grounded in formal argumentation techniques. To address this challenge, we explore the use of Large Language Models (LLMs) to facilitate the annotation of legal texts, specifically focusing on identifying premises and claims within the ECHR dataset. Our preliminary results demonstrate the promising potential of LLMs to assist legal experts in annotating additional legal corpora. This advancement paves the way for more robust, argumentation-driven automated reasoning systems in the legal domain.

    @inproceedings{argapp2025,
      title = {Discovering the Potential of LLMs in Annotating Legal Texts for Argument Mining},
      booktitle = {Second {I}nternational {W}orkshop on {A}rgumentation and {A}pplications ({Arg\&App} 2025)},
      author = {Berghegger, Christina and Philippe, César and Salas-Jimenez, Karla and Mailly, Jean-Guy and Moudjari, Leila and Perrussel, Laurent},
      year = {2025},
      url = {https://hal.science/hal-05339537/document},
      pages = {33--44}
    }

14. JIAF

    Incomplete Higher-Order Abstract Argumentation Frameworks

    Sylvie Doutre, Marie-Christine Lagasquie-Schiex, Jean-Guy Mailly, and 1 more author

    In 19èmes Journées d’Intelligence Artificielle Fondamentale (IAF 2025), 2025

    Bib

    @inproceedings{iaf2025c,
      title = {Incomplete Higher-Order Abstract Argumentation Frameworks},
      booktitle = {19\`emes {J}ourn\'ees d'{I}ntelligence {A}rtificielle {F}ondamentale ({IAF} 2025)},
      author = {Doutre, Sylvie and Lagasquie-Schiex, Marie-Christine and Mailly, Jean-Guy and Yuste-Ginel, Antonio},
      year = {2025},
    }

15. JIAF

    Systèmes d’argumentation incomplets avec plausibilité

    Jean-Guy Mailly

    In 19èmes Journées d’Intelligence Artificielle Fondamentale (IAF 2025), 2025

    Bib

    @inproceedings{iaf2025a,
      title = {Systèmes d’argumentation incomplets avec plausibilité},
      booktitle = {19\`emes {J}ourn\'ees d'{I}ntelligence {A}rtificielle {F}ondamentale ({IAF} 2025)},
      author = {Mailly, Jean-Guy},
      year = {2025},
    }

2024

1. SAFA

   Proceedings of the Fifth International Workshop on Systems and Algorithms for Formal Argumentation (SAFA’24) co-located with the 10th International Conference on Computational Models of Argument (COMMA’24)

   2024

   Abs Bib HTML

   There were 9 papers submitted for peer-review to this workshop. All 9 papers were accepted for this volume as regular papers.

   @proceedings{procSafa2024,
     editor = {Borg, AnneMarie and Ellmauthaler, Stefan and Mailly, Jean-Guy and Niskanen, Andreas},
     title = {Proceedings of the Fifth International Workshop on Systems and Algorithms for Formal Argumentation ({SAFA}'24) co-located with the 10th International Conference on Computational Models of Argument {(COMMA}'24)},
     series = {{CEUR} Workshop Proceedings},
     volume = {3757},
     publisher = {CEUR-WS.org},
     year = {2024},
     url = {https://ceur-ws.org/Vol-3757/},
   }

2. JIAF

   Actes des 18èmes Journées d’Intelligence Artificielle Fondamentale et 19es Journées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes (JIAF-JFPDA 2024)

   2024

   Bib HTML

   @proceedings{procJIAF2024,
     editor = {Mailly, Jean-Guy and Schwartzentruber, François and Wilczynski, Anaëlle},
     title = {Actes des 18èmes Journées d’Intelligence Artificielle Fondamentale et 19es Journées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes (JIAF-JFPDA 2024)},
     publisher = {AFIA},
     year = {2024},
   }

3. IJAR

   Grounded Semantics and Principle-based Analysis for Incomplete Argumentation Frameworks

   Jean-Guy Mailly

   International Journal of Approximate Reasoning, 2024

   Abs Bib HTML

   Incomplete Argumentation Frameworks (IAFs) enrich classical abstract argumentation with arguments and attacks whose actual existence is questionable. The usual reasoning approaches rely on the notion of completion, i.e. standard AFs representing “possible worlds” compatible with the uncertain information encoded in the IAF. Recently, extension-based semantics for IAFs that do not rely on the notion of completion have been defined, using instead new versions of conflict-freeness and defense that take into account the (certain or uncertain) nature of arguments and attacks. In this paper, we give new insights on both the “completion-based” and the “direct” reasoning approaches. First, we adapt the well-known grounded semantics to this framework in two different versions that do not rely on completions. After determining that our new semantics are polynomially computable, we provide a principle-based analysis of these semantics, as well as the “direct” semantics previously defined in the literature, namely the complete, preferred and stable semantics. Finally, we also provide new results regarding the satisfaction of principles by the classical “completion-based” semantics.

   @article{ijar2024,
     author = {Mailly, Jean-Guy},
     title = {Grounded Semantics and Principle-based Analysis for Incomplete Argumentation Frameworks},
     journal = {International Journal of Approximate Reasoning},
     year = {2024},
     volume = {175},
     doi = {10.1016/j.ijar.2024.109282},
   }

4. AIC

   Some thoughts about artificial stupidity and artificial dumbness

   Jean Lieber, Jean-Guy Mailly, Pierre Marquis, and 2 more authors

   AI Communications, 2024

   Abs Bib PDF

   In a recently published book, the French writer and comedian François Rollin has discussed various aspects of the notion of stupidity, including artificial stupidity, the stupid counterpart of artificial intelligence. His claim is that a system of artificial stupidity is a system that provides wrong answers to any task it should solve, leading to absurd solutions in most cases. We believe that this claim is (at least partially) false and that designing artificial stupidity is not as trivial as it seems. In this article, we discuss why and how one could design a system of artificial stupidity. We believe that such a reflection on (artificial) stupidity can bring about some interesting insights about (artificial) intelligence.

   @article{AIC2024b,
     author = {Lieber, Jean and Mailly, Jean-Guy and Marquis, Pierre and Prade, Henri and Rollin, François},
     title = {Some thoughts about artificial stupidity and artificial dumbness},
     journal = {AI Communications},
     year = {2024},
     pages = {377--391},
     volume = {37},
     number = {3},
     doi = {10.3233/AIC-220322},
   }

5. AIC

   Constrained Incomplete Argumentation Frameworks: Expressiveness, Complexity and Enforcement

   Jean-Guy Mailly

   AI Communications, 2024

   Abs Bib HTML

   Operations like belief change or merging have been adapted to the context of abstract argumentation. However, these operations may require to express some uncertainty or some disjunction in the result, which is not representable in classical AFs. For this reason, some of these earlier works require a set of AFs or a set of extensions as the outcome of the operation, somehow to represent a “disjunction” of AFs or extensions. In parallel, the notion of Incomplete AFs (IAFs) has been developed recently. It corresponds to AFs where the existence of some arguments or attacks may be uncertain. Each IAF can be associated with a set of classical AFs called completions, that correspond to different ways of resolving the uncertainty. While these IAFs could be good candidates for a compact representation of a disjunction of AFs, we prove that this model is not expressive enough. Then we introduce Constrained IAFs, that include a propositional formula allowing to select the set of completions used for reasoning. We prove that this model is expressive enough for representing any set of AFs, or any set of extensions. Moreover, we study the complexity of various decision problems related to the verification of extensions and the acceptability of arguments. While some of them are one level higher in the polynomial hierarchy (compared to their counterpart with standard IAFs), most of them have the same complexity than in the case of IAFs. Finally, we show that CIAFs can be used to model a new form of extension enforcement, where the possible evolutions of an AF are taken into account and modeled by the completions of the CIAF.

   @article{AIC2024a,
     author = {Mailly, Jean-Guy},
     title = {Constrained Incomplete Argumentation Frameworks: Expressiveness, Complexity and Enforcement},
     journal = {AI Communications},
     year = {2024},
     pages = {299--322},
     volume = {37},
     number = {3},
     doi = {10.3233/AIC-220298}
   }

6. ECAI

   Explaining the Lack of Locally Envy-Free Allocations

   Aurélie Beynier, Jean-Guy Mailly, Nicolas Maudet, and 1 more author

   In Proceedings of the 27th European Conference on Artificial Intelligence (ECAI 2024), 2024

   Abs Bib HTML

   In fair division, local envy-freeness is a desirable property which has been thoroughly studied in recent years. In this paper, we study explanations which can be given to explain that no allocation of items can satisfy this criterion, in the house allocation setting where agents receive a single item. While MUSes are key concepts to extract explanations, they cannot be used as such: (i) they highly depend on the initial encoding of the problem; (ii) they are flat structures which fall short of capturing the dynamics of explanations; (iii) they typically come in large number and exhibit great diversity. In this paper we provide two SAT encodings of the problem which enable us to extract MUS when instances are unsatisfiable. We build a dynamic graph structure which allows to follow step-by-step the explanation. Finally, we propose several criteria to select MUSes, some of them being based on the MUS structure, while others rely on this original graphical explanation structure. We give theoretical bounds on these metrics, showing that they can vary significantly for some instances. Experimental results on synthetic data complement these results and illustrate the impact of the encodings and the relevance of our metrics to select among the many MUSes.

   @inproceedings{ecai2024,
     author = {Beynier, Aurélie and Mailly, Jean-Guy and Maudet, Nicolas and Wilczynski, Anaëlle},
     title = {Explaining the Lack of Locally Envy-Free Allocations},
     booktitle = {Proceedings of the 27th European Conference on Artificial Intelligence ({ECAI} 2024)},
     year = {2024},
     pages = {3477--3484},
     doi = {10.3233/FAIA240900},
     url = {https://ebooks.iospress.nl/volumearticle/69995},
   }

7. COMMA

   Graph Convolutional Networks and Graph Attention Networks for Approximating Arguments Acceptability

   Paul Cibier, and Jean-Guy Mailly

   In Proceedings of the 10th International Conference on Computational Models of Argument (COMMA 2024), 2024

   Abs Bib HTML

   Various approaches have been proposed for providing efficient computational approaches for abstract argumentation. Among them, neural networks have permitted to solve various decision problems, notably related to arguments (credulous or skeptical) acceptability. In this work, we push further this study in various ways. First, relying on the state-of-the-art approach AFGCN, we show how we can improve the performances of the Graph Convolutional Networks (GCNs) regarding both runtime and accuracy. Then, we show that it is possible to improve even more the efficiency of the approach by modifying the architecture of the network, using Graph Attention Networks (GATs) instead.

   @inproceedings{comma2024,
     author = {Cibier, Paul and Mailly, Jean-Guy},
     title = {Graph Convolutional Networks and Graph Attention Networks for Approximating Arguments Acceptability},
     booktitle = {Proceedings of the  10th International Conference on Computational Models of Argument ({COMMA} 2024)},
     year = {2024},
     pages = {25--36},
     doi = {10.3233/FAIA240307},
   }

8. AAMAS

   A SAT-based Approach for Argumentation Dynamics

   Jean-Marie Lagniez, Emmanuel Lonca, and Jean-Guy Mailly

   In Proceedings of the 23rd International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2024), 2024

   Abs Bib HTML

   In the realm of multi-agent systems, dialogues rooted in argumentation (such as those for persuasion and negotiation) rely on the exchange of arguments among autonomous agents. These agents must continually re-evaluate the acceptability of arguments during each step of the dialogue. The challenge lies in finding efficient computational methods due to the inherent complexity of traditional reasoning tasks in argumentation. In this study, we propose an innovative approach that leverages modern SAT solving techniques to dynamically reassess the acceptability status credulous or skeptical) of arguments, adhering to various classical semantics found in existing literature. Our method capitalizes on the assumption mechanism prevalent in contemporary SAT solvers. While previous approaches to argumentation dynamics have also utilized this mechanism, our method stands out by making minimal assumptions, rendering it highly practical. Through comprehensive experimental evaluation, our approach demonstrates robust scalability and superior performance when compared to existing methods.

   @inproceedings{aamas2024,
     title = {A SAT-based Approach for Argumentation Dynamics},
     author = {Lagniez, Jean-Marie and Lonca, Emmanuel and Mailly, Jean-Guy},
     booktitle = {Proceedings of the 23rd International Conference on Autonomous Agents and Multi-Agent Systems ({AAMAS} 2024)},
     year = {2024},
     pages = {2351--2353},
   }

9. FoIKS

   How to Manage Supports in Incomplete Argumentation

   Marie-Christine Lagasquie-Schiex, Jean-Guy Mailly, and Antonio Yuste-Ginel

   In Proceedings of the 13th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2024), 2024

   Abs Bib HTML

   The growing interest in generalizations of Dung’s abstract argumentation frameworks has recently led to the simultaneous and independent discovery of a combination of two of these generalizations: Bipolar Argumentation Frameworks (BAFs), where a relation representing supports between arguments is added, and Incomplete Argumentation Frameworks (IAFs), where the existence of arguments and attacks may be uncertain, resulting in the so-called Incomplete Bipolar Abstract Argumentation Frameworks (IBAFs). This paper digs deeper into such a combination by: (i) providing a thoughtful analysis of the existing notions of completion (the hypothetical removal of uncertainty used in IBAFs to reason about argument acceptability); (ii) proposing, motivating and studying new notions of completion; (iii) throwing new complexity results on argument acceptability problems associated with IBAFs; (iv) encoding these reasoning problems into a lightweight version of dynamic logic.

   @inproceedings{foiks2024,
     title = {How to Manage Supports in Incomplete Argumentation},
     author = {Lagasquie-Schiex, Marie-Christine and Mailly, Jean-Guy and Yuste-Ginel, Antonio},
     booktitle = {Proceedings of the 13th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2024)},
     year = {2024},
     url = {https://hal.science/hal-04443886v1},
     pages = {319--339},
   }

10. JIAF

    Gestion des supports dans les systèmes d’argumentation incomplets

    Marie-Christine Lagasquie-Schiex, Jean-Guy Mailly, and Antonio Yuste-Ginel

    In 18èmes Journées d’Intelligence Artificielle Fondamentale (IAF 2024), 2024

    Bib

    @inproceedings{iaf2024b,
      title = {Gestion des supports dans les systèmes d’argumentation incomplets},
      booktitle = {18\`emes {J}ourn\'ees d'{I}ntelligence {A}rtificielle {F}ondamentale ({IAF} 2024)},
      author = {Lagasquie-Schiex, Marie-Christine and Mailly, Jean-Guy and Yuste-Ginel, Antonio},
      year = {2024},
    }

11. JIAF

    Raisonnement Approximatif pour l’Acceptabilité des Arguments en Argumentation Abstraite

    Jérôme Delobelle, Jean-Guy Mailly, and Julien Rossit

    In 18èmes Journées d’Intelligence Artificielle Fondamentale (IAF 2024), 2024

    Bib

    @inproceedings{iaf2024a,
      title = {Raisonnement Approximatif pour l’Acceptabilité des Arguments en Argumentation Abstraite},
      booktitle = {18\`emes {J}ourn\'ees d'{I}ntelligence {A}rtificielle {F}ondamentale ({IAF} 2024)},
      author = {Delobelle, Jérôme and Mailly, Jean-Guy and Rossit, Julien},
      year = {2024},
    }

12. TechRep

    pygarg: A Python Engine for Argumentation

    Jean-Guy Mailly

    2024

    Abs Bib HTML

    Recent advancements in algorithms for abstract argumentation make it possible now to solve reasoning problems even with argumentation frameworks of large size, as demonstrated by the results of the various editions of the International Competition on Computational Models of Argumentation (ICCMA). However, the solvers participating to the competition may be hard to use for non-expert programmers, especially if they need to incorporate these algorithms in their own code instead of simply using the command-line interface. In this paper we described pygarg, a Python implementation of the SAT-based approach used in the argumentation solver CoQuiAAS. Contrary to CoQuiAAS and most of the participants to the various editions of ICCMA, pygarg is made to be easy to use even for non-expert programmers. We show how to easily use pygarg in other Python scripts as a third-party library before experimentally demonstrating that it can be used in practice to solve large instances.

    @misc{halPygarg2024,
      author = {Mailly, Jean-Guy},
      title = {pygarg: A Python Engine for Argumentation},
      howpublished = {IRIT/RR–2024–02–FR, IRIT : Institut de Recherche en Informatique de Toulouse},
      year = {2024},
      url = {https://hal.science/hal-04526918v1},
    }

2023

1. ArgApp

   Proceedings of the First International Workshop on Argumentation and Applications (Arg&App’23) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR’23)

   2023

   Abs Bib HTML

   Summary: There were 11 papers submitted for peer-review to this workshop. Out of these, 8 papers were accepted for this volume, 5 as regular papers and 3 as short papers. The workshop also included two invited talks: one keynote talk by Antonis Kakas (University of Cyprus), and the announcement of the results of the Fifth International Competition on Computational Models of Argumentation by Tuomo Lehtonen and Andreas Niskanen (University of Helsinki), which is included in the proceedings as an invited paper.

   @proceedings{procArgApp2023,
     editor = {Cocarascu, Oana and Doutre, Sylvie and Mailly, Jean-Guy and Rago, Antonio},
     title = {Proceedings of the First International Workshop on Argumentation and Applications ({Arg\&App}'23) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning {(KR}'23)},
     series = {{CEUR} Workshop Proceedings},
     volume = {3472},
     publisher = {CEUR-WS.org},
     year = {2023},
     url = {https://ceur-ws.org/Vol-3472},
   }

2. JLC

   Extension-based Semantics for Incomplete Argumentation Frameworks: Properties, Complexity and Algorithms

   Jean-Guy Mailly

   Journal of Logic and Computation, 2023

   Abs Bib HTML

   Incomplete Argumentation Frameworks (IAFs) have been defined to incorporate some qualitative uncertainty in abstract argumentation: information such as "I am not sure whether this argument exists" or "I am not sure whether this argument attacks that one" can be expressed. Reasoning with IAFs is classically based on a set of completions, i.e. standard argumentation frameworks that represent the possible worlds encoded in the IAF. The number of these completions may be exponential with respect to the number of arguments in the IAF. This leads, in some cases, to an increase of the complexity of reasoning, compared to the complexity of standard AFs. In this paper, we follow an approach that was initiated for Partial AFs (a subclass of IAFs), which consists in defining new forms of conflict-freeness and defense, the properties that underly the definition of Dung’s semantics for AFs. We generalize these semantics from PAFs to IAFs. We show that, among three possible types of admissibility, only two of them satisfy some desirable properties. We use them to define two new families of extension-based semantics. We study the properties of these semantics, and in particular we show that their complexity remains the same as in the case of Dung’s AFs. Finally, we propose a logical encoding of these semantics, and we show experimentally that this encoding can be used efficiently to reason with IAFs, thanks to the power of modern SAT solvers.

   @article{JLC2023,
     author = {Mailly, Jean-Guy},
     title = {Extension-based Semantics for Incomplete Argumentation Frameworks: Properties, Complexity and Algorithms},
     journal = {Journal of Logic and Computation},
     year = {2023},
     volume = {33},
     number = {2},
     pages = {406--435},
   }

3. ECSQARU

   Revisiting Approximate Reasoning based on Grounded Semantics

   Jérôme Delobelle, Jean-Guy Mailly, and Julien Rossit

   In Seventeenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2023), 2023

   Abs Bib HTML

   Efficient computation of hard reasoning tasks is a key issue in abstract argumentation. One recent approach consists in defining approximate algorithms, i.e. methods that provide an answer that may not always be correct, but outperforms the exact algorithms regarding the computation runtime. One such approach proposes to use the grounded semantics, which is polynomially computable, as a starting point for determining whether arguments are (credulously or skeptically) accepted with respect to various semantics. In this paper, we push further this idea by defining various approaches to evaluate the acceptability of arguments which are not in the grounded extension, neither attacked by it. We have implemented our approaches, and we describe the result of their empirical evaluation.

   @inproceedings{ecsqaru2023a,
     title = {Revisiting Approximate Reasoning based on Grounded Semantics},
     booktitle = {Seventeenth {E}uropean {C}onference on {S}ymbolic and {Q}uantitative {A}pproaches to {R}easoning with {U}ncertainty ({ECSQARU} 2023)},
     author = {Delobelle, Jérôme and Mailly, Jean-Guy and Rossit, Julien},
     year = {2023},
   }

4. ECSQARU

   Extension-based Semantics for Incomplete Argumentation Frameworks: Grounded Semantics and Principles

   Jean-Guy Mailly

   In Seventeenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2023), 2023

   Abs Bib HTML

   Incomplete Argumentation Frameworks (IAFs) enrich classical abstract argumentation with arguments and attacks whose actual existence is questionable. The usual reasoning approaches rely on the notion of completion, i.e. standard AFs representing "possible worlds" compatible with the uncertain information encoded in the IAF. Recently, extension-based semantics for IAFs that do not rely on the notion of completion have been defined, using instead new versions of conflict-freeness and defense that take into account the (certain or uncertain) nature of arguments and attacks. In this paper, we give new insights on this reasoning approach, by adapting the well-known grounded semantics to this framework in two different versions. After determining the computational complexity of our new semantics, we provide a principle-based analysis of these semantics, as well as the ones previously defined in the literature, namely the complete, preferred and stable semantics.

   @inproceedings{ecsqaru2023b,
     title = {Extension-based Semantics for Incomplete Argumentation Frameworks: Grounded Semantics and Principles},
     booktitle = {Seventeenth {E}uropean {C}onference on {S}ymbolic and {Q}uantitative {A}pproaches to {R}easoning with {U}ncertainty ({ECSQARU} 2023)},
     author = {Mailly, Jean-Guy},
     year = {2023},
   }

5. CLAR

   A Logical Encoding for k-m-Realization of Extensions in Abstract Argumentation

   Jean-Guy Mailly

   In Fifth International Conference on Logic and Argumentation (CLAR 2023), 2023

   Abs Bib HTML

   We study the notion of realization of extensions in abstract argumentation. It consists in reversing the usual reasoning process: instead of computing the extensions of an argumentation framework, we want to determine whether a given set of extensions corresponds to some (set of) argumentation framework(s) (AFs); and more importantly we want to identify such an AF (or set of AFs) that realizes the set of extensions. While deep theoretical studies have been concerned with realizability of extensions sets, there are few computational approaches for solving this problem. In this paper, we generalize the concept of realizability by introducing two parameters: the number k of auxiliary arguments (i.e. those that do not appear in any extension), and the number m of AFs in the result. We define a translation of k-m-realizability into Quantified Boolean Formulas (QBFs) solving. We also show that our method allows to guarantee that the result of the realization is as close as possible to some input AF. Our method can be applied in the context of AF revision operators, where revised extensions must be mapped to a set of AFs while ensuring some notion of proximity with the initial AF.

   @inproceedings{clar2023,
     title = {A Logical Encoding for k-m-Realization of Extensions in Abstract Argumentation},
     booktitle = {Fifth {I}nternational {C}onference on {L}ogic and {A}rgumentation ({CLAR} 2023)},
     author = {Mailly, Jean-Guy},
     year = {2023},
   }

6. ArgApp

   A New Evolutive Generator for Graphs with Communities and its Application to Abstract Argumentation

   Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, and 1 more author

   In First International Workshop on Argumentation and Applications (Arg&App 2023), 2023

   Abs Bib HTML

   Graph generators are a powerful tool to provide benchmarks for various sub elds of KR (e.g. abstract argumentation, description logics, etc.) as well as other domains of AI (e.g. resources allocation, gossip problem, etc.). In this paper, we describe a new approach for generating graphs based on the idea of communities, i.e. parts of the graph which are densely connected, but with fewer connections between di erent communities. We discuss the design of an application named crusti_g2io implementing this idea, and then focus on a use case related to abstract argumentation. We show how crusti_g2io can be used to generate structured hard argumentation instances which are challenging for the fourth International Competition on Computational Models of Argumentation (ICCMA’21) solvers.

   @inproceedings{argapp2023a,
     title = {A New Evolutive Generator for Graphs with Communities and its Application to Abstract Argumentation},
     booktitle = {First {I}nternational {W}orkshop on {A}rgumentation and {A}pplications ({Arg\&App} 2023)},
     author = {Lagniez, Jean-Marie and Lonca, Emmanuel and Mailly, Jean-Guy and Rossit, Julien},
     year = {2023},
     series = {{CEUR} Workshop Proceedings},
     volume = {3472},
     pages = {52--64},
   }

7. ArgApp

   Abstract Argumentation Applied to Fair Resources Allocation: A Preliminary Study

   Jean-Guy Mailly

   In First International Workshop on Argumentation and Applications (Arg&App 2023), 2023

   Abs Bib HTML

   In this paper, we discuss the application of abstract argumentation mechanisms to resources allocation. We show how such problems can be modeled as abstract argumentation frameworks, such that specific sets of arguments corresponds to interesting solutions of the problem. By interesting solutions, here we mean Local Envy-Free (LEF) allocations. Envy-freeness is an important notion of fairness in resources allocation, assuming than no agent should prefer the resource allocated to another agent. We focus on LEF, a generalized form of envy-freeness, and we show that LEF allocations corresponds to some specific sets of arguments in our argument-based modeling of the problem. This work in progress paves the way to richer connections between the various models of argumentation and resources allocation problems.

   @inproceedings{argapp2023b,
     title = {Abstract Argumentation Applied to Fair Resources Allocation: A Preliminary Study},
     booktitle = {First {I}nternational {W}orkshop on {A}rgumentation and {A}pplications ({Arg\&App} 2023)},
     author = {Mailly, Jean-Guy},
     year = {2023},
     series = {{CEUR} Workshop Proceedings},
     volume = {3472},
     pages = {85--91},
   }

8. JIAF

   A New Evolutive Generator for Graphs with Communities and its Application to Abstract Argumentation

   Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, and 1 more author

   In 17èmes Journées d’Intelligence Artificielle Fondamentale (IAF 2023), 2023

   Bib HTML

   @inproceedings{iaf2023a,
     title = {A New Evolutive Generator for Graphs with Communities and its Application to Abstract Argumentation},
     booktitle = {17\`emes {J}ourn\'ees d'{I}ntelligence {A}rtificielle {F}ondamentale ({IAF} 2023)},
     author = {Lagniez, Jean-Marie and Lonca, Emmanuel and Mailly, Jean-Guy and Rossit, Julien},
     year = {2023},
   }

9. JIAF

   Similarity Measures between Order-Sorted Logical Arguments

   Victor David, Jérôme Delobelle, and Jean-Guy Mailly

   In 17èmes Journées d’Intelligence Artificielle Fondamentale (IAF 2023), 2023

   Bib

   @inproceedings{iaf2023b,
     title = {Similarity Measures between Order-Sorted Logical Arguments},
     booktitle = {17\`emes {J}ourn\'ees d'{I}ntelligence {A}rtificielle {F}ondamentale ({IAF} 2023)},
     author = {David, Victor and Delobelle, Jérôme and Mailly, Jean-Guy},
     year = {2023},
   }

10. TechRep

    Incomplete Bipolar Argumentation Frameworks

    Marie-Christine Lagasquie-Schiex, Jean-Guy Mailly, and Antonio Yuste-Ginel

    2023

    Abs Bib HTML

    Dung’s Abstract Argumentation Framework has been generalized in various directions. We combine two of these generalizations: Bipolar Argumentation Frameworks (BAFs), where a relation representing supports between arguments is added, and Incomplete Argumentation Frameworks (IAFs), where the existence of arguments and attacks may be uncertain. We discuss how the notion of completion of IAFs can be adapted to take into account the nature of the support relation, providing a couple of alternative definitions. After that, we analyse the impact of choosing among these alternatives on the complexity of argument acceptability problems. Finally, we give a logical encoding of our new framework in the Dynamic Logic of Propositional Assignments.

    @misc{halIBAFs2023,
      author = {Lagasquie-Schiex, Marie-Christine and Mailly, Jean-Guy and Yuste-Ginel, Antonio},
      title = {Incomplete Bipolar Argumentation Frameworks},
      howpublished = {IRIT/RR--2023--01--FR, IRIT : Institut de Recherche en Informatique de Toulouse},
      year = {2023},
    }

2022

1. SAFA

   Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation (SAFA’22) co-located with the 9th International Conference on Computational Models of Argument (COMMA’22)

   2022

   Abs Bib HTML

   There were 9 submissions for peer-review to this workshop. All 9 papers were accepted for this volume.

   @proceedings{procSafa2022,
     editor = {Gaggl, Sarah Alice and Mailly, Jean-Guy and Thimm, Matthias and Wallner, Johannes Peter},
     title = {Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation ({SAFA}'22) co-located with the 9th International Conference on Computational Models of Argument {(COMMA}'22)},
     series = {{CEUR} Workshop Proceedings},
     volume = {3236},
     publisher = {CEUR-WS.org},
     year = {2022},
     url = {http://ceur-ws.org/Vol-3236},
   }

2. ArgComp

   A tool for merging extensions of abstract argumentation frameworks

   Jérôme Delobelle, and Jean-Guy Mailly

   Argument & Computation, 2022

   Abs Bib HTML

   We describe a tool that allows the merging of extensions of argumentation frameworks, following the approach defined by (In Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (KR’16) (2016) 33–42). The tool is implemented in Java, and is highly modular thanks to Object Oriented Programming (OOP) principles. We describe a short experimental study that assesses the scalability of the approach, as well as the impact on runtime of using an integrity constraint. In multi-agent systems, merging the beliefs of several agents in order to have a global view of the groups beliefs is an important task [16]. When the agents’ beliefs are expressed through argumentation frameworks [11], there are two options: aggregate the graphs (see e.g. [6,7]), or merge the extensions [8]. Here we present a Java tool that follows this second approach, then allowing the user to reason with the merged beliefs of the group (e.g. for determining whether a given argument is credulously or skeptically accepted w.r.t. the merged beliefs). Notice that the original paper also presents so-called generation operators, that allow to obtain new argumentation frameworks from the merged extensions. This part is not covered by our tool.

   @article{argAndComp2022b,
     title = {A tool for merging extensions of abstract argumentation frameworks},
     journal = {Argument {\&} Computation},
     volume = {13},
     number = {3},
     pages = {361--368},
     year = {2022},
     author = {Delobelle, Jérôme and Mailly, Jean-Guy},
     doi = {10.3233/AAC-210014},
   }

3. ArgComp

   Yes, no, maybe, I don’t know: Complexity and application of abstract argumentation with incomplete knowledge

   Jean-Guy Mailly

   Argument & Computation, 2022

   Abs Bib HTML

   Abstract argumentation, as originally defined by Dung, is a model that allows the description of certain information about arguments and relationships between them: in an abstract argumentation framework (AF), the agent knows for sure whether a given argument or attack exists. It means that the absence of an attack between two arguments can be interpreted as “we know that the first argument does not attack the second one”. But the question of uncertainty in abstract argumentation has received much attention in the last years. In this paper, we survey approaches that allow to express information like “There may (or may not) be an attack between these arguments”. We describe the main models that incorporate qualitative uncertainty (or ignorance) in abstract argumentation, as well as some applications of these models. We also highlight some open questions that deserve some attention in the future.

   @article{argAndComp2022,
     title = {Yes, no, maybe, I don't know: Complexity and application of abstract argumentation with incomplete knowledge},
     journal = {Argument {\&} Computation},
     volume = {13},
     number = {3},
     pages = {291--324},
     year = {2022},
     author = {Mailly, Jean-Guy},
     doi = {10.3233/AAC-210010},
   }

4. SUM

   On Incompleteness in Abstract Argumentation: Complexity and Expressiveness

   Jean-Guy Mailly

   In 15th International Conference on Scalable Uncertainty Management (SUM 2022), 2022

   Bib HTML

   @inproceedings{sum22,
     author = {Mailly, Jean-Guy},
     title = {On Incompleteness in Abstract Argumentation: Complexity and Expressiveness},
     booktitle = {15th International Conference on Scalable Uncertainty Management ({SUM} 2022)},
     pages = {19--33},
     year = {2022},
     doi = {10.1007/978-3-031-18843-5\_2},
   }

5. COMMA

   Admissibility in Strength-based Argumentation: Complexity and Algorithms

   Yohann Bacquey, Jean-Guy Mailly, Pavlos Moraitis, and 1 more author

   In 9th International Conference on Computational Models of Argument (COMMA 2022), 2022

   Abs Bib HTML

   Recently, Strength-based Argumentation Frameworks (StrAFs) have been proposed to model situations where some quantitative strength is associated with arguments. In this setting, the notion of accrual corresponds to sets of arguments that collectively attack an argument. Some semantics have already been defined, which are sensitive to the existence of accruals that collectively defeat their target, while their individual elements cannot. However, until now, only the surface of this framework and semantics have been studied. Indeed, the existing literature focuses on the adaptation of the stable semantics to StrAFs. In this paper, we push forward the study and investigate the adaptation of admissibility-based semantics. Especially, we show that the strong admissibility defined in the literature does not satisfy a desirable property, namely Dung’s fundamental lemma. We therefore propose an alternative definition that induces semantics that behave as expected. We then study computational issues for these new semantics, in particular we show that complexity of reasoning is similar to the complexity of the corresponding decision problems for standard argumentation frameworks in almost all cases. We then propose a translation in pseudo-Boolean constraints for computing (strong and weak) extensions. We conclude with an experimental evaluation of our approach which shows in particular that it scales up well for solving the problem of providing one extension as well as enumerating them all.

   @inproceedings{comma2022,
     title = {Admissibility in Strength-based Argumentation: Complexity and Algorithms},
     booktitle = {9th International Conference on Computational Models of Argument ({COMMA} 2022)},
     author = {Bacquey, Yohann and Mailly, Jean-Guy and Moraitis, Pavlos and Rossit, Julien},
     year = {2022},
     pages = {44--55},
   }

6. JIAF

   Quelques réflexions autour de la notion de bêtise artificielle

   Jean Lieber, Jean-Guy Mailly, Pierre Marquis, and 2 more authors

   In 16èmes Journées d’Intelligence Artificielle Fondamentale (IAF 2022), 2022

   Abs Bib HTML

   Le professeur Rollin a écrit au sujet de la bêtise artificielle. Pouvions-nous rester indifférent à cela ? Cet article montre le contraire.

   @inproceedings{iaf2022a,
     title = {Quelques réflexions autour de la notion de bêtise artificielle},
     booktitle = {16\`emes {J}ourn\'ees d'{I}ntelligence {A}rtificielle {F}ondamentale ({IAF} 2022)},
     author = {Lieber, Jean and Mailly, Jean-Guy and Marquis, Pierre and Prade, Henri and Rollin, François},
     year = {2022},
   }

7. JIAF

   Admissibility in Strength-based Argumentation: Complexity and Algorithms

   Yohann Bacquey, Jean-Guy Mailly, Pavlos Moraitis, and 1 more author

   In 16èmes Journées d’Intelligence Artificielle Fondamentale (IAF 2022), 2022

   Bib HTML

   @inproceedings{iaf2022b,
     title = {Admissibility in Strength-based Argumentation: Complexity and Algorithms},
     booktitle = {16\`emes {J}ourn\'ees d'{I}ntelligence {A}rtificielle {F}ondamentale ({IAF} 2022)},
     author = {Bacquey, Yohann and Mailly, Jean-Guy and Moraitis, Pavlos and Rossit, Julien},
     year = {2022},
   }

8. JIAF

   Sémantiques à base d’extensions pour les systèmes d’argumentation incomplets

   Jean-Guy Mailly

   In 16èmes Journées d’Intelligence Artificielle Fondamentale (IAF 2022), 2022

   Bib

   @inproceedings{iaf2022c,
     title = {Sémantiques à base d’extensions pour les systèmes d’argumentation incomplets},
     booktitle = {16\`emes {J}ourn\'ees d'{I}ntelligence {A}rtificielle {F}ondamentale ({IAF} 2022)},
     author = {Mailly, Jean-Guy},
     year = {2022},
   }

2021

1. HOFA

   Enforcement in formal argumentation

   Ringo Baumann, Sylvie Doutre, Jean-Guy Mailly, and 1 more author

   In Handbook of Formal Argumentation, 2021

   Abs Bib PDF

   Within argumentation dynamics, a major strand of research is concerned with how changing an argumentation framework affects the acceptability of arguments, and how to modify an argumentation framework in order to guarantee that some arguments have a given acceptance status. In this chapter, we overview the main approaches for enforcement in formal argumentation. We mainly focus on extension enforcement, i.e., on how to modify an argumenta- tion framework to ensure that a given set of arguments becomes (part of) an extension. We present different forms of extension enforcement defined in the literature, as well as several possibility and impossibility results. The question of minimal change is also considered, i.e., what is the minimal number of modifications that must be made to the argumentation framework for enforcing an extension. Computational complexity and algorithms based on a declarative approach are discussed. Finally, we briefly describe several notions that do not directly fit our definition of extension enforcement, but are closely related.

   @incollection{HOFA2021,
     author = {Baumann, Ringo and Doutre, Sylvie and Mailly, Jean-Guy and Wallner, Johannes Peter},
     title = {Enforcement in formal argumentation},
     editor = {Gabbay, Dov and Giacomin, Massimiliano and Simari, Guillermo and Thimm, Matthias},
     booktitle = {Handbook of Formal Argumentation},
     publisher = {College Publications},
     year = {2021},
     pages = {159--236},
     chapter = {8},
   }

2. FLAP

   Enforcement in Formal Argumentation

   Ringo Baumann, Sylvie Doutre, Jean-Guy Mailly, and 1 more author

   IfCoLog Journal of Logics and their Applications, 2021

   Abs Bib HTML

   Within argumentation dynamics, a major strand of research is concerned with how changing an argumentation framework affects the acceptability of arguments, and how to modify an argumentation framework in order to guarantee that some arguments have a given acceptance status. In this chapter, we overview the main approaches for enforcement in formal argumentation. We mainly focus on extension enforcement, i.e., on how to modify an argumenta- tion framework to ensure that a given set of arguments becomes (part of) an extension. We present different forms of extension enforcement defined in the literature, as well as several possibility and impossibility results. The question of minimal change is also considered, i.e., what is the minimal number of modifications that must be made to the argumentation framework for enforcing an extension. Computational complexity and algorithms based on a declarative approach are discussed. Finally, we briefly describe several notions that do not directly fit our definition of extension enforcement, but are closely related. Note: This journal article is the early open-access version of the Handbook chapter.

   @article{flap2021,
     author = {Baumann, Ringo and Doutre, Sylvie and Mailly, Jean-Guy and Wallner, Johannes Peter},
     title = {Enforcement in Formal Argumentation},
     journal = {IfCoLog Journal of Logics and their Applications},
     volume = {8},
     number = {6},
     pages = {1623--1678},
     year = {2021},
   }

3. JAAMAS

   Arguing and Negotiating using Incomplete Negotiators Profiles

   Yannis Dimopoulos, Jean-Guy Mailly, and Pavlos Moraitis

   Autonomous Agents and Multi-Agent Systems, 2021

   Abs Bib HTML

   Computational argumentation has taken a predominant place in the modeling of negotiation dialogues over the last years. A competent agent participating in a negotiation process is expected to decide its next move taking into account an, often incomplete, model of its opponent. This work provides a complete computational account of argumentation-based negotiation under incomplete opponent profiles. After the agent identifies its best option, in any state of a negotiation, it looks for suitable arguments that support this option in the theory of its opponent. As the knowledge on the opponent is uncertain, the challenge is to find arguments that, ideally, support the selected option despite the uncertainty. We present a negotiation framework based on these ideas, along with experimental evidence that highlights the advantages of our approach.

   @article{jaamas2021,
     author = {Dimopoulos, Yannis and Mailly, Jean-Guy and Moraitis, Pavlos},
     title = {Arguing and Negotiating using Incomplete Negotiators Profiles},
     journal = {Autonomous Agents and Multi-Agent Systems},
     volume = {35},
     number = {2},
     doi = {10.1007/s10458-021-09493-y},
     year = {2021},
   }

4. ArgComp

   United We Stand: Accruals in Strength-based Argumentation

   Julien Rossit, Jean-Guy Mailly, Yannis Dimopoulos, and 1 more author

   Argument & Computation, 2021

   Abs Bib HTML

   Argumentation has been an important topic in knowledge representation, reasoning and multi-agent systems during the last twenty years. In this paper, we propose a new abstract framework where arguments are associated with a strength, namely a quantitative information which is used to determine whether an attack between arguments succeeds or not. Our Strength-based Argumentation Framework (StrAF) combines ideas of Preference-based and Weighted Argumentation Frameworks in an original way, which permits to define acceptability semantics sensitive to the existence of accruals between arguments. The question of accruals arises in situations where several arguments defending the same position (but from different points of view) against another argument are unable to individually defeat this argument, but could do it collectively if they combine their strengths. We investigate some of the theoretical and computational properties of our new framework and semantics, and present a reasoning algorithm that is based on a translation of the problem into pseudo-boolean constraint satisfaction. This paper proposes an intuitive framework which allows strength compensations in an argumentation context where attacks may not succeed, completed by an approach which detects accruals throughout the reasoning process without requiring the elicitation of all compensatory combinations of arguments as an input.

   @article{argAndComp2021,
     author = {Rossit, Julien and Mailly, Jean-Guy and Dimopoulos, Yannis and Moraitis, Pavlos},
     title = {United We Stand: Accruals in Strength-based Argumentation},
     journal = {Argument {\&} Computation},
     volume = {12},
     number = {1},
     pages = {87--113},
     doi = {10.3233/AAC-200904},
     year = {2021},
   }

5. CLAR

   Extension-based Semantics for Incomplete Argumentation Frameworks

   Jean-Guy Mailly

   In Fourth International Conference on Logic and Argumentation (CLAR 2021), 2021

   Bib

   @inproceedings{clar2021,
     title = {Extension-based Semantics for Incomplete Argumentation Frameworks},
     booktitle = {Fourth {I}nternational {C}onference on {L}ogic and {A}rgumentation ({CLAR} 2021)},
     author = {Mailly, Jean-Guy},
     year = {2021},
   }

6. ECSQARU

   Constrained Incomplete Argumentation Frameworks

   Jean-Guy Mailly

   In Sixteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2021), 2021

   Bib

   @inproceedings{ecsqaru2021,
     title = {Constrained Incomplete Argumentation Frameworks},
     booktitle = {Sixteenth {E}uropean {C}onference on {S}ymbolic and {Q}uantitative {A}pproaches to {R}easoning with {U}ncertainty ({ECSQARU} 2021)},
     author = {Mailly, Jean-Guy},
     year = {2021},
   }

7. AAMAS

   Probabilistic Control Argumentation Frameworks

   Fabrice Gaigner, Yannis Dimopoulos, Jean-Guy Mailly, and 1 more author

   In 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021), 2021

   Abs Bib HTML

   In this paper we present Probabilistic Control Argumentation Frame- works (PCAFs) that extend classical Control Argumentation Frame- works (CAFs) to take into account probabilistic information in the reasoning process. We show that probabilities can be used to optimally control CAFs that cannot be controlled otherwise. We introduce the notion of controlling power, that represents the prob- ability that a control configuration reaches its target. A computa- tional method based on Monte Carlo simulations for computing the controlling power of control configurations is defined. We experimentally show that PCAFs outperform w.r.t runtime classical CAFs and in a large number of situations they can reach the target with a high probability while the classical CAFs fail.

   @inproceedings{aamas2021,
     title = {Probabilistic Control Argumentation Frameworks},
     booktitle = {20th {I}nternational {C}onference on {A}utonomous {A}gents and {M}ultiagent {S}ystems ({AAMAS} 2021)},
     author = {Gaigner, Fabrice and Dimopoulos, Yannis and Mailly, Jean-Guy and Moraitis, Pavlos},
     year = {2021},
     pages = {519--527},
   }

8. JIAF

   Constrained Incomplete Argumentation Frameworks

   Jean-Guy Mailly

   In 15èmes Journées d’Intelligence Artificielle Fondamentale (IAF 2021), 2021

   Bib

   @inproceedings{iaf2021,
     title = {Constrained Incomplete Argumentation Frameworks},
     booktitle = {15\`emes {J}ourn\'ees d'{I}ntelligence {A}rtificielle {F}ondamentale ({IAF} 2021)},
     author = {Mailly, Jean-Guy},
     year = {2021},
   }

9. TechRep

   Design and Results of ICCMA 2021

   Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, and 1 more author

   CoRR, 2021

   Abs Bib HTML

   Since 2015, the International Competition on Computational Models of Argumentation (ICCMA) provides a systematic comparison of the different algorithms for solving some classical reasoning problems in the domain of abstract argumentation. This paper discusses the design of the Fourth International Competition on Computational Models of Argumentation. We describe the rules of the competition and the benchmark selection method that we used. After a brief presentation of the competitors, we give an overview of the results.

   @article{DBLP:journals/corr/abs-2109-08884,
     author = {Lagniez, Jean-Marie and Lonca, Emmanuel and Mailly, Jean-Guy and Rossit, Julien},
     title = {Design and Results of {ICCMA} 2021},
     journal = {CoRR},
     volume = {abs/2109.08884},
     year = {2021},
     url = {https://arxiv.org/abs/2109.08884},
     eprinttype = {arXiv},
     eprint = {2109.08884},
     timestamp = {Thu, 14 Oct 2021 09:17:18 +0200},
     biburl = {https://dblp.org/rec/journals/corr/abs-2109-08884.bib},
     bibsource = {dblp computer science bibliography, https://dblp.org},
   }

2020

1. COMMA

   Possible Controllability of Control Argumentation Frameworks

   Jean-Guy Mailly

   In 8th International Conference on Computational Models of Argument (COMMA 2020), 2020

   Abs Bib HTML

   The recent Control Argumentation Framework (CAF) is a generalization of Dung’s Argumentation Framework which handles argumentation dynamics under uncertainty; especially it can be used to model the behavior of an agent which can anticipate future changes in the environment. Here we provide new insights on this model by defining the notion of possible controllability of a CAF. We study the complexity of this new form of reasoning for the four classical semantics, and we provide a logical encoding for reasoning with this framework.

   @inproceedings{comma2020,
     title = {Possible Controllability of Control Argumentation Frameworks},
     booktitle = {8th {I}nternational {C}onference on {C}omputational {M}odels of {A}rgument ({COMMA} 2020)},
     author = {Mailly, Jean-Guy},
     year = {2020},
     pages = {283--294},
   }

2. KR

   Argument, I Choose You! Preferences and Ranking Semantics in Abstract Argumentation

   Jean-Guy Mailly, and Julien Rossit

   In 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

   Abs Bib HTML

   Preference-based argumentation and ranking semantics are two important research topics in the computational argumentation literature. Surprisingly, no study investigates to what extent preferences over arguments and ranking semantics can interact. This paper fills the gap between the relative priorities that one can express and the evaluation of arguments individual acceptability. More precisely, we propose a natural principle that should be satisfied by a ranking semantics for Preference-based Argumentation Frameworks. We show that although existing semantics do not satisfy this desirable principle, they can be used to define new ranking semantics that exhibit the expected behavior. Finally, we discuss an application of these semantics to the modeling of human reasoning.

   @inproceedings{kr2020,
     title = {Argument, {I} Choose You! {P}references and Ranking Semantics in Abstract Argumentation},
     booktitle = {17th {I}nternational {C}onference on {P}rinciples of {K}nowledge {R}epresentation and {R}easoning ({KR} 2020)},
     author = {Mailly, Jean-Guy and Rossit, Julien},
     year = {2020},
     pages = {647--651},
   }

3. SAFA

   On the Impact of SAT Solvers on Argumentation Solvers

   Serigne Gning, and Jean-Guy Mailly

   In 3rd International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2020), 2020

   Abs Bib HTML

   SAT-based approaches for reasoning with abstract argumen- tation frameworks (AFs) have been dominating in recent years. Dif- ferent SAT solvers have been used in the argumentation solvers that performed well at the different occurrences of the International Com- petition on Computational Models of Argumentation (ICCMA). Based on this observation, the question of the impact of the underlying SAT solver on the efficiency of the argumentation solver has arisen. We have conducted a preliminary study that shows varied results when the SAT solvers Minisat and Glucose are used. Our results suggest interesting research tracks, like the study of the link between the AF instances and the SAT solving algorithms, or the use of a portfolio of SAT solvers for reasoning with AFs.

   @inproceedings{safa2020a,
     title = {On the Impact of {SAT} Solvers on Argumentation Solvers},
     booktitle = {3rd {I}nternational {W}orkshop on {S}ystems and {A}lgorithms for {F}ormal {A}rgumentation ({SAFA} 2020)},
     author = {Gning, Serigne and Mailly, Jean-Guy},
     year = {2020},
   }

4. SAFA

   Introducing the Fourth International Competition on Computational Models of Argumentation

   Jean Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, and 1 more author

   In 3rd International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2020), 2020

   Abs Bib HTML

   Since 2015, the International Competition on Computational Models of Argumentation (ICCMA) has allowed to compare the differ- ent algorithms for solving some classical reasoning problems in the do- main of (abstract) argumentation. In this paper, we describe the rules of the fourth ICCMA, that will be held in 2021. We introduce some minor modifications regarding the existing tracks (i.e. reasoning with static and dynamic abstract argumentation). Also, for the first time, we present a new track dedicated to structured argumentation, more precisely Assumption-based Argumentation.

   @inproceedings{safa2020b,
     title = {Introducing the {F}ourth {I}nternational {C}ompetition on {C}omputational {M}odels of {A}rgumentation},
     booktitle = {3rd {I}nternational {W}orkshop on {S}ystems and {A}lgorithms for {F}ormal {A}rgumentation ({SAFA} 2020)},
     author = {Lagniez, Jean Marie and Lonca, Emmanuel and Mailly, Jean-Guy and Rossit, Julien},
     year = {2020},
   }

5. NMR

   Stability in Abstract Argumentation

   Jean-Guy Mailly, and Julien Rossit

   In 18th International Workshop on Non-Monotonic Reasoning (NMR 2020), 2020

   Abs Bib HTML

   The notion of stability in a structured argumentation setup characterizes situations where the acceptance status associated with a given literal will not be impacted by any future evolution of this setup. In this paper, we abstract away from the logical structure of arguments, and we transpose this notion of stability to the context of Dungean argumentation frameworks. In particular, we show how this problem can be translated into reasoning with Argument-Incomplete AFs. Then we provide preliminary complexity results for stability under four prominent semantics, in the case of both credulous and skeptical reasoning. Finally, we illustrate to what extent this notion can be useful with an application to argument-based negotiation.

   @inproceedings{nmr2020,
     title = {Stability in {A}bstract {A}rgumentation},
     booktitle = {18th {I}nternational {W}orkshop on {N}on-{M}onotonic {R}easoning ({NMR} 2020)},
     author = {Mailly, Jean-Guy and Rossit, Julien},
     year = {2020},
   }

6. KR

   United We Stand: Accruals in Strength-based Argumentation (Extended Abstract)

   Julien Rossit, Jean-Guy Mailly, Yannis Dimopoulos, and 1 more author

   In Recently Published Research Track, 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

   Bib

   @inproceedings{krRPR2020,
     author = {Rossit, Julien and Mailly, Jean-Guy and Dimopoulos, Yannis and Moraitis, Pavlos},
     title = {United We Stand: Accruals in Strength-based Argumentation (Extended Abstract)},
     booktitle = {Recently {P}ublished {R}esearch {T}rack, 17th {I}nternational {C}onference on {P}rinciples of {K}nowledge {R}epresentation and {R}easoning ({KR} 2020)},
     year = {2020},
   }

7. JIAF

   United We Stand: Accruals in Strength-based Argumentation

   Julien Rossit, Jean-Guy Mailly, Yannis Dimopoulos, and 1 more author

   In 14èmes Journées d’Intelligence Artificielle Fondamentale (IAF 2020), 2020

   Bib

   @inproceedings{iaf2020,
     title = {United {W}e {S}tand: {A}ccruals in {S}trength-based {A}rgumentation},
     booktitle = {14\`emes {J}ourn\'ees d'{I}ntelligence {A}rtificielle {F}ondamentale ({IAF} 2020)},
     author = {Rossit, Julien and Mailly, Jean-Guy and Dimopoulos, Yannis and Moraitis, Pavlos},
     year = {2020},
   }

8. TechRep

   A Note on Rich Incomplete Argumentation Frameworks

   Jean-Guy Mailly

   CoRR, 2020

   Abs Bib HTML

   Recently, qualitative uncertainty in abstract argumentation has received much attention. The first works on this topic introduced uncertainty about the presence of attacks, then about the presence of arguments, and finally combined both kinds of uncertainty. This results in the Incomplete Argumentation Framework (IAFs). But another kind of uncertainty was introduced in the context of Control Argumentation Frameworks (CAFs): it consists in a conflict relation with uncertain orientation, i.e. we are sure that there is an attack between two arguments, but the actual direction of the attack is unknown. Here, we formally define Rich IAFs, that combine the three different kinds of uncertainty that were previously introduced in IAFs and CAFs. We show that this new model, although strictly more expressive than IAFs, does not suffer from a blow up of computational complexity. Also, the existing computational approach based on SAT can be easily adapted to the new framework.

   @article{DBLP:journals/corr/abs-2009-04869,
     author = {Mailly, Jean-Guy},
     title = {A Note on Rich Incomplete Argumentation Frameworks},
     journal = {CoRR},
     volume = {abs/2009.04869},
     year = {2020},
     url = {https://arxiv.org/abs/2009.04869},
     archiveprefix = {arXiv},
     eprint = {2009.04869},
     timestamp = {Thu, 17 Sep 2020 12:49:52 +0200},
     biburl = {https://dblp.org/rec/journals/corr/abs-2009-04869.bib},
     bibsource = {dblp computer science bibliography, https://dblp.org},
   }

2019

1. ArgComp

   Assessment of benchmarks for abstract argumentation

   Jean-Guy Mailly, and Marco Maratea

   Argument & Computation, 2019

   Abs Bib HTML

   In this paper, we provide an overview of the benchmarks that have been recently employed in Abstract Argumentation. We first describe the benchmark suite from previous editions of the International Competition of Computational Models of Argumentation (ICCMA), and then briefly describe the benchmarks for non-Dung frameworks. This article is a contribution to the new Argument & Computation Community Resources (ACCR) corner.

   @article{argAndComp2019,
     author = {Mailly, Jean-Guy and Maratea, Marco},
     title = {Assessment of benchmarks for abstract argumentation},
     journal = {Argument {\&} Computation},
     volume = {10},
     number = {2},
     pages = {107--112},
     year = {2019},
     url = {https://doi.org/10.3233/AAC-192101},
     doi = {10.3233/AAC-192101 },
   }

2. AAMAS

   Argumentation-based Negotiation with Incomplete Opponent Profiles

   Yannis Dimopoulos, Jean-Guy Mailly, and Pavlos Moraitis

   In 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019), 2019

   Abs Bib HTML

   Computational argumentation has taken a predominant place in the modeling of negotiation dialogues over the last years. A competent agent participating in a negotiation process is expected to decide its next move taking into account an, often incomplete, model of its opponent. This work provides a complete computational account of argumentation-based negotiation under incomplete opponent profiles. After the agent identifies its best option, in any state of a negotiation, it looks for suitable arguments that support this option in the theory of its opponent. As the knowledge on the opponent is uncertain, the challenge is to find arguments that, ideally, support the selected option despite the uncertainty. We present a negotiation framework based on these ideas, along with experimental evidence that highlights the advantages of our approach.

   @inproceedings{aamas2019,
     title = {Argumentation-based Negotiation with Incomplete Opponent Profiles},
     booktitle = {18th {I}nternational {C}onference on {A}utonomous {A}gents and {M}ultiagent {S}ystems ({AAMAS} 2019)},
     author = {Dimopoulos, Yannis and Mailly, Jean-Guy and Moraitis, Pavlos},
     year = {2019},
     pages = {1252--1260},
   }

3. 

   CoQuiAAS v3.0: ICCMA 2019 Solver Description

   Jean-Marie Lagniez, Emmanuel Lonca, and Jean-Guy Mailly

   2019

   Bib

   @misc{iccma2019,
     author = {Lagniez, Jean-Marie and Lonca, Emmanuel and Mailly, Jean-Guy},
     title = {{CoQuiAAS v3.0}: {ICCMA} 2019 {S}olver {D}escription},
     howpublished = {3rd {I}nternational {C}ompetition on {C}omputational {M}odels of {A}rgumentation ({ICCMA} 2019)},
     year = {2019},
   }

4. JIAF

   Argumentation-based Negotiation with Incomplete Opponent Profiles

   Yannis Dimopoulos, Jean-Guy Mailly, and Pavlos Moraitis

   In 13èmes Journées d’Intelligence Artificielle Fondamentale (IAF 2019), 2019

   Bib

   @inproceedings{iaf2019,
     title = {Argumentation-based {N}egotiation with {I}ncomplete {O}pponent {P}rofiles},
     booktitle = {13\`emes {J}ourn\'ees d'{I}ntelligence {A}rtificielle {F}ondamentale ({IAF} 2019)},
     author = {Dimopoulos, Yannis and Mailly, Jean-Guy and Moraitis, Pavlos},
     year = {2019},
   }

2018

1. ArgComp

   Constraints and changes: A survey of abstract argumentation dynamics

   Sylvie Doutre, and Jean-Guy Mailly

   Argument & Computation, 2018

   Abs Bib HTML

   This paper addresses the issue of the dynamic enforcement of a constraint in an argumentation system. The system consists in (1) an argumentation framework, made up, notably, of a set of arguments and of an attack relation, (2) an evaluation semantics, and (3) the evaluation result, computed from (1) and (2). An agent may want another agent to consider a new attack, or to have a given argument accepted, or even to relax the definition of the semantics. A constraint on any of the three components is thus defined, and it has to be enforced in the system. The enforcement may result in changes on components of the system. The paper surveys existing approaches for the dynamic enforcement of a constraint and its consequences, and reveals challenging enforcement cases that remain to be investigated.

   @article{argAndComp2018,
     author = {Doutre, Sylvie and Mailly, Jean-Guy},
     title = {Constraints and changes: {A} survey of abstract argumentation dynamics},
     journal = {Argument {\&} Computation},
     volume = {9},
     number = {3},
     pages = {223--248},
     year = {2018},
     url = {https://doi.org/10.3233/AAC-180425},
     doi = {10.3233/AAC-180425},
   }

2. AAAI

   Control Argumentation Frameworks

   Yannis Dimopoulos, Jean-Guy Mailly, and Pavlos Moraitis

   In 32nd AAAI Conference on Artificial Intelligence (AAAI 2018), 2018

   Abs Bib HTML

   Dynamics of argumentation is the family of techniques concerned with the evolution of an argumentation framework (AF), for instance to guarantee that a given set of arguments is accepted. This work proposes Control Argumentation Frameworks (CAFs), a new approach that generalizes existing techniques, namely normal extension enforcement, by accommodating the possibility of uncertainty in dynamic scenarios. A CAF is able to deal with situations where the exact set of arguments is unknown and subject to evolution, and the existence (or direction) of some attacks is also unknown. It can be used by an agent to ensure that a set of arguments is part of one (or every) extension whatever the actual set of arguments and attacks. A QBF encoding of reasoning with CAFs provides a computational mechanism for determining whether and how this goal can be reached. We also provide some results concerning soundness and completeness of the proposed encoding as well as complexity issues.

   @inproceedings{aaai2018,
     title = {Control Argumentation Frameworks},
     booktitle = {32nd {AAAI} {C}onference on {A}rtificial {I}ntelligence ({AAAI} 2018)},
     author = {Dimopoulos, Yannis and Mailly, Jean-Guy and Moraitis, Pavlos},
     year = {2018},
   }

3. JIAF

   Systèmes d’argumentation à contrôle

   Yannis Dimopoulos, Jean-Guy Mailly, and Pavlos Moraitis

   In 12èmes Journées d’Intelligence Artificielle Fondamentale (IAF 2018), 2018

   Bib

   @inproceedings{iaf2018,
     title = {Syst\`emes d'argumentation \`a contr\^ole},
     booktitle = {12\`emes {J}ourn\'ees d'{I}ntelligence {A}rtificielle {F}ondamentale ({IAF} 2018)},
     author = {Dimopoulos, Yannis and Mailly, Jean-Guy and Moraitis, Pavlos},
     year = {2018},
   }

2017

1. EUMAS

   Comparison Criteria for Argumentation Semantics

   Sylvie Doutre, and Jean-Guy Mailly

   In 15th European Conference on Multi-Agent Systems (EUMAS 2017), 2017

   Abs Bib HTML

   Argumentation reasoning is a way for agents to evaluate a situation. Given a framework made of conflicting arguments, a semantics allows to evaluate the acceptability of the arguments. It may happen that the semantics associated to the framework has to be changed. In order to perform the most suitable change, the current and a potential new semantics have to be compared. Notions of difference measures between semantics have already been proposed, and application cases where they have to be minimized when a change of semantics has to be performed, have been highlighted. This paper develops these notions, it proposes an additional kind of difference measure, and shows application cases where measures may have to be maximized, and combined.

   @inproceedings{eumas2017,
     title = {Comparison Criteria for Argumentation Semantics},
     booktitle = {15th {E}uropean {C}onference on {M}ulti-{A}gent {S}ystems ({EUMAS} 2017)},
     author = {Doutre, Sylvie and Mailly, Jean-Guy},
     year = {2017},
   }

2. SUM

   Semantic Change and Extension Enforcement in Abstract Argumentation

   Sylvie Doutre, and Jean-Guy Mailly

   In 11th International Conference on Scalable Uncertainty Management (SUM 2017), 2017

   Abs Bib HTML

   Change in argumentation frameworks has been widely studied in the recent years. Most of the existing works on this topic are concerned with change of the structure of the argumentation graph (addition or removal of arguments and attacks), or change of the outcome of the framework (acceptance statuses of arguments). Change on the acceptability semantics that is used in the framework has not received much attention so far. Such a change can be motivated by different reasons, especially it is a way to change the outcome of the framework. In this paper, it is shown how semantic change can be used as a way to reach a goal about acceptance statuses in a situation of extension enforcement.

   @inproceedings{sum2017,
     title = {Semantic Change and Extension Enforcement in Abstract Argumentation},
     booktitle = {11th {I}nternational {C}onference on {S}calable {U}ncertainty {M}anagement ({SUM} 2017)},
     author = {Doutre, Sylvie and Mailly, Jean-Guy},
     year = {2017},
   }

3. 

   CoQuiAAS v2.0: Taking Benefit from Constraint Programming to Solve Argumentation Problems

   Jean-Marie Lagniez, Emmanuel Lonca, and Jean-Guy Mailly

   2017

   Bib

   @misc{iccma2017,
     author = {Lagniez, Jean-Marie and Lonca, Emmanuel and Mailly, Jean-Guy},
     title = {{CoQuiAAS v2.0}: Taking Benefit from Constraint Programming to Solve Argumentation Problems},
     howpublished = {2nd {I}nternational {C}ompetition on {C}omputational {M}odels of {A}rgumentation ({ICCMA} 2017)},
     year = {2017},
   }

4. JIAF

   Dynamique des systèmes d’argumentation : changement de sémantique et forçage d’extension

   Sylvie Doutre, and Jean-Guy Mailly

   In 11èmes Journées d’Intelligence Artificielle Fondamentale (IAF 2017), 2017

   Bib

   @inproceedings{iaf2017,
     title = {Dynamique des syst\`emes d'argumentation : changement de s\'emantique et for\c{c}age d'extension},
     booktitle = {11\`emes {J}ourn\'ees d'{I}ntelligence {A}rtificielle {F}ondamentale ({IAF} 2017)},
     author = {Doutre, Sylvie and Mailly, Jean-Guy},
     year = {2017},
   }

2016

1. COMMA

   Quantifying the Difference between Argumentation Semantics

   Sylvie Doutre, and Jean-Guy Mailly

   In 6th International Conference on Computational Models of Argument (COMMA 2016), 2016

   Abs Bib HTML

   Properties of argumentation semantics have been widely studied in the last decades. However, there has been no investigation on the question of difference measures between semantics. Such measures turn helpful when the semantics associated to an argumentation framework may have to be changed, in a way that ensures that the new semantics is not too dissimilar from the old one. Three main notions of difference measures between semantics are defined in this paper. Some of these measures are shown to be distances or semi-distances.

   @inproceedings{comma2016,
     title = {Quantifying the Difference between Argumentation Semantics},
     booktitle = {6th {I}nternational {C}onference on {C}omputational {M}odels of {A}rgument ({COMMA} 2016)},
     author = {Doutre, Sylvie and Mailly, Jean-Guy},
     year = {2016},
     pages = {255--262},
   }

2. ECAI

   Translation-Based Revision and Merging for Minimal Horn Reasoning

   Gerhard Brewka, Jean-Guy Mailly, and Stefan Woltran

   In 22nd European Conference on Artificial Intelligence (ECAI 2016), 2016

   Abs Bib HTML

   In this paper we introduce a new approach for revising and merging consistent Horn formulae under minimal model semantics. Our approach is translation-based in the following sense: we generate a propositional encoding capturing both the syntax of the original Horn formulae (the clauses which appear or not in them) and their semantics (their minimal models). We can then use any classical revision or merging operator to perform belief change on the encoding. The resulting propositional theory is then translated back into a Horn formula. We identify some specific operators which guarantee a particular kind of minimal change. A unique feature of our approach is that it allows us to control whether minimality of change primarily relates to the syntax or to the minimal model semantics of the Horn formula. We give an axiomatic characterization of minimal change on the minimal model for this new setting, and we show that some specific translation-based revision and merging operators satisfy our postulates.

   @inproceedings{ecai2016,
     title = {Translation-Based Revision and Merging for Minimal Horn Reasoning},
     booktitle = {22nd {E}uropean {C}onference on {A}rtificial {I}ntelligence ({ECAI} 2016)},
     author = {Brewka, Gerhard and Mailly, Jean-Guy and Woltran, Stefan},
     year = {2016},
     pages = {734--742},
   }

3. IJCAI

   Distributing Knowledge into Simple Bases

   Adrian Haret, Jean-Guy Mailly, and Stefan Woltran

   In 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016

   Abs Bib HTML

   Understanding the behavior of belief change operators for fragments of classical logic has received increasing interest over the last years. Results in this direction are mainly concerned with adapting representation theorems. However, fragment-driven belief change also leads to novel research questions. In this paper we propose the concept of belief distribution, which can be understood as the reverse task of merging. More specifically, we are interested in the following question: given an arbitrary knowledge base K and some merging operator Δ, can we find a profile E and a constraint μ, both from a given fragment of classical logic, such that Δμ(E) yields a result equivalent to K? In other words, we are interested in seeing if K can be distributed into knowledge bases of simpler structure, such that the task of merging allows for a reconstruction of the original knowledge. Our initial results show that merging based on drastic distance allows for an easy distribution of knowledge, while the power of distribution for operators based on Hamming distance relies heavily on the fragment of choice.

   @inproceedings{ijcai2016,
     title = {Distributing Knowledge into Simple Bases},
     booktitle = {25th {I}nternational {J}oint {C}onference on {A}rtificial {I}ntelligence ({IJCAI} 2016)},
     author = {Haret, Adrian and Mailly, Jean-Guy and Woltran, Stefan},
     year = {2016},
     pages = {1109--1115},
   }

4. KR

   Merging of Abstract Argumentation Frameworks

   Jérôme Delobelle, Adrian Haret, Sébastien Konieczny, and 3 more authors

   In 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), 2016

   Abs Bib HTML

   Formalizing dynamics of argumentation has received increasing attention over the last years. While AGM- like representation results for revision of argumentation frameworks (AFs) are now available, similar results for the problem of merging are still missing. In this paper, we close this gap and adapt model-based propositional belief merging to define extension-based merging oper- ators for AFs. We state an axiomatic and a constructive characterization of merging operators through a fam- ily of rationality postulates and a representation theo- rem. Then we exhibit merging operators which satisfy the postulates. In contrast to the case of revision, we observe that obtaining a single framework as result of merging turns out to be a more subtle issue. Finally, we establish links between our new results and previous ap- proaches to merging of AFs, which mainly relied on ax- ioms from Social Choice Theory, but lacked AGM-like representation theorems.

   @inproceedings{kr2016,
     author = {Delobelle, J\'er\^ome and Haret, Adrian and Konieczny, S\'ebastien and Mailly, Jean-Guy and Rossit, Julien and Woltran, Stefan},
     title = {Merging of Abstract Argumentation Frameworks},
     booktitle = {15th {I}nternational {C}onference on {P}rinciples of {K}nowledge {R}epresentation and {R}easoning ({KR} 2016)},
     year = {2016},
     pages = {33--42},
   }

5. NMR

   Distributing Knowledge into Simple Bases

   Adrian Haret, Jean-Guy Mailly, and Stefan Woltran

   In 16th International Workshop on Non-Monotonic Reasoning (NMR 2016), 2016

   Bib

   @inproceedings{nmr2016a,
     title = {Distributing Knowledge into Simple Bases},
     booktitle = {16th {I}nternational {W}orkshop on {N}on-{M}onotonic {R}easoning ({NMR} 2016)},
     author = {Haret, Adrian and Mailly, Jean-Guy and Woltran, Stefan},
     year = {2016},
   }

6. NMR

   Using Enthymemes to Fill the Gap between Logical Argumentation and Revision of Abstract Argumentation Frameworks

   Jean-Guy Mailly

   In 16th International Workshop on Non-Monotonic Reasoning (NMR 2016), 2016

   Bib

   @inproceedings{nmr2016b,
     title = {Using {E}nthymemes to {F}ill the {G}ap between {L}ogical {A}rgumentation and {R}evision of {A}bstract {A}rgumentation {F}rameworks},
     booktitle = {16th {I}nternational {W}orkshop on {N}on-{M}onotonic {R}easoning ({NMR} 2016)},
     author = {Mailly, Jean-Guy},
     year = {2016},
   }

7. JIAF

   How different are two argumentation semantics?

   Sylvie Doutre, and Jean-Guy Mailly

   In 10èmes Journées d’Intelligence Artificielle Fondamentale (IAF 2016), 2016

   Bib

   @inproceedings{iaf2016,
     title = {How different are two argumentation semantics?},
     booktitle = {10\`emes {J}ourn\'ees d'{I}ntelligence {A}rtificielle {F}ondamentale ({IAF} 2016)},
     author = {Doutre, Sylvie and Mailly, Jean-Guy},
     year = {2016},
   }

2015

1. 

   CoQuiAAS: A Constraint-based Quick Abstract Argumentation Solver

   Jean-Marie Lagniez, Emmanuel Lonca, and Jean-Guy Mailly

   In 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015), 2015

   Abs Bib PDF

   Nowadays, argumentation is a salient keyword in artificial intelligence. The use of argumentation techniques is par- ticularly convenient for thematics such that multiagent systems, where it allows to describe dialog protocols (using persuasion, negotiation, ...) or on-line discussion analysis; it also allows to handle queries where a single agent has to reason with conflicting information (inference in the presence of inconsistency, inconsistency measure). This very rich framework gives numerous reasoning tools, thanks to several acceptability semantics and inference policies. On the other hand, the progress of SAT solvers in the recent years, and more generally the progress on Constraint Programming paradigms, lead to some powerful approaches that permit tackling theoretically hard problems. The needs of efficient applications to solve the usual reasoning tasks in argumentation, together with the capabilities of modern Constraint Programming solvers, lead us to study the encoding of usual acceptability semantics into logical settings. We propose diverse use of Constraint Programming techniques to develop a software library dedicated to argumentative reasoning. We present a library which offers the advantages to be generic and easily adaptable. We finally describe an experimental study of our approach for a set of semantics and inference tasks, and we describe the behaviour of our solver during the First International Competition on Computational Models of Argumentation.

   @inproceedings{ictai2015,
     author = {Lagniez, Jean-Marie and Lonca, Emmanuel and Mailly, Jean-Guy},
     title = {{CoQuiAAS}: A {C}onstraint-based {Q}uick {A}bstract {A}rgumentation {S}olver},
     booktitle = {27th {IEEE} {I}nternational {C}onference on {T}ools with {A}rtificial {I}ntelligence ({ICTAI} 2015)},
     pages = {928--935},
     year = {2015},
   }

2. IJCAI

   Extension Enforcement in Abstract Argumentation as an Optimization Problem

   Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, and 1 more author

   In 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

   Abs Bib HTML

   Change in abstract argumentation frameworks (AFs) is a very active topic. Especially, the problem of enforcing a set E of arguments, i.e., ensuring that E is an extension (or a subset of an extension) of a given AF F, has received a particular attention in the recent years. In this paper, we define a new family of enforcement operators, for which enforcement can be achieved by adding new arguments (and attacks) to F (as in previous approaches to enforcement), but also by questioning some attacks (and non-attacks) of F. This family includes previous enforcement operators, but also new ones for which the success of the enforcement operation is guaranteed. We show how the enforcement problem for the operators of the family can be modeled as a pseudo-Boolean optimization problem. Intensive experiments show that the method is practical and that it scales up well.

   @inproceedings{ijcai2015,
     title = {Extension Enforcement in Abstract Argumentation as an Optimization Problem},
     booktitle = {24th {I}nternational {J}oint {C}onference on {A}rtificial {I}ntelligence ({IJCAI} 2015)},
     author = {Coste-Marquis, Sylvie and Konieczny, S\'ebastien and Mailly, Jean-Guy and Marquis, Pierre},
     year = {2015},
     pages = {2876--2882},
   }

3. 

   CoQuiAAS: Application of Constraint Programming for Abstract Argumentation

   Jean-Marie Lagniez, Emmanuel Lonca, and Jean-Guy Mailly

   2015

   Bib

   @misc{iccma2015,
     author = {Lagniez, Jean-Marie and Lonca, Emmanuel and Mailly, Jean-Guy},
     title = {{CoQuiAAS}: {A}pplication of {C}onstraint {P}rogramming for {A}bstract {A}rgumentation},
     howpublished = {1st {I}nternational {C}ompetition on {C}omputational {M}odels of {A}rgumentation ({ICCMA} 2015)},
     year = {2015},
   }

4. JIAF

   Forçage d’extension en argumentation abstraite par optimisation booléenne

   Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, and 1 more author

   In 9èmes Journées d’Intelligence Artificielle Fondamentale (IAF 2015), 2015

   Bib

   @inproceedings{iaf2015,
     title = {For\c{c}age d'extension en argumentation abstraite par optimisation bool\'eenne},
     booktitle = {9\`emes {J}ourn\'ees d'{I}ntelligence {A}rtificielle {F}ondamentale ({IAF} 2015)},
     author = {Coste-Marquis, Sylvie and Konieczny, S\'ebastien and Mailly, Jean-Guy and Marquis, Pierre},
     year = {2015},
   }

5. 

   CoQuiAAS : Applications de la programmation par contraintes à l’argumentation abstraite

   Jean-Marie Lagniez, Emmanuel Lonca, and Jean-Guy Mailly

   In 11èmes Journées Francophones de la Programmation par Contraintes (JFPC 2015), 2015

   Bib

   @inproceedings{jfpc2015,
     title = {{CoQuiAAS} : {A}pplications de la programmation par contraintes \`a l'argumentation abstraite},
     booktitle = {11\`emes {J}ourn\'ees {F}rancophones de la {P}rogrammation par {C}ontraintes ({JFPC} 2015)},
     pages = {77--85},
     author = {Lagniez, Jean-Marie and Lonca, Emmanuel and Mailly, Jean-Guy},
     year = {2015},
   }

6. Thesis

   Dynamics of Argumentation Frameworks

   Jean-Guy Mailly

   Université d’Artois, 2015

   Abs Bib HTML

   This thesis tackles the problem of integrating a new piece of information in an abstract argumenta- tion framework. Such a framework is a directed graph such that its nodes represent the arguments, and the directed edges represent the attacks between arguments. There are different ways to decide which arguments are accepted by the agent who uses such a framework to represent her beliefs. An agent may be confronted with a piece of information such that "this argument should be accepted", which is in contradiction with her current beliefs, represented by her argumentation framework. In this thesis, we have studied several approaches to incorporate a piece of information in an argumenta- tion framework. Our first contribution is an adaptation of the AGM framework for belief revision, which has been de- veloped for characterizing the incorporation of a new piece of information when the agent’s beliefs are represented in a logical setting. We have adapted the rationality postulates from the AGM framework to characterize the revision operators suited to argumentation frameworks, and we have identified several ways to generate the argumentation frameworks resulting from the revision. We have also shown how to use AGM revision as a tool for revising argumentation frameworks. Our approach uses a logical encoding of the argumentation framework to take advantage of the classical re- vision operators, for deriving the expected result. At last, we have studied the problem of enforcing a set of arguments (how to change an argumentation framework so that a given set of arguments becomes an extension). We have developed a new family of operators which guarantee the success of the enforcement process, contrary to the existing approaches, and we have shown that a translation of our approaches into satisfaction and optimization problems makes possible to develop efficient tools for computing the result of the enforcement.

   @phdthesis{phdthesis,
     author = {Mailly, Jean-Guy},
     title = {Dynamics of {A}rgumentation {F}rameworks},
     school = {Universit\'e d'Artois},
     year = {2015},
   }

2014

1. JELIA

   A Translation-based Approach for Revision of Argumentation Frameworks

   Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, and 1 more author

   In 14th European Conference on Logics in Artificial Intelligence (JELIA 2014), 2014

   Abs Bib PDF

   In this paper, we investigate the revision issue for Dung ar- gumentation frameworks. The main idea is that such frameworks can be translated into propositional formulae, allowing the use of propositional revision operators to perform a rational minimal change. Our translation- based approach to revising argumentation frameworks can take advan- tage of any propositional revision operator ◦. Via a translation, each propositional operator ◦ can be associated with some revision operators ⋆ suited to argumentation frameworks. Some rationality postulates for the ⋆ operators are presented. If the revision formulae are restricted to formulae about acceptance statuses, some ⋆ operators satisfy these pos- tulates provided that the corresponding ◦ operator is AGM.

   @inproceedings{jelia2014,
     title = {A Translation-based Approach for Revision of Argumentation Frameworks},
     booktitle = {14th {E}uropean {C}onference on {L}ogics in {A}rtificial {I}ntelligence ({JELIA} 2014)},
     pages = {77--85},
     author = {Coste-Marquis, Sylvie and Konieczny, S\'ebastien and Mailly, Jean-Guy and Marquis, Pierre},
     year = {2014},
   }

2. KR

   On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses

   Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, and 1 more author

   In 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), 2014

   Abs Bib PDF

   In this paper, we investigate the revision of argumenta- tion systems a‘ la Dung. We focus on revision as mini- mal change of the arguments status. Contrarily to most of the previous works on the topic, the addition of new arguments is not allowed in the revision process, so that the revised system has to be obtained by modify- ing the attack relation only. We introduce a language of revision formulae which is expressive enough for en- abling the representation of complex conditions on the acceptability of arguments in the revised system. We show how AGM belief revision postulates can be trans- lated to the case of argumentation systems. We pro- vide a corresponding representation theorem in terms of minimal change of the arguments statuses. Several distance-based revision operators satisfying the postu- lates are also pointed out, along with some methods to build revised argumentation systems. We also discuss some computational aspects of those methods.

   @inproceedings{kr2014,
     title = {On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses},
     booktitle = {14th {I}nternational {C}onference on {P}rinciples of {K}nowledge {R}epresentation and {R}easoning ({KR} 2014)},
     author = {Coste-Marquis, Sylvie and Konieczny, S\'ebastien and Mailly, Jean-Guy and Marquis, Pierre},
     year = {2014},
     pages = {52--61},
   }

3. JIAF

   Approche par traduction pour la révision de systèmes d’argumentation

   Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, and 1 more author

   In 8èmes Journées d’Intelligence Artificielle Fondamentale (IAF 2014), 2014

   Bib

   @inproceedings{iaf2014,
     title = {Approche par traduction pour la r\'evision de syst\`emes d'argumentation},
     booktitle = {8\`emes {J}ourn\'ees d'{I}ntelligence {A}rtificielle {F}ondamentale ({IAF} 2014)},
     pages = {77--85},
     author = {Coste-Marquis, Sylvie and Konieczny, S\'ebastien and Mailly, Jean-Guy and Marquis, Pierre},
     year = {2014},
   }

2013

1. IJCAI

   Dynamic of Argumentation Frameworks

   Jean-Guy Mailly

   In Doctoral Consortium of the 23rd International Joint Conference on Artificial Intelligence (IJCAI DC 2013), 2013

   Bib

   @inproceedings{ijcaiDC2013,
     title = {Dynamic of {A}rgumentation {F}rameworks},
     booktitle = {Doctoral {C}onsortium of the 23rd {I}nternational {J}oint {C}onference on {A}rtificial {I}ntelligence ({IJCAI DC} 2013)},
     publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
     author = {Mailly, Jean-Guy},
     year = {2013},
   }

2. On the Revision of Argumentation Systems: Minimal Change of Arguments Status

   Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, and 1 more author

   In 2nd International Workshop on Theory and Applications of Formal Argumentation (TAFA 2013), 2013

   Workshop at IJCAI 2013

   Bib

   @inproceedings{tafa2013,
     title = {On the Revision of Argumentation Systems: Minimal Change of Arguments Status},
     booktitle = {2nd {I}nternational {W}orkshop on {T}heory and {A}pplications of {F}ormal {A}rgumentation ({TAFA} 2013)},
     author = {Coste-Marquis, Sylvie and Konieczny, S\'ebastien and Mailly, Jean-Guy and Marquis, Pierre},
     year = {2013},
     note = {Workshop at {IJCAI} 2013},
   }

3. Revising Argumentation Systems: Argument Status Versus Graph Minimization

   Jean-Guy Mailly

   2013

   Bib

   @misc{acai2013,
     author = {Mailly, Jean-Guy},
     title = {Revising {A}rgumentation {S}ystems: {A}rgument {S}tatus Versus {G}raph {M}inimization},
     howpublished = {ACAI Summer School 2013, Student Session (ACAI 2013)},
     year = {2013},
   }

4. JIAF

   Révision de systèmes d’argumentation : changement minimal du statut des arguments

   Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, and 1 more author

   In 7èmes Journées d’Intelligence Artificielle Fondamentale (IAF 2013), 2013

   Bib

   @inproceedings{iaf2013,
     title = {R\'evision de syst\`emes d'argumentation : changement minimal du statut des arguments},
     booktitle = {7\`emes {J}ourn\'ees d'{I}ntelligence {A}rtificielle {F}ondamentale ({IAF} 2013)},
     pages = {107--116},
     author = {Coste-Marquis, Sylvie and Konieczny, S\'ebastien and Mailly, Jean-Guy and Marquis, Pierre},
     year = {2013},
   }

2012

1. Thesis

   Révision de systèmes d’argumentation

   Jean-Guy Mailly

   2012

   Master thesis, in french. English title: \em Revision of Argumentation Frameworks

   Bib

   @masterthesis{masterthesis,
     author = {Mailly, Jean-Guy},
     title = {R\'evision de syst\`emes d'argumentation},
     school = {Universit\'e d'Artois},
     year = {2012},
     note = {Master thesis, in french. English title: {\em Revision of Argumentation Frameworks}},
   }