Claire Lefèvre

18 papers A* 1B 2C 1Journal 7Unranked 7
YearRankTypeTitle / Venue / Authors
2019 J jnl
A Semantic Characterization ASP Base Revision.
J. Artif. Intell. Res.
Laurent Garcia, Claire Lefèvre, Igor Stéphan, Odile Papini, Éric Würbel
2019 — conf
Query Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial Reasoning.
GCAI
Mohamed Ben Ellefi, Pierre Drap, Laurent Garcia, Fabien Garreau, Claire Lefèvre, Odile Papini, Igor Stéphan, Éric Würbel
2018 J jnl
Answer Set Programming et interrogation.
Rev. d'Intelligence Artif.
Fabien Garreau, Laurent Garcia, Claire Lefèvre, Igor Stéphan
2018 J jnl
Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin.
Ann. Math. Artif. Intell.
Jean-François Baget, Laurent Garcia, Fabien Garreau, Claire Lefèvre, Swan Rocher, Igor Stéphan
2018 A* conf
Possibilistic ASP Base Revision by Certain Input.
IJCAI
Laurent Garcia, Claire Lefèvre, Odile Papini, Igor Stéphan, Éric Würbel
2017 — conf
A Semantic Characterization for ASP Base Revision.
SUM
Laurent Garcia, Claire Lefèvre, Odile Papini, Igor Stéphan, Éric Würbel
2017 J jnl
ASPeRiX, a first-order forward chaining approach for answer set computing.
Theory Pract. Log. Program.
Claire Lefèvre, Christopher Béatrix, Igor Stéphan, Laurent Garcia
2016 — conf
Justifications and Blocking Sets in a Rule-Based Answer Set Computation.
ICLP (Technical Communications)
Christopher Béatrix, Claire Lefèvre, Laurent Garcia, Igor Stéphan
2015 J jnl
ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing.
CoRR
Claire Lefèvre, Christopher Béatrix, Igor Stéphan, Laurent Garcia
2015 — conf
∃-ASP.
JOWO@IJCAI
Fabien Garreau, Laurent Garcia, Claire Lefèvre, Igor Stéphan
2012 J jnl
Les travaux de Pascal Nicolas. Interrogation, induction et déduction automatiques pour le raisonnement non monotone... et plus encore.
Rev. d'Intelligence Artif.
Béatrice Duval, Laurent Garcia, Claire Lefèvre, Igor Stéphan
2010 C conf
Dialectical Proofs for Constrained Argumentation.
COMMA
Caroline Devred, Sylvie Doutre, Claire Lefèvre, Pascal Nicolas
2009 B conf
A First Order Forward Chaining Approach for Answer Set Computing.
LPNMR
Claire Lefèvre, Pascal Nicolas
2009 B conf
The First Version of a New ASP Solver : ASPeRiX.
LPNMR
Claire Lefèvre, Pascal Nicolas
2006 J jnl
Possibilistic uncertainty handling for answer set programming.
Ann. Math. Artif. Intell.
Pascal Nicolas, Laurent Garcia, Igor Stéphan, Claire Lefèvre
2005 — conf
Possibilistic Stable Model Computing.
Answer Set Programming
Pascal Nicolas, Claire Lefèvre
1995 — conf
Cooperating Logical Agents.
ATAL
Claire Beyssade, Patrice Enjalbert, Claire Lefèvre
1995 — conf
Cooperating Logical Agents.
WOCFAI
Claire Beyssade, Patrice Enjalbert, Claire Lefèvre