Cooperating Logical Agents. - Claire Beyssade; Patrice Enjalbert; Claire Lefèvre (WOCFAI, 1995)

Possibilistic Stable Model Computing. - Pascal Nicolas; Claire Lefèvre (Answer Set Programming, 2005)

Possibilistic uncertainty handling for answer set programming. - Pascal Nicolas; Laurent Garcia; Igor Stéphan; Claire Lefèvre (Ann. Math. Artif. Intell., 2006)

A First Order Forward Chaining Approach for Answer Set Computing. - Claire Lefèvre; Pascal Nicolas (LPNMR, 2009)

The First Version of a New ASP Solver : ASPeRiX. - Claire Lefèvre; Pascal Nicolas (LPNMR, 2009)

Dialectical Proofs for Constrained Argumentation. - Caroline Devred; Sylvie Doutre; Claire Lefèvre; Pascal Nicolas (COMMA, 2010)

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)

∃-ASP. - Fabien Garreau; Laurent Garcia; Claire Lefèvre; Igor Stéphan (JOWO@IJCAI, 2015)

Justifications and Blocking Sets in a Rule-Based Answer Set Computation. - Christopher Béatrix; Claire Lefèvre; Laurent Garcia; Igor Stéphan (ICLP (Technical Communications), 2016)

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)

Possibilistic ASP Base Revision by Certain Input. - Laurent Garcia; Claire Lefèvre; Odile Papini; Igor Stéphan; Éric Würbel (IJCAI, 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)

Answer Set Programming et interrogation. - Fabien Garreau; Laurent Garcia; Claire Lefèvre; Igor Stéphan (Rev. d'Intelligence Artif., 2018)

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 (GCAI, 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)