Une version plus fournie de cette page en français

Laurent GARCIA

Laurent GARCIA's picture

Associate professor at the University of Angers

Teaching at the Computer Science Department of the Faculty of Sciences
Research at the Laboratoire d'Études et de Recherche en Informatique d'Angers (LERIA)

Research activities

My research activities concern Artificial Intelligence (AI), especially knowledge representation and reasoning, in symbolic and declarative form [ch1].
Specifically, I am interested in non-classical logical formalisms for dealing with imperfection, uncertainty, and inconsistency in knowledge. In practice, I work in the frameworks of ASP (answer set programming) and possibility theory.
My work focuses on proposing extensions to standard ASP: uncertainty handling [j4, c3], inconsistency handling [j4], revision [j1, c1], and query [p1]. I am also interested in studying ASP solvers [j2, g1] as well as representing concrete problems in ASP [g2].
In the past, I have worked on inconsistency handling in knowledge bases [j6], on causality using graphical representations and their links with logic [j5, c4], on decision under uncertainty [j3, c2] and on reasoning about data (ontology querying) [e1, p1].

Main publications

International journals

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

International conferences

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

Book chapter

[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 and Lakdhar Saïs. Intelligence Artificielle Fondamentale : Ses contours généraux et un aperçu de quelques problématiques importantes. In Information - Interaction - Intelligence. Le point sur le i(3). Cépaduès. 9-73. 2012

Editorship

[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 and 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

For longest lists of my publications, see also DBLP, HAL-UA, Google Scholar and Semantic Scholar.

Main groups and projects

[g1] member of ASPeRiX ASP solver group
[g2] member of Potassco Solutions France, French partner of Potassco Solutions
[p1] member and chair for the University of Angers of the project ASPIQ (with CRIL, LIRMM and LIS labs), funded by the French National Agency for Research (Agence Nationale de la Recherche - ANR) (2012-2017)

Committees

co-chair (with Salem Benferhat, Marie-Laure Mugnier and Odile Papini) of the workshop on Ontologies and Logic Programming for Query Answering collocated with International Joint Conference on Artificial Intelligence 2015 (ONTOLP@IJCAI'15)
co-chair (with Salem Benferhat, Marie-Laure Mugnier and Odile Papini) of the workshop on Ontologies and Logic Programming for Query Answering collocated with International Joint Conference on Artificial Intelligence 2016 (ONTOLP@IJCAI'16)
co-chair (with Salem Benferhat, Marie-Laure Mugnier and Odile Papini) of the workshop on 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)
program committee member of the International Joint Conference on Artificial Intelligence : IJCAI'15, IJCAI'17, IJCAI'19, IJCAI'20, IJCAI'21 (SPC), IJCAI'22, IJCAI'23 and IJCAI'24
program committee member of the European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty : ECSQARU'17, ECSQARU'19, ECSQARU'21, ECSQARU'23 and ECSQARU'25
program committee member of the International Conference on Industrial, Engineering, Other Applications of Applied Intelligent Systems : IEA/AIE'17
program committee member of the french Journées d'Intelligence Artificielle Fondamentale : JIAF'07, JIAF'08, JIAF'09, JIAF'10, JIAF'11, JIAF'12 and JIAF'13
program committee member of the french des Rencontres Jeunes Chercheurs en Intelligence Artificielle : RJCIA'00 and RJCIA'05
president of organisation committee of the french Journées d'Intelligence Artificielle Fondamentale : JIAF'14

Collaborations

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

PhD Students

Fabien Garreau (defence on 24th november 2016, director : Igor Stéphan, with Jean-François Baget)
Christopher Béatrix (defence on 3rd november 2016, director : Igor Stéphan, with Claire Lefèvre)
Aymeric Le Dorze (defence on 4th november 2013, director : Stéphane Loiseau, with David Genest)

Other activities

For my teaching and administrative activities and some personal items, see the french version of this page.

Contact informations

Postal address : bureau H209, Faculté des Sciences, Université d'Angers, 2 boulevard Lavoisier, 49045 Angers Cedex 01, France
Phone : (+33) 2 41 73 52 25
Email : laurent[dot]garcia[at]univ-angers[dot]fr

Last update : 27 March 2025