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.
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).
My detailled CV in PDF - My research ancestors - My personal interests

Research Topics

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

  • Argumentation: Abstract Argumentation (a.k.a. Dung's Framework), Deductive Argumentation
  • 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

International Conference Papers with Proceedings

  • Sylvie Doutre, Jean-Guy Mailly, Semantic Change and Extension Enforcement in Abstract Argumentation, 11th International Conference on Scalable Uncertainty Management (SUM'17)
    bibtex
  • 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: 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)

  • 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

  • Quinzièmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA 2017)
  • Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI 2017)
  • Thirtieth International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA/AIE 2017)
  • Sixth International Conference on Computational Models of Argument (COMMA 2016)
  • First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2016)

Reviewer for Journal Papers

  • 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 Autonomous Agent and Multiagent Systems (AAMAS 2017)
  • Reviewer for the Thirty-First AAAI Conference on Artificial Intelligence (AAAI 2017)
  • Reviewer for the Twenty-Second European Conference on Artificial Intelligence (ECAI 2016)
  • Reviewer for the Sixth International Workshop on Computational Social Choice (COMSOC 2016)
  • Reviewer for the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI 2016)
  • Reviewer for the Fifteenth International Conference on Autonomous Agent and Multiagent Systems (AAMAS 2016)
  • Reviewer for the Ninth International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2016)
  • Reviewer for the Thirtieth AAAI Conference on Artificial Intelligence (AAAI 2016)
  • Reviewer for the Eighth International Conference on Knowledge Science, Engineering and Management (KSEM 2015)
  • Reviewer for the Fourteenth European Conference on Logics in Artificial Intelligence (JELIA 2014)
  • Reviewer for the Twenty-First European Conference on Artificial Intelligence (ECAI 2014)

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) (since 2013).

Software Development

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

Talks, Seminars, Workshops

Organization of Events

Student Supervision

  • 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
    download (in french)
  • 2014: Master 1 Research Internship (10 weeks) Co-Supervisor with Thomas Caridroit, Oumaima Mehaibia

Teachings

Some teachings done in the University Paris Descartes.

Year 2016-2017

  • Advanced Object Oriented Programming and Applications OOP Java JavaFX JDBC
    • Third year of Bachelor on Computer Science
    • 36 hours of practical works
  • 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
  • Introduction to Argumentation in AI, Invited Lecture at the Institute of Technology of Paris Descartes AI Argumentation
    • First year of University Technology Diploma on Computer Science
    • 1.5 hours of of lectures

Some teachings done in the Institute of Technology of Lens as teaching assistant, while I was Ph.D. student.

Year 2014-2015

  • Object Oriented Programming - Android OOP Java Android
    • Second year of University Technology Diploma on multimedia and internet technologies
    • 21 hours of turorials
    • 10.5 hours of practical works
  • Algorithmic C++
    • First year of University Technology Diploma in computer science
    • 21 hours of pratical works
  • Databases SQL
    • First year of University Technology Diploma in computer science
    • 12 hours of pratical works

Year 2013-2014

  • Object Oriented Programming OOP Java
    • Second year of University Technology Diploma in computer science
    • 24 hours of tutorials
    • 24 hours of pratical works
  • Conception of Documents and Digital Interfaces HTML CSS Office Software
    • First year of University Technology Diploma in computer science
    • 12 hours of pratical works
  • Algorithmic C++
    • First year of University Technology Diploma in computer science
    • 1.5 hours of practical works

Year 2012-2013

  • Object Oriented Programming OOP Java
    • Second year of University Technology Diploma in computer science
    • 24 hours of tutorials
    • 24 hours of pratical works
  • Web Programming HTML CSS PHP MySQL
    • First year of University Technology Diploma in computer science
    • 12 hours of pratical works

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
Created by BootstrapOcean