Claire Lefèvre

According to our database, Claire Lefèvre authored at least 15 papers between 1995 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

A Semantic Characterization ASP Base Revision.

Laurent Garcia, Claire Lefèvre, Igor Stéphan, Odile Papini, Éric Würbel

J. Artif. Intell. Res., 2019

Query Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial Reasoning.

Mohamed Ben Ellefi, Pierre Drap, Laurent Garcia, Fabien Garreau, Claire Lefèvre, Odile Papini, Igor Stéphan, Éric Würbel

Proceedings of the GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 2019

2018

Answer Set Programming et interrogation.

Fabien Garreau, Laurent Garcia, Claire Lefèvre, Igor Stéphan

Rev. d'Intelligence Artif., 2018

Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin.

Jean-François Baget, Laurent Garcia, Fabien Garreau, Claire Lefèvre, Swan Rocher, Igor Stéphan

Ann. Math. Artif. Intell., 2018

Possibilistic ASP Base Revision by Certain Input.

Laurent Garcia, Claire Lefèvre, Odile Papini, Igor Stéphan, Éric Würbel

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

ASPeRiX, a first-order forward chaining approach for answer set computing.

Claire Lefèvre, Christopher Béatrix, Igor Stéphan, Laurent Garcia

Theory Pract. Log. Program., 2017

2016

Justifications and Blocking Sets in a Rule-Based Answer Set Computation.

Christopher Béatrix, Claire Lefèvre, Laurent Garcia, Igor Stéphan

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

2015

∃-ASP.

Fabien Garreau, Laurent Garcia, Claire Lefèvre, Igor Stéphan

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), 2015

2012

Les travaux de Pascal Nicolas. Interrogation, induction et déduction automatiques pour le raisonnement non monotone... et plus encore.

Béatrice Duval, Laurent Garcia, Claire Lefèvre, Igor Stéphan

Rev. d'Intelligence Artif., 2012

2010

Dialectical Proofs for Constrained Argumentation.

Caroline Devred, Sylvie Doutre, Claire Lefèvre, Pascal Nicolas

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

2009

The First Version of a New ASP Solver : ASPeRiX.

Claire Lefèvre, Pascal Nicolas

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

A First Order Forward Chaining Approach for Answer Set Computing.

Claire Lefèvre, Pascal Nicolas

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

2006

Possibilistic uncertainty handling for answer set programming.

Pascal Nicolas, Laurent Garcia, Igor Stéphan, Claire Lefèvre

Ann. Math. Artif. Intell., 2006

2005

Possibilistic Stable Model Computing.

Pascal Nicolas, Claire Lefèvre

Proceedings of the Answer Set Programming, 2005

1995

Cooperating Logical Agents.

Claire Beyssade, Patrice Enjalbert, Claire Lefèvre

Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995