 | 2012 |
|---|
| 7 |       | Béatrice Duval,
Laurent Garcia,
Claire Lefèvre,
Igor Stéphan:
Les travaux de Pascal Nicolas. Interrogation, induction et déduction automatiques pour le raisonnement non monotone... et plus encore.
Revue d'Intelligence Artificielle 26(1-2): 11-38 (2012) |
| 2010 |
|---|
| 6 | | Caroline Devred,
Sylvie Doutre,
Claire Lefèvre,
Pascal Nicolas:
Dialectical Proofs for Constrained Argumentation.
COMMA 2010: 159-170 |
| 2009 |
|---|
| 5 | | Claire Lefèvre,
Pascal Nicolas:
A First Order Forward Chaining Approach for Answer Set Computing.
LPNMR 2009: 196-208 |
| 4 | | Claire Lefèvre,
Pascal Nicolas:
The First Version of a New ASP Solver : ASPeRiX.
LPNMR 2009: 522-527 |
| 2006 |
|---|
| 3 | | 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 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page