Me playing guitar

Short Biography

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 Associate Professor at LIPADE, Université de Paris. I am a member of the research team Distributed Artificial Intelligence.
My detailled CV in PDF - My research ancestors

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

Research Interest

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

Research question

Recent Publications

Journal papers:

  • J. Rossit, J.-G. Mailly, Y. Dimopoulos, P. Moraitis, United We Stand: Accruals in Strength-based Argumentation, Argument & Computation, 2020 (To appear)
    download (technical report)
  • J.-G. Mailly, M. Maratea, Assessment of benchmarks for abstract argumentation, Argument & Computation, 2019 (Short paper)
    download - bibtex
Conference papers:
  • J.-G. Mailly, J. Rossit, Argument, I Choose You! Preferences and Ranking Semantics in Abstract Argumentation, KR 2020 (To appear)
  • J.-G. Mailly, Possible Controllability of Control Argumentation Frameworks , COMMA 2020
    download - extended version with proofs - bibtex
See here for the full list sorted by type, sorted by year, or my list of publications from DBLP.

Generic placeholder image

Reviewing

I have been a reviewer/program committee member for several journals and conferences, including:

More details here.

Generic placeholder image

Software Development

I am one of the developpers of CoQuiAAS, a solver for abstract argumentation reasoning tasks. CoQuiAAS was awarded several times at the International Competition of Computational Models of Argumentation

  • 2019 : Second place at the Main Track and the Dynamic Track of ICCMA 2019
  • 2017: First place at the GR Track of ICCMA 2017
  • 2015: First place at ICCMA 2015

More recently, I've shared a small piece of software for computing extensions in a simple GUI. Although this may not be the best way for large instances, this is an easy way to obtain the extensions for small argumentation frameworks. It may be useful for teaching purposes, or just for checking whether your exemple is correct when your write a paper :)
See here for more information and for downloading the software (or the code). Since it is a preliminary version, that was quickly implemented, any feedback is welcome :)

CoQuiAAS Logo

Projects

I have been a member of different research projects:

Generic placeholder image

Generic placeholder image

Organisation of Events


Students

I have supervised several students projects:

  • 2020 - 2023: Ph.D., Co-Supervisor with Pavlos Moraitis and Julien Rossit, Yohann Bacquey
  • 2020: Master 2 Research Internship (4 months), Co-Supervisor with Pavlos Moraitis, Imene Sai
  • 2020: Master 1 Tutored Project (1 semester), Salomé Attar and Louis de Ferluc
  • 2020: Master 1 Tutored Project (1 semester), Rachid Bellazreg and Serigne Gning
  • 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

Student

Teaching

I am currently involved in these courses. More details on my past teachings here. Resources for my students here.

Java

Advanced Programming

Undergraduate course (L3): Object oriented programming in Java

AI

Introduction to AI

Undergraduate course (L3): overview of different Artificial Intelligence techniques (heuristic search, constraint programming, logic, AI for games...)

Complexity

Computational Complexity

Graduate course (M1): Turing machines, decidability, polynomial hierarchy

KRR

Knowledge Representation and Reasoning

Graduate course (M1): I am in charge of the "argumentation" part of the course.

NMR

Non-Monotonic Reasoning

Graduate course (M1): inference from conflicting information, default logic, belief change

Negotiation

Automated Negotiation

Graduate course (M2): Argument-based negotiation


Membership and roles

Generic placeholder image

Generic placeholder image

Local Administrative Duties

Some responsibilities in the Université de Paris or in LIPADE lab:

  • Since 2019: member of the Conseil de laboratoire (laboratory concil) of LIPADE
  • Since 2017: member of the Conseil scientifique local (local scientific concil) of the Faculty of Mathematics and Computer Science, Université de Paris

Contact Information

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