Une version plus fournie de cette page en français

Laurent GARCIA

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, Okina and HAL-UA.

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) and IJCAI'22
• program committee member of the European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty : ECSQARU'17, ECSQARU'19 and ECSQARU'21
• 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
• Représentation de connaissances et raisonnements, 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 : 20 December 2022