| |
| * | 2009 | |
|---|---|---|
| 5 | EE | Claire Lefèvre, Pascal Nicolas: A First Order Forward Chaining Approach for Answer Set Computing. LPNMR 2009: 196-208 |
| 4 | EE | Claire Lefèvre, Pascal Nicolas: The First Version of a New ASP Solver : ASPeRiX. LPNMR 2009: 522-527 |
| 2006 | ||
| 3 | EE | Pascal Nicolas, Laurent Garcia, Igor Stéphan, Claire Lefèvre: Possibilistic uncertainty handling for answer set programming. Ann. Math. Artif. Intell. 47(1-2): 139-181 (2006) |
| 2005 | ||
| 2 | EE | Pascal Nicolas, Claire Lefèvre: Possibilistic Stable Model Computing. Answer Set Programming 2005 |
| 1995 | ||
| 1 | Claire Beyssade, Patrice Enjalbert, Claire Lefèvre: Cooperating Logical Agents. ATAL 1995: 299-314 | |
| 1 | Claire Beyssade | [1] |
| 2 | Patrice Enjalbert | [1] |
| 3 | Laurent Garcia | [3] |
| 4 | Pascal Nicolas | [2] [3] [4] [5] |
| 5 | Igor Stéphan | [3] |