Access content directly

Jean-Guy Mailly

44
Documents
Current affiliations
  • 34499
  • 81148
  • 400549
Contact

Research domains

Artificial Intelligence [cs.AI]

Publications

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⟩
Conference papers hal-04555820v1

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
Conference papers hal-04670468v1
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
Conference papers hal-04647834v1
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
Conference papers hal-04386485v1
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
Conference papers hal-04213781v1
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
Conference papers hal-04213800v1
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⟩
Conference papers hal-04213461v1
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
Conference papers hal-04258651v1
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
Conference papers hal-04213767v1
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
Conference papers hal-03765418v1
Image document

On Incompleteness in Abstract Argumentation: Complexity and Expressiveness

Jean-Guy Mailly
Scalable Uncertainty Management - 15th International Conference, Oct 2022, Paris, France
Conference papers hal-04239072v1
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
Conference papers hal-03167490v1
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
Conference papers hal-02301984v1

Semantic Change in Abstract Argumentation

Sylvie Doutre , Jean-Guy Mailly
Second Workshop on Argument Strength / AMANDE Project Workshop, Apr 2018, Toulouse, France
Conference papers hal-03044266v1
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
Conference papers hal-02649413v1
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
Conference papers hal-01887892v1

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
Conference papers hal-01577768v1

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
Conference papers hal-03119890v1
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
Conference papers hal-01500509v1
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
Conference papers hal-03159055v1

Merging of Abstract Argumentation Frameworks

Jérôme Delobelle , Adrian Haret , Sébastien Konieczny , Jean-Guy Mailly , Julien Rossit
15th Principles of Knowledge Representation and Reasoning, (KR'16), 2016, Cape Town, South Africa
Conference papers hal-01936995v1

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
Conference papers hal-03300383v1

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
Conference papers hal-02380767v1

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
Conference papers hal-03300361v1

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
Conference papers hal-03300362v1

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
Conference papers hal-03300363v1

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
Conference papers hal-03300384v1

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
Conference papers hal-03300381v1

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
Conference papers hal-03300385v1
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⟩
Journal articles hal-04596791v1
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⟩
Journal articles hal-04239123v1
Image document

Some thoughts about artificial stupidity and artificial dumbness

Jean Lieber , Jean-Guy Mailly , Pierre Marquis , Henri Prade , François Rollin
AI Communications, 2023, 2023 (pre-press), pp.1--15. ⟨10.3233/AIC-220322⟩
Journal articles hal-04455911v1

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⟩
Journal articles hal-04181228v1
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
Journal articles hal-03541704v1
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)
Journal articles hal-04239252v1
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⟩
Journal articles hal-02191836v1
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
Reports hal-04526918v2
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
Reports hal-04443886v1
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
Reports hal-04104907v1
Image document

Design and Results of ICCMA 2021

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

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
Book sections hal-03541725v1
Image document

Dynamics of Argumentation Frameworks

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