Search the dblp DataBase
Pascal Nicolas :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Farid Benhammadi , Pascal Nicolas , Torsten Schaub Extension Calculus and Query Answering in Prioritized Default Logic. [Citation Graph (0, 0)][DBLP ] AIMSA, 1998, pp:76-87 [Conf ] Pascal Nicolas , Claire Lefèvre Possibilistic Stable Model Computing. [Citation Graph (0, 0)][DBLP ] Answer Set Programming, 2005, pp:- [Conf ] Pascal Nicolas , Frédéric Saubion , Igor Stéphan Genes and Ants for Default Logic. [Citation Graph (0, 0)][DBLP ] Answer Set Programming, 2001, pp:- [Conf ] Torsten Schaub , Stefan Brüning , Pascal Nicolas XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description. [Citation Graph (0, 0)][DBLP ] CADE, 1996, pp:293-297 [Conf ] Pascal Nicolas , Laurent Garcia , Igor Stéphan Possibilistic Stable Models. [Citation Graph (0, 0)][DBLP ] Nonmonotonic Reasoning, Answer Set Programming and Constraints, 2005, pp:- [Conf ] Pascal Nicolas , Torsten Schaub The XRay system: An implementation platform for local query-answering in default logics. [Citation Graph (0, 0)][DBLP ] Applications of Uncertainty Formalisms, 1998, pp:354-378 [Conf ] Pascal Nicolas , Frédéric Saubion , Igor Stéphan GADEL: a Genetic Algorithm to Compute Default Logic Extensions. [Citation Graph (0, 0)][DBLP ] ECAI, 2000, pp:484-490 [Conf ] Farid Benhammadi , Pascal Nicolas , Torsten Schaub Query-Answering in Prioritized Default Logic. [Citation Graph (0, 0)][DBLP ] ESCQARU, 1999, pp:32-42 [Conf ] Béatrice Duval , Pascal Nicolas Learning Default Theories. [Citation Graph (0, 0)][DBLP ] ESCQARU, 1999, pp:148-159 [Conf ] Pascal Nicolas , Béatrice Duval A Theorem Prover for Lukaszewicz` Open Default Theory. [Citation Graph (0, 0)][DBLP ] ECSQARU, 1995, pp:311-319 [Conf ] Pascal Nicolas , Laurent Garcia , Igor Stéphan A Possibilistic Inconsistency Handling in Answer Set Programming. [Citation Graph (0, 0)][DBLP ] ECSQARU, 2005, pp:402-414 [Conf ] Pascal Nicolas , Frédéric Saubion , Igor Stéphan Combining heuristics for default logic reasoning systems. [Citation Graph (0, 0)][DBLP ] ICTAI, 2000, pp:393-400 [Conf ] Pascal Nicolas , Laurent Garcia , Igor Stéphan Possibilistic Stable Models. [Citation Graph (0, 0)][DBLP ] IJCAI, 2005, pp:248-253 [Conf ] Torsten Schaub , Pascal Nicolas An Implementation Platform for Query-Answering in Default Logics: Theoretical Underpinnings. [Citation Graph (0, 0)][DBLP ] ISMIS, 1997, pp:197-206 [Conf ] Pascal Nicolas , Frédéric Saubion , Igor Stéphan Answer Set Programming by Ant Colony Optimization. [Citation Graph (0, 0)][DBLP ] JELIA, 2002, pp:481-492 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] JFPLC, 1995, pp:275-289 [Conf ] Pascal Nicolas , Laurent Garcia , Igor Stéphan Programmation par ensembles-réponses possibilistes. [Citation Graph (0, 0)][DBLP ] JFPLC, 2004, pp:- [Conf ] Pascal Nicolas , Frédéric Saubion , Igor Stéphan Optimisation par colonies de fourmis pour la programmation logique étendue. [Citation Graph (0, 0)][DBLP ] JFPLC, 2002, pp:57-0 [Conf ] Torsten Schaub , Pascal Nicolas An Implementation Platform for Query-Answering: X-RAY. [Citation Graph (0, 0)][DBLP ] LPNMR, 1997, pp:442-453 [Conf ] Pascal Nicolas , Béatrice Duval Representation of Incomplete Knowledge by Induction of Default Theories. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:160-172 [Conf ] Pascal Nicolas , Frédéric Saubion , Igor Stéphan New Generation Systems for Non-monotonic Reasoning. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:309-321 [Conf ] Pascal Nicolas , Laurent Garcia , Igor Stéphan A possibilistic approach to restore consistency in answer set programming. [Citation Graph (0, 0)][DBLP ] NMR, 2004, pp:306-312 [Conf ] Pascal Nicolas , Béatrice Duval Lukaszewicz' Default Logic: A Theorem Prover Based on SLD-Resolution for Open Default Theory. [Citation Graph (0, 0)][DBLP ] WOCFAI, 1995, pp:281-293 [Conf ] Pascal Nicolas , Laurent Garcia , Igor Stéphan , Claire Lefèvre Possibilistic uncertainty handling for answer set programming. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2006, v:47, n:1-2, pp:139-181 [Journal ] Pascal Nicolas , Frédéric Saubion , Igor Stéphan Genetic Algorithms for Extension Search in Default Logic [Citation Graph (0, 0)][DBLP ] CoRR, 2000, v:0, n:, pp:- [Journal ] Igor Stéphan , Frédéric Saubion , Pascal Nicolas Description of GADEL [Citation Graph (0, 0)][DBLP ] CoRR, 2000, v:0, n:, pp:- [Journal ] Pascal Nicolas , Frédéric Saubion , Igor Stéphan Heuristics for a Default Logic Reasoning System. [Citation Graph (0, 0)][DBLP ] International Journal on Artificial Intelligence Tools, 2001, v:10, n:4, pp:503-523 [Journal ] Farid Nouioua , Pascal Nicolas Using Answer Set Programming in an Inference-Based approach to Natural Language Semantics [Citation Graph (0, 0)][DBLP ] CoRR, 2006, v:0, n:, pp:- [Journal ] Dealing Automatically with Exceptions by Introducing Specificity in ASP. [Citation Graph (, )][DBLP ] The First Version of a New ASP Solver : ASPeRiX. [Citation Graph (, )][DBLP ] A First Order Forward Chaining Approach for Answer Set Computing. [Citation Graph (, )][DBLP ] A new parallel architecture for QBF tools. [Citation Graph (, )][DBLP ] Search in 0.083secs, Finished in 0.084secs