Pierre Marquis
| Naissance | |
|---|---|
| Nationalité | |
| Formation |
Université Nancy-I (doctorat) (jusqu'en ) |
| Activités |
| A travaillé pour |
Université d'Artois (depuis le ) |
|---|---|
| Membre de | |
| Directeur de thèse | |
| Distinction |
Pierre Marquis (né le ) est un informaticien et professeur à l'université d'Artois. Il travaille en intelligence artificielle, plus précisément en représentation des connaissances.
Carrière
Il est ECCAI (EurAI) Fellow depuis 2009 et AAIA Fellow depuis 2022[1]. Il est lauréat de la médaille d'argent du CNRS en 2025[2].
Travaux de recherche
Il a travaillé sur plusieurs thèmes en intelligence artificielle. Il a travaillé sur comment gérer l'inconsistance de connaissances au travers la révision de croyances, l'argumentation et les logiques paraconsistantes. Il a aussi travaillé en compilation des connaissances[3] : comment définir et utiliser des langages logique ou des structures de données adaptées pour effectuer des tâches de raisonnement[4]. Il travaille aussi sur l'explicabilité en IA[1].
Notes et références
- « Pierre MARQUIS », sur www.cril.univ-artois.fr (consulté le )
- ↑ « Pierre Marquis est lauréat de la Médaille d’argent du CNRS | Université d'Artois », sur www.univ-artois.fr (consulté le )
- ↑ (en) A. Darwiche et P. Marquis, « A Knowledge Compilation Map », Journal of Artificial Intelligence Research, vol. 17, , p. 229–264 (ISSN 1076-9757, DOI 10.1613/jair.989, lire en ligne, consulté le ).
- ↑ Jean-Marie Lagniez, Pierre Marquis et Armin Biere, « Dynamic Blocked Clause Elimination for Projected Model Counting », LIPIcs, Leibniz-Zentrum für Informatik, vol. 305:27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024), , p. 21:1–21:17 (DOI 10.4230/LIPIcs.SAT.2024.21, lire en ligne).
Liens externes
- Ressources relatives à la recherche :
Portail des mathématiques .svg.png)
Portail de la France