Claire Lefvre
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2009–2018
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | IJCAI | Possibilistic ASP Base Revision by Certain Input. | Laurent Garcia, Claire Lefvre, Odile Papini, Igor Stphan, ric Wrbel |
| 2016 | ICLP | Justifications and Blocking Sets in a Rule-Based Answer Set Computation. | Christopher Batrix, Claire Lefvre, Laurent Garcia, Igor Stphan |
| 2015 | IJCAI | ∃-ASP. | Fabien Garreau, Laurent Garcia, Claire Lefvre, Igor Stphan |
| 2010 | COMMA | Dialectical Proofs for Constrained Argumentation. | Caroline Devred, Sylvie Doutre, Claire Lefvre, Pascal Nicolas |
| 2009 | LPNMR | A First Order Forward Chaining Approach for Answer Set Computing. | Claire Lefvre, Pascal Nicolas |
| 2009 | LPNMR | The First Version of a New ASP Solver : ASPeRiX. | Claire Lefvre, Pascal Nicolas |