| 2006 |
|---|
| 28 | 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) |
| 27 | EE | Farid Nouioua,
Pascal Nicolas:
Using Answer Set Programming in an Inference-Based approach to Natural Language Semantics
CoRR abs/cs/0607088: (2006) |
| 2005 |
|---|
| 26 | EE | Pascal Nicolas,
Claire Lefèvre:
Possibilistic Stable Model Computing.
Answer Set Programming 2005 |
| 25 | EE | Pascal Nicolas,
Laurent Garcia,
Igor Stéphan:
A Possibilistic Inconsistency Handling in Answer Set Programming.
ECSQARU 2005: 402-414 |
| 24 | EE | Pascal Nicolas,
Laurent Garcia,
Igor Stéphan:
Possibilistic Stable Models.
IJCAI 2005: 248-253 |
| 23 | EE | Pascal Nicolas,
Laurent Garcia,
Igor Stéphan:
Possibilistic Stable Models.
Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005 |
| 2004 |
|---|
| 22 | | Pascal Nicolas,
Laurent Garcia,
Igor Stéphan:
Programmation par ensembles-réponses possibilistes.
JFPLC 2004 |
| 21 | EE | Pascal Nicolas,
Laurent Garcia,
Igor Stéphan:
A possibilistic approach to restore consistency in answer set programming.
NMR 2004: 306-312 |
| 2002 |
|---|
| 20 | EE | Pascal Nicolas,
Frédéric Saubion,
Igor Stéphan:
Answer Set Programming by Ant Colony Optimization.
JELIA 2002: 481-492 |
| 19 | | Pascal Nicolas,
Frédéric Saubion,
Igor Stéphan:
Optimisation par colonies de fourmis pour la programmation logique étendue.
JFPLC 2002: 57- |
| 2001 |
|---|
| 18 | EE | Pascal Nicolas,
Frédéric Saubion,
Igor Stéphan:
Genes and Ants for Default Logic.
Answer Set Programming 2001 |
| 17 | EE | Pascal Nicolas,
Béatrice Duval:
Representation of Incomplete Knowledge by Induction of Default Theories.
LPNMR 2001: 160-172 |
| 16 | EE | Pascal Nicolas,
Frédéric Saubion,
Igor Stéphan:
New Generation Systems for Non-monotonic Reasoning.
LPNMR 2001: 309-321 |
| 15 | | 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 |
|---|
| 14 | | Pascal Nicolas,
Frédéric Saubion,
Igor Stéphan:
GADEL: a Genetic Algorithm to Compute Default Logic Extensions.
ECAI 2000: 484-490 |
| 13 | EE | Pascal Nicolas,
Frédéric Saubion,
Igor Stéphan:
Combining heuristics for default logic reasoning systems.
ICTAI 2000: 393-400 |
| 12 | EE | Pascal Nicolas,
Frédéric Saubion,
Igor Stéphan:
Genetic Algorithms for Extension Search in Default Logic
CoRR cs.AI/0002015: (2000) |
| 11 | EE | Igor Stéphan,
Frédéric Saubion,
Pascal Nicolas:
Description of GADEL
CoRR cs.AI/0003018: (2000) |
| 1999 |
|---|
| 10 | EE | Béatrice Duval,
Pascal Nicolas:
Learning Default Theories.
ESCQARU 1999: 148-159 |
| 9 | EE | Farid Benhammadi,
Pascal Nicolas,
Torsten Schaub:
Query-Answering in Prioritized Default Logic.
ESCQARU 1999: 32-42 |
| 1998 |
|---|
| 8 | EE | Farid Benhammadi,
Pascal Nicolas,
Torsten Schaub:
Extension Calculus and Query Answering in Prioritized Default Logic.
AIMSA 1998: 76-87 |
| 7 | EE | Pascal Nicolas,
Torsten Schaub:
The XRay system: An implementation platform for local query-answering in default logics.
Applications of Uncertainty Formalisms 1998: 354-378 |
| 1997 |
|---|
| 6 | | Torsten Schaub,
Pascal Nicolas:
An Implementation Platform for Query-Answering in Default Logics: Theoretical Underpinnings.
ISMIS 1997: 197-206 |
| 5 | | Torsten Schaub,
Pascal Nicolas:
An Implementation Platform for Query-Answering: X-RAY.
LPNMR 1997: 442-453 |
| 1996 |
|---|
| 4 | | Torsten Schaub,
Stefan Brüning,
Pascal Nicolas:
XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description.
CADE 1996: 293-297 |
| 1995 |
|---|
| 3 | | Pascal Nicolas,
Béatrice Duval:
A Theorem Prover for Lukaszewicz` Open Default Theory.
ECSQARU 1995: 311-319 |
| 2 | | Pascal Nicolas,
Béatrice Duval:
Logique des défauts de Lukaszewicz : un démonstrateur basé sur la SLD-résolution pour les théories ouvertes.
JFPLC 1995: 275-289 |
| 1 | | Pascal Nicolas,
Béatrice Duval:
Lukaszewicz' Default Logic: A Theorem Prover Based on SLD-Resolution for Open Default Theory.
WOCFAI 1995: 281-293 |
