Jean-Guy Mailly

52
Documents
Affiliations actuelles
  • Institut de recherche en informatique de Toulouse (IRIT)
  • Université Toulouse Capitole (UT Capitole)
  • Logique, Interaction, Langue et Calcul (IRIT-LILaC)
Contact

Domaines de recherche

Intelligence artificielle [cs.AI]

Publications

Publications

Image document

Incomplete Higher-Order Abstract Argumentation Frameworks

Sylvie Doutre , Marie-Christine Lagasquie-Schiex , Jean-Guy Mailly , Antonio Yuste-Ginel
International Conference on Logic and Argumentation (CLAR), Jun 2025, Taiyuan (China), China. pp.34-52, ⟨10.1007/978-981-96-7956-0_3⟩
Communication dans un congrès hal-05025146 v1
Image document

Reasoning with Plausibility in Incomplete Argumentation Frameworks

Jean-Guy Mailly
40th ACM/SIGAPP Symposium On Applied Computing, Mar 2025, Catania, Italy. ⟨10.1145/3672608.3707786⟩
Communication dans un congrès hal-04977679 v1

How to Manage Supports in Incomplete Argumentation

Marie-Christine Lagasquie-Schiex , Jean-Guy Mailly , Antonio Yuste-Ginel
13th International Symposium on Foundations of Information and Knowledge Systems (FOIKS 2024), Apr 2024, Sheffield, United Kingdom. pp.319--336, ⟨10.1007/978-3-031-56940-1_18⟩
Communication dans un congrès hal-04555820 v1
Image document

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

Marie-Christine Lagasquie-Schiex , Jean-Guy Mailly , Antonio Yuste-Ginel
Journées d'Intelligence Artificielle Fondamentale (JIAF), AFIA, Jul 2024, La Rochelle, France
Communication dans un congrès hal-04906531 v1
Image document

Graph Convolutional Networks and Graph Attention Networks for Approximating Arguments Acceptability

Paul Cibier , Jean-Guy Mailly
10th International Conference on Computational Models of Argument (COMMA 2024), Sep 2024, Hagen, Germany. ⟨10.3233/FAIA240307⟩
Communication dans un congrès hal-04948576 v1

Explaining the Lack of Locally Envy-Free Allocations

Aurélie Beynier , Jean-Guy Mailly , Nicolas Maudet , Anaelle Wilczynski
27th European Conference on Artificial Intelligence (ECAI 2024), European Association for Artificial Intelligence (EurAI); Spanish AI Society (AEPIA), Oct 2024, Santiago de Compostela, Spain
Communication dans un congrès hal-04670468 v1
Image document

A SAT-based Approach for Argumentation Dynamics

Jean-Marie Lagniez , Emmanuel Lonca , Jean-Guy Mailly
23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024), May 2024, Auckland (Nouvelle-Zélande), France
Communication dans un congrès hal-04647834 v1
Image document

Revisiting Approximate Reasoning based on Grounded Semantics

Jérôme Delobelle , Jean-Guy Mailly , Julien Rossit
Seventeenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2023), Sep 2023, Arras, France
Communication dans un congrès hal-04258651 v1
Image document

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

Jean-Guy Mailly
International Conference on Logic and Argumentation (CLAR 2023), Sep 2023, Hangzhou (Chine), China. pp.84-100, ⟨10.1007/978-3-031-40875-5_6⟩
Communication dans un congrès hal-04213461 v1
Image document

Similarity Measures between Order-Sorted Logical Arguments

Victor David , Jérôme Delobelle , Jean-Guy Mailly
Journées d'Intelligence Artificielle Fondamentale, 2023, Strasbourg, France
Communication dans un congrès hal-04386485 v1
Image document

Abstract Argumentation Applied to Fair Resources Allocation: A Preliminary Study

Jean-Guy Mailly
First International Workshop on Argumentation and Applications (Arg&App 2023), Sep 2023, Rhodes, Greece
Communication dans un congrès hal-04213781 v1
Image document

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

Jean-Guy Mailly
17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2023), Sep 2023, Arras, France
Communication dans un congrès hal-04213800 v1
Image document

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

Jean-Marie Lagniez , Emmanuel Lonca , Jean-Guy Mailly , Julien Rossit
First International Workshop on Argumentation and Applications (Arg&App 2023), Sep 2023, Rhodes (Grèce), Greece
Communication dans un congrès hal-04213767 v1
Image document

On Incompleteness in Abstract Argumentation: Complexity and Expressiveness

Jean-Guy Mailly
Scalable Uncertainty Management - 15th International Conference, Oct 2022, Paris, France
Communication dans un congrès hal-04239072 v1
Image document

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

Jean Lieber , Jean-Guy Mailly , Pierre Marquis , Henri Prade , François Rollin
16èmes Journées d’Intelligence Artificielle Fondamentale (Plate-Forme Intelligence Artificielle) (JIAF 2022), Zied Bouraoui; Anaëlle Wilczynski, Jun 2022, Saint-Etienne, France. pp.1-11
Communication dans un congrès hal-03765418 v1
Image document

Introducing the Fourth International Competition on Computational Models of Argumentation

Jean-Marie Lagniez , Emmanuel Lonca , Jean-Guy Mailly , Julien Rossit
Third International Workshop on Systems and Algorithms for Formal Argumentation, Sep 2020, Perugia, Italy
Communication dans un congrès hal-03167490 v1
Image document

Argumentation-based Negotiation with Incomplete Opponent Profiles

Yannis Dimopoulos , Jean-Guy Mailly , Pavlos Moraitis
13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France. pp.91-100
Communication dans un congrès hal-02301984 v1

Semantic Change in Abstract Argumentation

Sylvie Doutre , Jean-Guy Mailly
Second Workshop on Argument Strength / AMANDE Project Workshop, Apr 2018, Toulouse, France
Communication dans un congrès hal-03044266 v1
Image document

Comparison Criteria for Argumentation Semantics

Sylvie Doutre , Jean-Guy Mailly
EUMAS 2017. 15th European Conference on Multi-Agent Systems, Dec 2017, Evry, France. pp.219-234
Communication dans un congrès hal-02649413 v1

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

Sylvie Doutre , Jean-Guy Mailly
11e Journées d'Intelligence Artificielle Fondamentale (IAF 2017), Jul 2017, Caen, France. pp.1-9
Communication dans un congrès hal-01577768 v1
Image document

Semantic Change and Extension Enforcement in Abstract Argumentation

Sylvie Doutre , Jean-Guy Mailly
11th International Conference on Scalable Uncertainty Management (SUM 2017), Oct 2017, Granada, Spain. pp. 194-207
Communication dans un congrès hal-01887892 v1

Dynamique des systèmes d'argumentation : changement de sémantique et forçage d'extension (IAF 2017)

Sylvie Doutre , Jean-Guy Mailly
Journées d'Intelligence Artificielle Fondamentale (IAF 2017), Jul 2017, Caen, France. pp.1-9
Communication dans un congrès hal-03119890 v1
Image document

Quantifying the Difference between Argumentation Semantic

Sylvie Doutre , Jean-Guy Mailly
6th International Conference on Computational models of argument (COMMA 2016), Sep 2016, Potsdam, Germany. pp. 255-262
Communication dans un congrès hal-01500509 v1
Image document

How Different Are Two Argumentation Semantics? (JIAF 2016)

Sylvie Doutre , Jean-Guy Mailly
10émes Journées d'Intelligence Artificielle Fondamentale (JIAF 2016), AFIA : Association française pour l'Intelligence Artificielle, Jun 2016, Montpellier, France
Communication dans un congrès hal-03159055 v1

Merging of Abstract Argumentation Frameworks

Jérôme Delobelle , Adrian Haret , Sébastien Konieczny , Jean-Guy Mailly , Julien Rossit et al.
15th Principles of Knowledge Representation and Reasoning, (KR'16), 2016, Cape Town, South Africa
Communication dans un congrès hal-01936995 v1

CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver

Jean-Marie Lagniez , Emmanuel Lonca , Jean-Guy Mailly
27th International Conference on Tools with Artificial Intelligence (ICTAI'15), 2015, Vietri sul Mare, Italy. pp.928-935
Communication dans un congrès hal-02380767 v1

Extension Enforcement in Abstract Argumentation as an Optimization Problem

Sylvie Coste-Marquis , Sébastien Konieczny , Jean-Guy Mailly , Pierre Marquis
24th International Joint Conference on Artificial Intelligence (IJCAI'15), 2015, Buenos Aires, Argentina. pp.2876-2882
Communication dans un congrès hal-03300361 v1

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

Sylvie Coste-Marquis , Sébastien Konieczny , Jean-Guy Mailly , Pierre Marquis
9èmes Journées de l'Intelligence Artificielle Fondamentale (IAF'15), 2015, Rennes, Région indéterminée. pp.45-54
Communication dans un congrès hal-03300383 v1

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

Sylvie Coste-Marquis , Sébastien Konieczny , Jean-Guy Mailly , Pierre Marquis
8èmes Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'14), 2014, Angers, Région indéterminée. pp.77-85
Communication dans un congrès hal-03300384 v1

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

Sylvie Coste-Marquis , Sébastien Konieczny , Jean-Guy Mailly , Pierre Marquis
14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14), 2014, Vienna, Unknown Region. pp.52-61
Communication dans un congrès hal-03300362 v1

A Translation-based Approach for Revision of Argumentation Frameworks

Sylvie Coste-Marquis , Sébastien Konieczny , Jean-Guy Mailly , Pierre Marquis
14th European Conference on Logics in Artificial Intelligence (JELIA'14), 2014, Madeira, Unknown Region. pp.397-411
Communication dans un congrès hal-03300363 v1

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

Sylvie Coste-Marquis , Sébastien Konieczny , Jean-Guy Mailly , Pierre Marquis
2nd International Workshop on Theory and Applications of Formal Argumentation (TAFA'13), 2013, Beijing, Unknown Region
Communication dans un congrès hal-03300381 v1

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

Sylvie Coste-Marquis , Sébastien Konieczny , Jean-Guy Mailly , Pierre Marquis
7èmes Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'13), 2013, Aix-en-Provence, France. pp.107-116
Communication dans un congrès hal-03300385 v1
Image document

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

Jean-Guy Mailly , François Schwarzentruber , Anaelle Wilczynski
Plate-Forme Intelligence Artificielle, Association Française pour l'Intelligence Artificielle, 2024
Proceedings/Recueil des communications hal-04620491 v2
Image document

Proceedings of the First International Workshop on Argumentation and Applications (Arg&App 2023)

Oana Cocarascu , Sylvie Doutre , Jean-Guy Mailly , Antonio Rago
First International Workshop on Argumentation and Applications, Sep 2023, Rhodes, Greece, France. 3472, ceur-ws.org, 2023, CEUR Workshop Proceedings
Proceedings/Recueil des communications hal-04935082 v1
Image document

pygarg: A Python Engine for Argumentation

Jean-Guy Mailly
IRIT/RR–2024–02–FR, IRIT - Institut de Recherche en Informatique de Toulouse. 2024
Rapport hal-04526918 v2
Image document

How to Manage Supports in Incomplete Argumentation

Marie-Christine Lagasquie-Schiex , Jean-Guy Mailly , Antonio Yuste-Ginel
IRIT/RR--2023--04--FR, IRIT : Institut de Recherche en Informatique de Toulouse. 2023
Rapport hal-04443886 v1
Image document

Incomplete Bipolar Argumentation Frameworks

Marie-Christine Lagasquie-Schiex , Jean-Guy Mailly , Antonio Yuste-Ginel
IRIT/RR--2023--01--FR, IRIT : Institut de Recherche en Informatique de Toulouse. 2023, pp.1-24
Rapport hal-04104907 v1
Image document

Design and Results of ICCMA 2021

Jean-Marie Lagniez , Emmanuel Lonca , Jean-Guy Mailly , Julien Rossit
Arxiv. 2021
Rapport hal-03937142 v1
Image document

Constrained incomplete argumentation frameworks: Expressiveness, complexity and enforcement

Jean-Guy Mailly
AI Communications, 2024, 37 (3), pp.299--322. ⟨10.3233/AIC-220298⟩
Article dans une revue hal-04596791 v1
Image document

Some thoughts about artificial stupidity and artificial dumbness

Jean Lieber , Jean-Guy Mailly , Pierre Marquis , Henri Prade , François Rollin
AI Communications, 2024, 37 (3), pp.15. ⟨10.3233/AIC-220322⟩
Article dans une revue hal-04455911 v2
Image document

Grounded semantics and principle-based analysis for incomplete argumentation frameworks

Jean-Guy Mailly
International Journal of Approximate Reasoning, 2024, 175, pp.109282. ⟨10.1016/j.ijar.2024.109282⟩
Article dans une revue hal-04948480 v1
Image document

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

Jean-Guy Mailly
Journal of Logic and Computation, 2023, 33 (2), ⟨10.1093/logcom/exac099⟩
Article dans une revue hal-04239123 v1

A tool for merging extensions of abstract argumentation frameworks

Jérôme Delobelle , Jean-Guy Mailly
Argument and Computation, 2022, 13 (3), pp.361-368. ⟨10.3233/AAC-210014⟩
Article dans une revue hal-04181228 v1
Image document

Enforcement in Formal Argumentation

Ringo Baumann , Sylvie Doutre , Jean-Guy Mailly , Johannes Peter Wallner
IfColog Journal of Logics and their Applications (FLAP), 2021, Special Issue on Formal Argumentaiton, 8 (6), pp.1623-1678
Article dans une revue hal-03541704 v1
Image document

Arguing and Negotiating using Incomplete Negotiators Profiles

Yannis Dimopoulos , Jean-Guy Mailly , Pavlos Moraitis
Autonomous Agents and Multi-Agent Systems, 2021, 35 (2)
Article dans une revue hal-04239252 v1
Image document

Constraints and Changes: A Survey of Abstract Argumentation Dynamics

Sylvie Doutre , Jean-Guy Mailly
Argument and Computation, 2018, 9 (3), pp.223-248. ⟨10.3233/AAC-180425⟩
Article dans une revue hal-02191836 v1

Enforcement in Formal Argumentation

Ringo Baumann , Sylvie Doutre , Jean-Guy Mailly , Johannes Peter Wallner
Dov Gabbay; Massimiliano Giacomin; Guillermo Simari; Matthias Thimm. Handbook of Formal Argumentation, Volume 2, 2, College Publications, 2021, 978-1-84890-336-4
Chapitre d'ouvrage hal-03541725 v1
Image document

Dynamics of Argumentation Frameworks

Jean-Guy Mailly
Artificial Intelligence [cs.AI]. Université d'Artois, 2015. English. ⟨NNT : ⟩
Thèse tel-02151885 v1