By Publication Type
Workshop Proceedings • Book Chapter • Journal • Conferences • Ext. Abstracts • Workshops • Tech. Reports • French • Thesis
Workshop Proceedings
- Oana Cocarascu, Sylvie Doutre, Jean-Guy Mailly, Antonio Rago, Proceedings of the First International Workshop on Argumentation and Applications (Arg&App 2023), co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023)
download - Sarah A. Gaggl, Jean-Guy Mailly, Matthias Thimm, Johannes P. Wallner, 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 2022)
download
Book Chapter
- Ringo Baumann, Sylvie Doutre, Jean-Guy Mailly, Johannes P. Wallner, Enforcement in Formal Argumentation, Handbook of Formal Argumentation, volume 2, chapter 8, College Publications, 2021
download - bibtex
Journal
- Jean-Guy Mailly, Extension-based Semantics for Incomplete Argumentation Frameworks: Properties, Complexity and Algorithms, Journal of Logic and Computation
download - bibtex - Jean-Guy Mailly, Yes, No, Maybe, I Don't Know: Complexity and Application of Abstract Argumentation with Incomplete Knowledge, Argument & Computation
download - bibtex - Jérôme Delobelle, Jean-Guy Mailly, A Tool for Merging Extensions of Abstract Argumentation Frameworks, Argument & Computation
download - bibtex - Ringo Baumann, Sylvie Doutre, Jean-Guy Mailly, Johannes P. Wallner, Enforcement in Formal Argumentation, Journal of Applied Logics — IfCoLog Journal of Logics and their Applications, 8(6), 2021
Note: Early open access journal version of the Handbook chapter
download - bibtex - Yannis Dimopoulos, Jean-Guy Mailly, Pavlos Moraitis, Arguing and Negotiating using Incomplete Negotiators Profiles, Autonomous Agents and Multi-Agent Systems, 35(2), 2021
download - bibtex) - Julien Rossit, Jean-Guy Mailly, Yannis Dimopoulos, Pavlos Moraitis, United We Stand: Accruals in Strength-based Argumentation, Argument & Computation, 12(1), 2021
download - bibtex - Jean-Guy Mailly, Marco Maratea, Assessment of benchmarks for abstract argumentation, Argument & Computation, 2019 (Short paper)
download - bibtex - Sylvie Doutre, Jean-Guy Mailly, Constraints and Changes: A Survey of Abstract Argumentation Dynamics, Argument & Computation, 2018
download - bibtex
Conferences
- Jérôme Delobelle, Jean-Guy Mailly, Julien Rossit, Revisiting Approximate Reasoning based on Grounded Semantics, 17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2023)
- Jean-Guy Mailly, Extension-based Semantics for Incomplete Argumentation Frameworks: Grounded Semantics and Principles, 17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2023)
- Jean-Guy Mailly, A Logical Encoding for k-m-Realization of Extensions in Abstract Argumentation, Fifth International Conference on Logic and Argumentation (CLAR 2023)
download - bibtex - Jean-Guy Mailly, On Incompleteness in Abstract Argumentation: Complexity and Expressiveness, Fifteenth International Conference on Scalable Uncertainty Management (SUM 2022)
download - bibtex - Yohann Bacquey, Jean-Guy Mailly, Pavlos Moraitis, Julien Rossit, Admissibility in Strength-based Argumentation: Complexity and Algorithms, Ninth International Conference on Computational Models of Argument (COMMA 2022)
download - bibtex - Jean-Guy Mailly, Extension-based Semantics for Incomplete Argumentation Frameworks, Fourth International Conference on Logic and Argumentation (CLAR'21)
download - bibtex - Jean-Guy Mailly, Constrained Incomplete Argumentation Frameworks, 16th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'21)
download - bibtex - Fabrice Gaignier, Yannis Dimopoulos, Jean-Guy Mailly, Pavlos Moraitis, Probabilistic Control Argumentation Frameworks, 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'21)
download - bibtex - Jean-Guy Mailly, Julien Rossit, Argument, I Choose You! Preferences and Ranking Semantics in Abstract Argumentation, 17th International Confrence on Principles of Knowledge Representation and Reasoning (KR'20)
download - bibtex - presentation - Jean-Guy Mailly, Possible Controllability of Control Argumentation Frameworks
, 8th International Conference on Computational Models of Argument (COMMA'20)
download - extended version with proofs - bibtex - presentation - Yannis Dimopoulos, Jean-Guy Mailly, Pavlos Moraitis, Argumentation-based Negotiation with Incomplete Opponent Profiles, 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'19)
download - bibtex - presentation - Yannis Dimopoulos, Jean-Guy Mailly, Pavlos Moraitis, Control Argumentation Frameworks, 32nd AAAI Conference on Artificial Intelligence (AAAI'18)
download - bibtex - presentation - Sylvie Doutre, Jean-Guy Mailly, Comparison Criteria for Argumentation Semantics, 15th European Conference on Multi-Agent Systems (EUMAS'17)
download - bibtex - presentation - Sylvie Doutre, Jean-Guy Mailly, Semantic Change and Extension Enforcement in Abstract Argumentation, 11th International Conference on Scalable Uncertainty Management (SUM'17)
download - bibtex - presentation - Sylvie Doutre, Jean-Guy Mailly, Quantifying the Difference between Argumentation Semantics, 6th International/ Conference on Computational Models of Argument (COMMA'16), short paper
download - bibtex - Gerhard Brewka, Jean-Guy Mailly, Stefan Woltran, Translation-based Revision and Merging for Minimal Horn Reasoning, 22nd European Conference on Artificial Intelligence (ECAI'16)
download - bibtex - Adrian Haret, Jean-Guy Mailly, Stefan Woltran, Distributing Knowledge into Simple Bases, 25th International Joint Conference on Artificial Intelligence (IJCAI'16)
download - bibtex - Jérôme Delobelle, Adrian Haret, Sébastien Konieczny, Jean-Guy Mailly, Julien Rossit, Stefan Woltran, Merging of Abstract Argumentation Frameworks, 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16)
download - bibtex - presentation - Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, CoQuiAAS: A Constraint-based Quick Abstract Argumentation Solver, Twenty-seventh IEEE International Conference on Tools with Artificial Intelligence (ICTAI'15)
download - bibtex - Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis, Extension Enforcement in Abstract Argumentation as an Optimization Problem, 24th International Joint Conference on Artificial Intelligence (IJCAI'15) download - bibtex - presentation
- Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis, A Translation-based Approach for Revision of Argumentation Frameworks, 14th European Conference on Logics in Artificial Intelligence (JELIA'14)
download - bibtex - presentation - Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis, On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses, 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14)
download - bibtex - presentation
Extended Abstracts and Software Description
- Julien Rossit, Jean-Guy Mailly, Yannis Dimopoulos and Pavlos Moraitis, United We Stand: Accruals in Strength-based Argumentation (Extended Abstract), 17th International Conference on Principles of Knowledge Representation and Reasoning - Recently Published Research Track (KR-RPR'20)
- Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, CoQuiAAS v3.0: ICCMA 2019 solver description, Third International Competition on Computational Models of Argumentation (ICCMA'19)
- Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, CoQuiAAS v2.0: Taking benefit from constraint programming to solve argumentation problems, Second International Competition on Computational Models of Argumentation (ICCMA'17)
- Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, CoQuiAAS: Application of Constraint Programming for Abstract Argumentation, First International Competition on Computational Models of Argumentation (ICCMA'15)
- Jean-Guy Mailly, Dynamic of Argumentation Frameworks, 23rd International Joint Conference on Artificial Intelligence - Doctoral Consortium (IJCAI-DC'13)
Workshops
- Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit, A New Evolutive Generator for Graphs with Communities and its Application to Abstract Argumentation, First International Workshop on Argumentation and Applications (Arg&App 2023)
download - Jean-Guy Mailly, Abstract Argumentation Applied to Fair Resources Allocation: A Preliminary Study, First International Workshop on Argumentation and Applications (Arg&App 2023)
download - Jean-Guy Mailly, Julien Rossit, Stability in Abstract Argumentation, 18th International Workshop on Non-Momotonic Reasoning (NMR'20)
download - Serigne Gning, Jean-Guy Mailly, On the Impact of SAT Solvers on Argumentation Solvers, 3rd International Workshop on Systems and Algorithms for Formal Argumentation (SAFA'20)
download - bibtex - Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit, Introducing the Fourth International Competition on Computational Models of Argumentation, 3rd International Workshop on Systems and Algorithms for Formal Argumentation (SAFA'20)
download - bibtex - Adrian Haret, Jean-Guy Mailly, Stefan Woltran, Distributing Knowledge into Simple Bases, 16th International Workshop on Non-Momotonic Reasoning (NMR'16)
- Jean-Guy Mailly, Using Enthymemes to Fill the Gap Between Logical Argumentation and Revision of Abstract Argumentation Frameworks, 16th International Workshop on Non-Momotonic Reasoning (NMR'16)
download - bibtex - Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis, On the Revision of Argumentation Systems: Minimal Change of Arguments Status, 2nd International Workshop on Theory and Applications of Formal Argumentation (TAFA'13)
- Jean-Guy Mailly, Revising Argumentation Systems: Argument Status Versus Graph Minimization, ACAI Summer School 2013, Student Session (ACAI'13)
Open Access Technical Reports
- Marie-Christine Lagasquie-Schiex, Jean-Guy Mailly, Antonio Yuste-Ginel, Incomplete Bipolar Argumentation Frameworks, (2023)
download - Jean-Guy Mailly, Possible Controllability of Control Argumentation Frameworks - Extended Version, CoRR abs/2009.04903 (2020)
download - bibtex - Jean-Guy Mailly, A Note on Rich Incomplete Argumentation Frameworks, CoRR abs/2009.04869 (2020)
download - bibtex
French Conferences
- Victor David, Jérôme Delobelle, Jean-Guy Mailly, Similarity Measures between Order-Sorted Logical Arguments, Dix-Septièmes Journées d'Intelligence Artificielle Fondamentale (IAF 2023)
- Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit, A New Evolutive Generator for Graphs with Communities and its Application to Abstract Argumentation, Dix-Septièmes Journées d'Intelligence Artificielle Fondamentale (IAF 2023)
- Yohann Bacquey, Jean-Guy Mailly, Pavlos Moraitis, Julien Rossit Admissibility in Strength-based Argumentation: Complexity and Algorithms, Seizièmes Journées d'Intelligence Artificielle Fondamentale (IAF 2022)
- Jean Lieber, Jean-Guy Mailly, Pierre Marquis, Henri Prade, François Rollin, Quelques réflexions autour de la notion de bêtise artificielle, Seizièmes Journées d'Intelligence Artificielle Fondamentale (IAF 2022)
- Jean-Guy Mailly, Sémantiques à base d'extensions pour les systèmes d'argumentation incomplets, Seizièmes Journées d'Intelligence Artificielle Fondamentale (IAF 2022)
- Jean-Guy Mailly, Constrained Incomplete Argumentation Frameworks, Quinzièmes Journées d'Intelligence Artificielle Fondamentale (IAF'21)
- Julien Rossit, Jean-Guy Mailly, Yannis Dimopoulos, Pavlos Moraitis, United We Stand: Accruals in Strength-based Argumentation, Quatorzièmes Journées d'Intelligence Artificielle Fondemantale (IAF'20)
- Yannis Dimopoulos, Jean-Guy Mailly, Pavlos Moraitis, Argumentation-based Negotiation with Incomplete Opponent Profiles, Treizièmes Journées d'Intelligence Artificielle Fondamentale (IAF'19)
- Yannis Dimopoulos, Jean-Guy Mailly, Pavlos Moraitis, Systèmes d'argumentation à contrôle, Douzièmes Journées d'Intelligence Artificielle Fondamentale (IAF'18)
- Sylvie Doutre, Jean-Guy Mailly, Dynamique des systèmes d'argumentation : changement de sémantique et forçage d'extension, Onzièmes Journées d'Intelligence Artificielle Fondamentale (IAF'17)
- Sylvie Doutre, Jean-Guy Mailly, How Different Are Two Argumentation Semantics?, Dixièmes Journées d'Intelligence Artificielle Fondamentale (IAF'16)
- Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis, Forçage d'extension en argumentation abstraite par optimisation booléenne, Neuvièmes Journées d'Intelligence Artificielle Fondamentale (IAF'15)
- Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, CoQuiAAS : Applications de la programmation par contraintes à l'argumentation abstraite, Onzièmes Journées Francophones de la Programmation par Contraintes (JFPC'15)
- Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis, Approche par traduction pour la révision de systèmes d'argumentation, Huitièmes Journées d'Intelligence Artificielle Fondamentale (IAF'14),77-85
- Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis, Révision de systèmes d'argumentation : changement minimal du statut des arguments, Septièmes Journées d'Intelligence Artificielle Fondamentale (IAF'13) 107-116
