Jean-Guy Mailly Verzeichnis ehemaliger Mitarbeiter
Kontaktdaten
- poste 80 09
- mailly@cril.univ-artois.fr
- http://www.math-info.univ-paris5.fr/~jmailly/
Forschungsachsen
- Wissensrepräsentationstheorie und formales Schliessen
Publications
International journals
2023 Knowledge Jean Lieber, Jean-Guy Mailly, Pierre Marquis, Henri Prade, François Rollin, Some thoughts about artificial stupidity and artificial dumbness in AI Communications,vol. 2023, n° pre-press, pp. 1--15, 2023.
International conferences
2024 Knowledge Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, A SAT-based Approach for Argumentation Dynamics in 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024),2024.
2016 Jérôme Delobelle, Adrian Haret, Sébastien Konieczny, Jean-Guy Mailly, Julien Rossit, Stefan Woltran, Merging of Abstract Argumentation Frameworks in 15th Principles of Knowledge Representation and Reasoning, (KR'16),2016.
2015 Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver in 27th International Conference on Tools with Artificial Intelligence (ICTAI'15),IEEE, pp. 928-935, 2015.
2015 Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis, Extension Enforcement in Abstract Argumentation as an Optimization Problem in 24th International Joint Conference on Artificial Intelligence (IJCAI'15),AAAI Press, pp. 2876-2882, 2015.
2014 Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis, A Translation-based Approach for Revision of Argumentation Frameworks in 14th European Conference on Logics in Artificial Intelligence (JELIA'14),pp. 397-411, 2014.
2014 Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis, On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses in 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14),pp. 52-61, 2014.
2013 Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis, On the Revision of Argumentation Systems: Minimal Change of Arguments Status in 2nd International Workshop on Theory and Applications of Formal Argumentation (TAFA'13),2013.
National conferences
2022 Jean Lieber, Jean-Guy Mailly, Pierre Marquis, Henri Prade, François Rollin, Quelques réflexions autour de la notion de bêtise artificielle in 16èmes Journées d’Intelligence Artificielle Fondamentale (Plate-Forme Intelligence Artificielle) (JIAF 2022),pp. 1-11, 2022.
2015 Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis, Forçage d'extension en argumentation abstraite par optimisation booléenne in 9èmes Journées de l'Intelligence Artificielle Fondamentale (IAF'15),pp. 45-54, 2015.
2014 Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis, Approche par traduction pour la révision de systèmes d'argumentation in 8èmes Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'14),pp. 77-85, 2014.
2013 Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis, Révision de systèmes d'argumentation : changement minimal du statut des arguments in 7èmes Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'13),pp. 107-116, 2013.
International workshops
2023 Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit, A New Evolutive Generator for Graphs with Communities and its Application to Abstract Argumentation in First International Workshop on Argumentation and Applications (Arg&App 2023),CEUR-WS, vol. 3472, 2023.
2020 Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit, Introducing the Fourth International Competition on Computational Models of Argumentation in Third International Workshop on Systems and Algorithms for Formal Argumentation,2020.
Technical reports
2021 Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit, Design and Results of ICCMA 2021 2021.