Research interests
My research concerns mainly knowledge
representation and reasoning (KRR), especially non-monotonic
reasoning (NMR). Keywords:
- Argumentation
- mainly abstract argumentation (Dung's framework and its generalizations),
- deductive argumentation,
- argument-based negotiation,
- uncertainty in argumentation,
- argument strength,
- argumentation for explainable AI
- Belief change (belief revision, belief merging)
I am also interested in algorithmic solutions (mainly based on SAT) for hard problems:
- see CoQuiAAS for my work about this topic for abstract argumentation;
- more recently, resources allocation.
Recent Publications
Workshop proceedings:
- O. Cocarascu, S. Doutre, J.-G. Mailly, A. Rago, Proceedings of the First International Workshop on Argumentation and Applications (Arg&App 2023)
download - S. A. Gaggl, J.-G.Mailly, M. Thimm, J. P. Wallner, Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation (SAFA'22)
download
- R. Baumann, S. Doutre, J.-G. Mailly, J. P. Wallner, Enforcement in Formal Argumentation, in Handbook of Formal Argumentation (Vol.2, ch. 8), 2021
download - bibtex
- J.G. Mailly, Extension-based Semantics for Incomplete Argumentation Frameworks: Properties, Complexity and Algorithms, Journal of Logic and Computation
download - bibtex - J.-G. Mailly, Yes, No, Maybe, I don't Know: Complexity and Application of Abstract Argumentation with Incomplete Knowledge, Argument & Computation
download - bibtex - J. Delobelle, J.-G. Mailly, A Tool for Merging Extensions of Abstract Argumentation Frameworks, Argument & Computation
download - bibtex
- J. Delobelle, J.-G. Mailly, J. Rossit, Revisiting Approximate Reasoning based on Grounded Semantics, ECSQARU 2023
- J.-G. Mailly, Extension-based Semantics for Incomplete Argumentation Frameworks: Grounded Semantics and Principles, ECSQARU 2023
- J.-G. Mailly, A Logical Encoding for k-m-Realization of Extensions in Abstract Argumentation, CLAR 2023
download - bibtex
Reviewing
I have been a reviewer/program committee member for several journals and conferences, including:
- Journals: AIJ, JAIR, Argument & Computation, IJAR,...
- Conferences: IJCAI, AAAI, KR, ECAI, AAMAS, COMMA,...
I am also a member of the editorial board of Argument & Computation since 2021.
Community Related Activities
Since January 2018, I am a member of the International Competition on Computational Models of Argumentation (ICCMA) Steering Committee. Moreover, since October 2019, I am the secretary of the ICCMA Steering Committee.
PhD Students
- 2022 - ...: Ph.D. Co-Supervisor with Pavlos Moraitis, Thalya Fossey
- 2020 - 2022: Ph.D. Co-Supervisor with Pavlos Moraitis and Julien Rossit, Yohann Bacquey
Bachelor/Master Students
I have supervised several students projects:
- 2023: Master 1 Mentored Project (1 semester), Farouk Bennai and Yanis Kouadri, Co-Supervisor with Elise Bonzon
- 2022: Master 1 Mentored Project (1 semester), Lamine Jau and Salah Bouchama, Co-Supervisor with Julien Rossit
- 2022: Master 1 Mentored Project (1 semester), Maissa Arbi and Manel Bensalem, Co-Supervisor with Jérôme Delobelle
- 2022: Master 1 Mentored Project (1 semester), Sylvain Declercq, Quentin Januel and Christophe Yang, Co-Supervisor with Jérôme Delobelle
- 2022: Engereering School Mentored Project (1 semester), Zakariae El Asri and Killian Susini, Co-Supervisor with Anaëlle Wilcsynski and Nicolas Maudet
- 2021: Master 1 Tutored Project (1 semester), Mohamed Azikiou and Nassim Hemdane, Co-Supervisor with Jérôme Delobelle
- 2021: Master 1 Tutored Project (1 semester), Yanis-Fady Akroun and Lydia Bechroune, Co-Supervisor with Jérôme Delobelle
- 2021: Master 1 Tutored Project (1 semester), Namira Adjabi and Jiangang Zou
- 2021: Master 1 Tutored Project (1 semester), Danil Berrah and Thalya Fossey
- 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
Project
I have been a member of different research projects:
- AGGREEY supported by the French National Research Agency (ANR)
- Fragment-Driven Belief Change supported by the Austrian Science Fund (FWF) (2015-2016).
- AMANDE supported by the French National Research Agency (ANR) (2013-2018).
Co-authors
- Yohann Bacquey, LIPADE, Université Paris Cité
- Ringo Baumann, University of Leipzig
- Gerhard Brewka, University of Leipzig
- Sylvie Coste-Marquis, CRIL, Université d'Artois - CNRS
- Victor David, University of Perugia
- Jérôme Delobelle, LIPADE, Université Paris Cité
- Yannis Dimopoulos, University of Cyprus
- Sylvie Doutre, IRIT, Université de Toulouse 1 - CNRS
- Serigne Gning, Université Paris Cité
- Fabrice Gaignier, Université Paris Cité
- Adrian Haret, Institute of Information Systems, TU Wien
- Sébastien Konieczny, CRIL, CNRS - Université d'Artois
- Jean-Marie Lagniez, CRIL, Université d'Artois - CNRS
- Jean Lieber, LORIA, Université de Lorraine
- Emmanuel Lonca, CRIL, Université d'Artois - CNRS
- Marco Maratea, DIBRIS, Università di Genova
- Pierre Marquis, CRIL, Université d'Artois - CNRS
- Pavlos Moraitis, LIPADE, Université Paris Cité
- Henri Prade, IRIT, CNRS
- François Rollin
- Julien Rossit, LIPADE, Université Paris Cité
- Johannes P. Wallner, TU Graz
- Stefan Woltran, Institute of Information Systems, TU Wien