A short version of this page in "English"

Laurent GARCIA

Je suis enseignant-chercheur (maître de conférences) à l'Université d'Angers

• J'effectue mes enseignements au département informatique de la Faculté des sciences
• J'effectue ma recherche au Laboratoire d'Études et de Recherche en Informatique d'Angers (LERIA)

Activités de recherche

Mes activités de recherche concernent l'intelligence artificielle (IA), en particulier dans ses aspects de représentation des connaissances et de formalisation du raisonnement, sous forme symbolique et déclarative [ch1].
Plus précisément, je m'intéresse à des formalismes logiques non-classiques pour traiter les problèmes d'imperfection, d'incertitude et d'incohérence dans les connaissances. En pratique, je travaille dans les cadres de l'ASP (answer set programming, programmation logique non-monotone) et de la théorie des possibilités.
Mes travaux portent essentiellement sur la proposition d'extensions de l'ASP standard : prise en compte de l'incertitude [r4, c3], traitement de l'incohérence[r4], révision [r1, c1] et interrogation [p1]. Je m'intéresse aussi à l'étude des solveurs ASP [r2, g1] ainsi qu'à la représentation de problèmes concrets en ASP [g2].
Par le passé, j'ai travaillé sur le traitement de l'incohérence dans les bases de connaissances [r6], sur le traitement de la causalité à base de représentations graphiques et leurs liens avec la logique [r5, c4], sur la décision sous incertitude [r3, c2] et sur le raisonnement sur les données (interrogation d'ontologies) [e1, p1].

Publications principales

Revues internationales

• [r1] Laurent Garcia, Claire Lefèvre, Odile Papini, Igor Stéphan et Eric Würbel. A Semantic Characterization for ASP Base Revision. Dans Journal of Artificial Intelligence Research, 66. AAAI Press. 989-1029. 2019
• [r2] Claire Lefèvre, Christopher Béatrix, Igor Stéphan et Laurent Garcia. ASPeRiX, a first-order forward chaining approach for answer set computing. Dans Theory and Practice of Logic Programming, 17(3). Cambridge University Press. 266-310. 2017
• [r3] Laurent Garcia et Régis Sabbadin. Complexity results and algorithms for Possibilistic Influence Diagrams. Dans Artificial Intelligence, 172 (8-9). Elsevier. 1018-1044. 2008
• [r4] Pascal Nicolas, Laurent Garcia, Igor Stéphan et Claire Lefèvre. Possibilistic uncertainty handling in answer set programming. Dans Annals of Mathematics and Artificial Intelligence, 47 (1-2). Springer. 139-181. 2006
• [r5] Salem Benferhat, Didier Dubois, Laurent Garcia et Henri Prade. On the transformation between possibilistic logic bases and possibilistic causal networks. Dans International Journal of Approximate Reasoning, 29 (2). Elsevier Science. 135-173. 2002
• [r6] Salem Benferhat et Laurent Garcia. Handling locally stratified inconsistent knowledge bases. Dans Studia Logica, 70 (1). Kluwer Academic Publishers. 77-104. 2002

Conférences internationales

• [c1] Laurent Garcia, Claire Lefèvre, Odile Papini, Igor Stéphan et Eric Würbel. Possibilistic ASP Base Revision by Certain Input. Dans Proceedings of 27th International Joint Conference on Artificial Intelligence (IJCAI'18). 1824-1830. 2018
• [c2] Laurent Garcia et Régis Sabbadin. Possibilistic influence diagrams. Dans Proceedings of 17th European Conference in Artificial Intelligence (ECAI'06). 372-376. 2006
• [c3] Pascal Nicolas, Laurent Garcia et Igor Stéphan. Possibilistic stable models. Dans Proceedings of 19th International Joint Conference on Artificial Intelligence (IJCAI'05). 248-253. 2005
• [c4] Salem Benferhat, Didier Dubois, Laurent Garcia et Henri Prade. Possibilistic logic bases and possibilistic graphs. Dans Proceedings of 15th Conference on Uncertainty in Artificial Intelligence (UAI'99). 57-64. 1999

Chapitre d'ouvrage

• [ch1] Maroua Bouzid, Laurence Cholvy, Didier Dubois, Laurent Garcia, Sébastien Konieczny, Florence Le Ber, Gérard Ligozat, Pierre Marquis, Pascal Nicolas, Odile Papini, Henri Prade et Lakdhar Saïs. Intelligence Artificielle Fondamentale : Ses contours généraux et un aperçu de quelques problématiques importantes. Dans Information - Interaction - Intelligence. Le point sur le i(3). Cépaduès. 9-73. 2012

Édition d'ouvrage

• [e1] Odile Papini, Salem Benferhat, Laurent Garcia, Marie-Laure Mugnier, Eduardo L. Fermé, Thomas Meyer, Renata Wassermann, Torsten Hahmann, Ken Baclawski, Adila Krisnadhi, Pavel Klinov, Stefano Borgo, Oliver Kutz et Daniele Porello. Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). CEUR Workshop Proceedings 1517. 2015

Des listes plus complètes de mes publications sont consultables sur DBLP, Okina et HAL-UA.

Projets et groupes de recherche actuels

• Membre de l'Association française pour l'Intelligence Articifielle (AfIA) et du Collège Représentation et Raisonnement
• Membre du GDR CNRS IA (Aspects Formels et Algorithmiques de l'Intelligence Artificielle)
• [g1] Membre du projet de développement du solveur ASP ASPeRiX
• [g2] Membre de Potassco Solutions France, branche française de Potassco Solutions

Comités scientifiques

• co-président (avec Salem Benferhat, Marie-Laure Mugnier et Odile Papini) du workshop Ontologies and Logic Programming for Query Answering associé à l'International Joint Conference on Artificial Intelligence 2015 (ONTOLP@IJCAI'15)
• co-président (avec Salem Benferhat, Marie-Laure Mugnier et Odile Papini) du workshop Ontologies and Logic Programming for Query Answering associé à l'International Joint Conference on Artificial Intelligence 2016 (ONTOLP@IJCAI'16)
• co-président (avec Salem Benferhat, Marie-Laure Mugnier et Odile Papini) du workshop ASP technologIes for Querying large scale multisource heterogeneous web information associé à l'International Conference on Industrial, Engineering, Other Applications of Applied Intelligent Systems 2017 (WASPIQ'17)
• membre de comités de programme de l'International Joint Conference on Artificial Intelligence : IJCAI'15, IJCAI'17, IJCAI'19, IJCAI'20, IJCAI'21 (SPC) et IJCAI'22
• membre de comités de programme de l'European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty : ECSQARU'17, ECSQARU'19 et ECSQARU'21
• membre du comité de programme de l'International Conference on Industrial, Engineering, Other Applications of Applied Intelligent Systems : IEA/AIE'17
• membre de comités de programme des Journées d'Intelligence Artificielle Fondamentale : JIAF'07, JIAF'08, JIAF'09, JIAF'10, JIAF'11, JIAF'12 et JIAF'13
• membre de comités de programme des Rencontres Jeunes Chercheurs en Intelligence Artificielle : RJCIA'00 et RJCIA'05
• président du comité d'organisation des Journées d'Intelligence Artificielle Fondamentale : JIAF'14

Équipes de recherche avec lesquelles j'ai collaboré ou je collabore encore (par des projets ou des publications)

• équipe Logique, Interaction, Raisonnement et Inférence, Complexité, Algèbre (LIRICA), Laboratoire d'Informatique et Systèmes (LIS), Marseille
• équipe Graphs for Inferences on Knowledge (GraphiK), Institut national de recherche en informatique et en automatique (INRIA), Montpellier
• équipe Représentation de connaissances et raisonnements, Centre de Recherche en Informatique de Lens (CRIL), Lens
• équipe Modélisation des Agro-écosystèmes et Décision (MAD), Institut National de Recherche en Agronomie (INRA), Toulouse
• équipe Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (ADRIA), Institut de Recherche en Informatique de Toulouse (IRIT), Toulouse
• équipe Data User Knowledge (DUKe), Laboratoire des Sciences du Numérique de Nantes (LS2N), Nantes
• équipe Knowledge Processing and Information Systems, Potsdam, Allemagne

Projets et groupes de recherche passés

• [p1] Coordinateur pour l'Université d'Angers du projet ASPIQ (avec CRIL, LIRMM et LSIS), financé par l'Agence Nationale de la Recherche (ANR) (2012-2017)
• Comité de pilotage du collège Représentation et Raisonnement de l'Association française pour l'Intelligence Articifielle (AfIA) en 2016 et 2017
• Comité d'animation du groupe Intelligence Artificielle Fondamentale du GDR CNRS I3 (2007-2013)
• Membre du GDR CNRS MADICS (Masses de Données, Informations et Connaissances en Sciences, Big Data - Data Science) et de l'action RoD - Raisonner sur les données (Reasoning on Data) (2017-2020)
• Membre du projet MILES, projet régional Pays de la Loire (2007-2009)
• Membre du projet COM, projet CPER (2000-2006)

Doctorants pour lesquels j'ai participé à l'encadrement

• Fabien Garreau (thèse soutenue le 24 novembre 2016, directeur de thèse : Igor Stéphan, co-encadrant : Jean-François Baget), Fabien est aujourd'hui PRCE à l'Université d'Angers
• Christopher Béatrix (thèse soutenue le 3 novembre 2016, directeur de thèse : Igor Stéphan, co-encadrant : Claire Lefèvre), Christopher est aujourd'hui ingénieur chez CapGemini
• Aymeric Le Dorze (thèse soutenue le 4 novembre 2013, directeur de thèse : Stéphane Loiseau, co-encadrant : David Genest), Aymeric est aujourd'hui ingénieur chez Uneek - Kosmopolead

Activités pédagogiques et administratives

Responsabilités actuelles

• Responsable pédagogique de la L2 informatique (depuis septembre 2021)
• Responsable pédagogique pour l'informatique de la double licence mathématiques et informatique (depuis septembre 2022)
• Correspondant Erasmus en informatique pour l'Université de Potsdam (Allemagne) depuis 2012
• Membre du conseil des sports de l'Université d'Angers depuis 2016

Cours actuels

• Représentation des connaissances et formalisation du raisonnement (logique possibiliste)
• Bases de données
• Algorithmique
• Bases d'informatique

Anciennes responsabilités pédagogiques et administratives

• Responsable pédagogique et président de jury du Master 1 informatique de l'Université d'Angers (de septembre 2017 à septembre 2019)
• Coordinateur de mission et formateur des enseignants du Centre universitaire de Labé, Guinée (2009-2014)
• Référent pour les relations internationales de la Faculté des sciences (d'octobre 2009 à octobre 2011)
• Chargé de mission C2i auprès du vice-président du CEVU (de septembre 2007 à septembre 2009)
• Responsable pédagogique et président de jury du DEUG MIAS première année (de septembre 2001 à septembre 2004)
• Membre de conseils et commissions de l'Université d'Angers ou de la Faculté des sciences : conseil d'administration (2016-2020), commission du budget (2016-2020), commission des statuts (2016-2020), commission permanente du numérique (2016-2020) de l'Université et conseil scientifique (anciennement commission recherche) de la Faculté (2005-2009 et 2013-2017)

Informations personnelles

Contacts

• Adresse postale : bureau H209, Faculté des Sciences, Université d'Angers, 2 boulevard Lavoisier, 49045 Angers Cedex 01, France
• Téléphone : (+33) 2 41 73 52 25
• Adresse électronique : laurent[point]garcia[arobase]univ-angers[point]fr

Données personnelles

• Doctorat obtenu en 1998 à l'Université Paul Sabatier, laboratoire IRIT, Toulouse, France
• Né dans les Hautes-Pyrénées, France
• Quelques amis : Tekila Banda, Athlétisme Saint-Barthélemy-d'Anjou et Vox Campus

Dernière mise à jour de cette page : 20 décembre 2022