Short Bio

I studied computer science at Université d'Artois, Lens, France where I obtained my Bachelor degree (2010) and my Master degree (2012). My Ph.D. on the topic Dynamics of Argumentation Frameworks has been supervised by Sylvie Coste-Marquis, Sébastien Konieczny and Pierre Marquis, from CRIL. I defended my thesis in September 2015.
From October 2015 to August 2016, I was working as Project Assistant in Database and Artificial Intelligence Group from the Faculty for Informatics, TU Wien. I was part of the project Fragment-Driven Belief Change, supervised by Stefan Woltran.
Since September 2016, I am Assistant Professor at LIPADE, Univ. Paris Descartes. I am a member of the research team Distributed Artificial Intelligence. I am currently an elected member of the Conseil scientifique local (local scientific concil) of the Faculty of Mathematics and Computer Science, Univ. Paris Descartes (since 2017) and the Conseil de laboratoire (laboratory concil) of LIPADE (since 2019). Since October 2019, I am the secretary of the International Competition on Computational Models of Argumentation (ICCMA) Steering Committe.
My detailled CV in PDF - My research ancestors - My personal interests

ORCID iD iconorcid.org/0000-0001-9102-7329

Research Topics

My research concerns mainly knowledge representation and reasoning (KRR), especially non-monotonic reasoning (NMR). Keywords:

  • Argumentation: mainly Abstract Argumentation (Dung's Framework), Deductive Argumentation, argument-based negotiation
  • Belief Change: Belief Revision (AGM/KM), Belief Merging (IC-Merging)
I've been particularly interested in the intersection of argumentation and belief change (this intersection was the topic of my Ph.D. thesis).

I am also interested in algorithmic solutions for non-monotonic reasoning problems:
  • see CoQuiAAS for my work about this topic for abstract argumentation;
  • see RAP working group for a more general project on this topic (in french).

Publications

  • My list of publications from DBLP.

International Journal

  • 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

International Conference Papers with Proceedings

  • Yannis Dimopoulos, Jean-Guy Mailly, Pavlos Moraitis, Argumentation-based Negotiation with Incomplete Opponent Profiles, 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019)
    download - bibtex - presentation
  • Yannis Dimopoulos, Jean-Guy Mailly, Pavlos Moraitis, Control Argumentation Frameworks, 32nd AAAI Conference on Artificial Intelligence (AAAI 2018)
    download - bibtex - presentation
  • Sylvie Doutre, Jean-Guy Mailly, Comparison Criteria for Argumentation Semantics, 15th European Conference on Multi-Agent Systems (EUMAS 2017)
    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 - details on experiments
  • 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'2015)
    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'2014)
    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'2014)
    download - bibtex - presentation

Extended Abstracts

  • 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)

International Workshop Papers

  • 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)
  • 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)

National Conference Papers (French)

  • 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

Thesis

  • Dynamics of Argumentation Frameworks, Ph.D. Thesis, Université d'Artois,
    download - theses.fr
  • Révision de systèmes d'argumentation, Master Thesis, Université d'Artois, in french
    download

Co-Authors

Peer Reviewing

Program Committee Member

  • Dix-Huitièmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA 2020) - More details
  • Seventeenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) - More details
  • Second International Workshop on EXplainable and TRansparent Autonomous Agents and Multi-Agent Systems (EXTRAAMAS 2020) - More details
  • Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim Conference on Artificial Intelligence (IJCAI-PRICAI 2020) - More details
  • Eighth International Conference on Computational Models of Argument (COMMA 2020) - More details
  • Nineteenth International Conference on Autonomous Agent and Multiagent Systems (AAMAS 2020) - More details
  • Twenty-Fourth European Conference on Artificial Intelligence (ECAI 2020) - More details
  • Thirty-Fifth ACM/SIGAPP Symposium On Applied Computing (SAC 2020) - Track on Knowledge Representation and Reasoning - More details
  • Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020) - More details
  • Dix-Septièmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA 2019) - More details
  • First International Workshop on EXplainable and TRansparent Autonomous Agents and Multi-Agent Systems (EXTRAAMAS 2019) - More details
  • Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI 2019) - More details - Distinguished PC members
  • Eighteenth International Conference on Autonomous Agent and Multiagent Systems (AAMAS 2019) - More details
  • Thirty-Fourth ACM/SIGAPP Symposium On Applied Computing (SAC 2019) - Track on Knowledge Representation and Reasoning - More details
  • Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) - More details
  • Seventh International Conference on Computational Models of Argument (COMMA 2018) - More details
  • Deuxième Conférence Nationale en Intelligence Artificielle/Seizièmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle (CNIA-RJCIA 2018) - More details
  • Twenty-Seventh International Joint Conference on Artificial Intelligence and Twenty-Third European Conference on Artificial Intelligence (IJCAI-ECAI 2018) - More details
  • Thirty-Second AAAI Conference on Artificial Intelligence (AAAI 2018) - More details
  • Thirty-Third ACM/SIGAPP Symposium On Applied Computing (SAC 2018) - Track on Knowledge Representation and Reasoning - More details
  • Quinzièmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA 2017) - More details
  • Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI 2017) - More details
  • Thirtieth International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA/AIE 2017) - Special Track on Applications of Argumentation - More details
  • Sixth International Conference on Computational Models of Argument (COMMA 2016) - More details
  • First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2016) - More details

Reviewer for Journal Papers

  • Reviewer for Annals of Mathematics and Artificial Intelligence
  • Reviewer for Group Decision and Negotiation
  • Reviewer for Ecological Informatics
  • Reviewer for Journal of Artificial Intelligence Research
  • Reviewer for Artificial Intelligence
  • Reviewer for Argument and Computation
  • Reviewer for the International Journal of Approximate Reasoning

Reviewer for Conference and Workshop Papers

  • Reviewer for the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) - More details
  • Reviewer for the Sixteenth International Conference on Autonomous Agent and Multiagent Systems (AAMAS 2017) - More details
  • Reviewer for the Thirty-First AAAI Conference on Artificial Intelligence (AAAI 2017) - More details
  • Reviewer for the Twenty-Second European Conference on Artificial Intelligence (ECAI 2016) - More details
  • Reviewer for the Sixth International Workshop on Computational Social Choice (COMSOC 2016) - More details
  • Reviewer for the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI 2016) - More details
  • Reviewer for the Fifteenth International Conference on Autonomous Agent and Multiagent Systems (AAMAS 2016) - More details
  • Reviewer for the Ninth International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2016) - More details
  • Reviewer for the Thirtieth AAAI Conference on Artificial Intelligence (AAAI 2016) - More details
  • Reviewer for the Eighth International Conference on Knowledge Science, Engineering and Management (KSEM 2015) - More details
  • Reviewer for the Fourteenth European Conference on Logics in Artificial Intelligence (JELIA 2014) - More details
  • Reviewer for the Twenty-First European Conference on Artificial Intelligence (ECAI 2014) - More details

Other Scientific Activities

Awards

Projects

  • Member of project Fragment-Driven Belief Change supported by the Austrian Science Fund (FWF) (2015-2016).
  • Member of project AMANDE supported by the French National Research Agency (ANR) (2013-2018).

Steering Committee

Organization of Events

Software Development

  • Since 2014: I am a member of the team which develops the argumentation solver CoQuiAAS.

Talks, Seminars, Workshops

Student Supervision

  • 2019: Master 2 Research Internship (4 months) Co-Supervisor with Pavlos Moraitis, Fabrice Gaignier
  • 2017: DUT Internship (4 months), Etienne Lopvet
  • 2017: Master 2 Research Internship (5 months) Co-Supervisor with Sylvie Doutre and Nicolas Maudet, Salim Kecili
  • 2017: Master 1 Tutored Project (1 semester), Kalidou Ba and Appolinaire Dekli
  • 2015: Master 1 Research Internship (10 weeks) Co-Supervisor with Zied Bouraoui, Aurélien Lucas
  • 2014: Master 1 Research Internship (10 weeks) Co-Supervisor with Thomas Caridroit, Oumaima Mehaibia

Teachings

Some teachings done recently in the Université de Paris as Assistant Professor.

Year 2019-2020

  • Advanced Object Oriented Programming and Applications OOP Java JavaFX JDBC
    • Third year of Bachelor on Computer Science
    • 18 hours of lectures
    • 42 hours of practical works
  • Introduction to Artificial Intelligence AI Logic Search Algorithms
    • Third year of Bachelor on Computer Science
    • 60 hours of tutorials
  • Non Monotonic Reasoning NMR Inference Belief Change
    • First year of Master in Computer Science
    • 15 hours of lectures
    • 15 hours of tutorials
  • Algorithmic Complexity Complexity NP Polynomial Hierarchy
    • First year of Master in Computer Science
    • 15 hours of lectures
    • 30 hours of tutorials
  • Automated Negotiation Argumentation Negotiation
    • Second year of Master in Computer Science
    • 6 hours of lectures
For more details on my past teachings, click here.

Contact Information

LIPADE - Univ. Paris Descartes
45, rue des Saints Pères,
75006 Paris, France
Office: 814-I
E-mail: jean-guy.mailly@parisdescartes.fr
Phone: +33 1 76 53 03 03
ORCID: https://orcid.org/0000-0001-9102-7329
LinkedIn: https://www.linkedin.com/in/jeanguymailly
Created by BootstrapOcean