| 2009 |
|---|
| 23 | EE | Igor Stéphan,
Benoit Da Mota:
A Unified Framework for Certificate and Compilation for QBF.
ICLA 2009: 210-223 |
| 2006 |
|---|
| 22 | | Igor Stéphan:
Boolean Propagation Based on Literals for Quantified Boolean Formulae.
ECAI 2006: 452-456 |
| 21 | 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 |
|---|
| 20 | EE | Pascal Nicolas,
Laurent Garcia,
Igor Stéphan:
A Possibilistic Inconsistency Handling in Answer Set Programming.
ECSQARU 2005: 402-414 |
| 19 | EE | Pascal Nicolas,
Laurent Garcia,
Igor Stéphan:
Possibilistic Stable Models.
IJCAI 2005: 248-253 |
| 18 | EE | Pascal Nicolas,
Laurent Garcia,
Igor Stéphan:
Possibilistic Stable Models.
Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005 |
| 2004 |
|---|
| 17 | | Pascal Nicolas,
Laurent Garcia,
Igor Stéphan:
Programmation par ensembles-réponses possibilistes.
JFPLC 2004 |
| 16 | EE | Pascal Nicolas,
Laurent Garcia,
Igor Stéphan:
A possibilistic approach to restore consistency in answer set programming.
NMR 2004: 306-312 |
| 2002 |
|---|
| 15 | EE | Pascal Nicolas,
Frédéric Saubion,
Igor Stéphan:
Answer Set Programming by Ant Colony Optimization.
JELIA 2002: 481-492 |
| 14 | | Pascal Nicolas,
Frédéric Saubion,
Igor Stéphan:
Optimisation par colonies de fourmis pour la programmation logique étendue.
JFPLC 2002: 57- |
| 13 | EE | Frédéric Saubion,
Igor Stéphan:
A Unified Framework to Compute over Tree Synchronized Grammars and Primal Grammars.
Discrete Mathematics & Theoretical Computer Science 5(1): 227-262 (2002) |
| 2001 |
|---|
| 12 | EE | Pascal Nicolas,
Frédéric Saubion,
Igor Stéphan:
Genes and Ants for Default Logic.
Answer Set Programming 2001 |
| 11 | EE | Pascal Nicolas,
Frédéric Saubion,
Igor Stéphan:
New Generation Systems for Non-monotonic Reasoning.
LPNMR 2001: 309-321 |
| 10 | | Pascal Nicolas,
Frédéric Saubion,
Igor Stéphan:
Heuristics for a Default Logic Reasoning System.
International Journal on Artificial Intelligence Tools 10(4): 503-523 (2001) |
| 2000 |
|---|
| 9 | | Pascal Nicolas,
Frédéric Saubion,
Igor Stéphan:
GADEL: a Genetic Algorithm to Compute Default Logic Extensions.
ECAI 2000: 484-490 |
| 8 | EE | Pascal Nicolas,
Frédéric Saubion,
Igor Stéphan:
Combining heuristics for default logic reasoning systems.
ICTAI 2000: 393-400 |
| 7 | EE | Pascal Nicolas,
Frédéric Saubion,
Igor Stéphan:
Genetic Algorithms for Extension Search in Default Logic
CoRR cs.AI/0002015: (2000) |
| 6 | EE | Igor Stéphan,
Frédéric Saubion,
Pascal Nicolas:
Description of GADEL
CoRR cs.AI/0003018: (2000) |
| 1999 |
|---|
| 5 | | Frédéric Saubion,
Igor Stéphan:
Implanter des langages d'arbres en Prolog.
JFPLC 1999: 89-106 |
| 4 | EE | Frédéric Saubion,
Igor Stéphan:
On Implementation of Tree Synchronized Languages.
RTA 1999: 382-396 |
| 1998 |
|---|
| 3 | EE | Igor Stéphan:
A New Abstract Logic Programming Language and Its Quantifier Elimination Method for Disjunctive Logic Programming.
AIMSA 1998: 403-416 |
| 1994 |
|---|
| 2 | | Igor Stéphan:
Du ou dans les arbres.
JFPLC 1994: 93-108 |
| 1992 |
|---|
| 1 | | Igor Stéphan:
L'inheritance near-Horn Prolog en Prolog.
JFPL 1992: 403-419 |
