Pascal Nicolas

	2009
31		Laurent Garcia, Stéphane Ngoma, Pascal Nicolas: Dealing Automatically with Exceptions by Introducing Specificity in ASP. ECSQARU 2009: 614-625
30		Claire Lefèvre, Pascal Nicolas: A First Order Forward Chaining Approach for Answer Set Computing. LPNMR 2009: 196-208
29		Claire Lefèvre, Pascal Nicolas: The First Version of a New ASP Solver : ASPeRiX. LPNMR 2009: 522-527
	2006
28		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		Farid Nouioua, Pascal Nicolas: Using Answer Set Programming in an Inference-Based approach to Natural Language Semantics CoRR abs/cs/0607088: (2006)
	2005
26		Pascal Nicolas, Claire Lefèvre: Possibilistic Stable Model Computing. Answer Set Programming 2005
25		Pascal Nicolas, Laurent Garcia, Igor Stéphan: A Possibilistic Inconsistency Handling in Answer Set Programming. ECSQARU 2005: 402-414
24		Pascal Nicolas, Laurent Garcia, Igor Stéphan: Possibilistic Stable Models. IJCAI 2005: 248-253
23		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		Pascal Nicolas, Laurent Garcia, Igor Stéphan: A possibilistic approach to restore consistency in answer set programming. NMR 2004: 306-312
	2002
20		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		Pascal Nicolas, Frédéric Saubion, Igor Stéphan: Genes and Ants for Default Logic. Answer Set Programming 2001
17		Pascal Nicolas, Béatrice Duval: Representation of Incomplete Knowledge by Induction of Default Theories. LPNMR 2001: 160-172
16		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		Pascal Nicolas, Frédéric Saubion, Igor Stéphan: Combining heuristics for default logic reasoning systems. ICTAI 2000: 393-400
12		Pascal Nicolas, Frédéric Saubion, Igor Stéphan: Genetic Algorithms for Extension Search in Default Logic CoRR cs.AI/0002015: (2000)
11		Igor Stéphan, Frédéric Saubion, Pascal Nicolas: Description of GADEL CoRR cs.AI/0003018: (2000)
	1999
10		Béatrice Duval, Pascal Nicolas: Learning Default Theories. ESCQARU 1999: 148-159
9		Farid Benhammadi, Pascal Nicolas, Torsten Schaub: Query-Answering in Prioritized Default Logic. ESCQARU 1999: 32-42
	1998
8		Farid Benhammadi, Pascal Nicolas, Torsten Schaub: Extension Calculus and Query Answering in Prioritized Default Logic. AIMSA 1998: 76-87
7		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

Coauthor Index

1	Farid Benhammadi	[8] [9]
2	Stefan Brüning	[4]
3	Béatrice Duval	[1] [2] [3] [10] [17]
4	Laurent Garcia	[21] [22] [23] [24] [25] [28] [31]
5	Claire Lefèvre	[26] [28] [29] [30]
6	Stéphane Ngoma	[31]
7	Farid Nouioua	[27]
8	Frédéric Saubion	[11] [12] [13] [14] [15] [16] [18] [19] [20]
9	Torsten Schaub	[4] [5] [6] [7] [8] [9]
10	Igor Stéphan	[11] [12] [13] [14] [15] [16] [18] [19] [20] [21] [22] [23] [24] [25] [28]

Colors in the list of coauthors