Pascal Nicolas

Publication Activity (10 Years)

Years Active: 1995-2010
Publications (10 Years): 0

Publications

Caroline Devred, Sylvie Doutre, Claire Lefèvre, Pascal Nicolas
Dialectical Proofs for Constrained Argumentation. COMMA (2010)
Benoit Da Mota, Pascal Nicolas, Igor Stéphan
A new parallel architecture for QBF tools. HPCS (2010)
Claire Lefèvre, Pascal Nicolas
The First Version of a New ASP Solver : ASPeRiX. LPNMR (2009)
Igor Stéphan, Benoit Da Mota, Pascal Nicolas
From (Quantified) Boolean Formulae to Answer Set Programming. J. Log. Comput. 19 (4) (2009)
Laurent Garcia, Stéphane Ngoma, Pascal Nicolas
Dealing Automatically with Exceptions by Introducing Specificity in ASP. ECSQARU (2009)
Claire Lefèvre, Pascal Nicolas
A First Order Forward Chaining Approach for Answer Set Computing. LPNMR (2009)
Farid Nouioua, Pascal Nicolas
Using Answer Set Programming in an Inference-Based approach to Natural Language Semantics CoRR (2006)
Pascal Nicolas, Laurent Garcia, Igor Stéphan, Claire Lefèvre
Possibilistic uncertainty handling for answer set programming. Ann. Math. Artif. Intell. 47 (1-2) (2006)
Mathieu Feuilloy, Daniel Schang, Pascal Nicolas
A quick low cost method for syncope prediction. EUSIPCO (2006)
Mathieu Feuilloy, Daniel Schang, Pascal Nicolas
Comparison of Feature Selection Methods for Syncope Prediction. IEEE Congress on Evolutionary Computation (2006)
Pascal Nicolas, Claire Lefèvre
Possibilistic Stable Model Computing. Answer Set Programming (2005)
Pascal Nicolas, Laurent Garcia, Igor Stéphan
A Possibilistic Inconsistency Handling in Answer Set Programming. ECSQARU (2005)
Pascal Nicolas, Laurent Garcia, Igor Stéphan
Possibilistic Stable Models. Nonmonotonic Reasoning, Answer Set Programming and Constraints (2005)
Pascal Nicolas, Laurent Garcia, Igor Stéphan
Possibilistic Stable Models. IJCAI (2005)
Mathieu Feuilloy, Daniel Schang, Pascal Nicolas, Jacques Olivier Fortrat, Jacques Victor
Dimension reduction methods for the early syncope prediction by artificial neural networks. ISSPA (2005)
Pascal Nicolas, Laurent Garcia, Igor Stéphan
A possibilistic approach to restore consistency in answer set programming. NMR (2004)
Pascal Nicolas, Laurent Garcia, Igor Stéphan
Programmation par ensembles-réponses possibilistes. JFPLC (2004)
Pascal Nicolas, Frédéric Saubion, Igor Stéphan
Answer Set Programming by Ant Colony Optimization. JELIA (2002)
Pascal Nicolas, Frédéric Saubion, Igor Stéphan
Optimisation par colonies de fourmis pour la programmation logique étendue. JFPLC (2002)
Pascal Nicolas, Frédéric Saubion, Igor Stéphan
Genes and Ants for Default Logic. Answer Set Programming (2001)
Pascal Nicolas, Frédéric Saubion, Igor Stéphan
New Generation Systems for Non-monotonic Reasoning. LPNMR (2001)
Pascal Nicolas, Frédéric Saubion, Igor Stéphan
Heuristics for a Default Logic Reasoning System. Int. J. Artif. Intell. Tools 10 (4) (2001)
Pascal Nicolas, Béatrice Duval
Representation of Incomplete Knowledge by Induction of Default Theories. LPNMR (2001)
Pascal Nicolas, Frédéric Saubion, Igor Stéphan
Genetic Algorithms for Extension Search in Default Logic CoRR (2000)
Pascal Nicolas, Frédéric Saubion, Igor Stéphan
GADEL: a Genetic Algorithm to Compute Default Logic Extensions. ECAI (2000)
Igor Stéphan, Frédéric Saubion, Pascal Nicolas
Description of GADEL CoRR (2000)
Pascal Nicolas, Frédéric Saubion, Igor Stéphan
Combining heuristics for default logic reasoning systems. ICTAI (2000)
Béatrice Duval, Pascal Nicolas
Learning Default Theories. ESCQARU (1999)
Farid Benhammadi, Pascal Nicolas, Torsten Schaub
Query-Answering in Prioritized Default Logic. ESCQARU (1999)
Farid Benhammadi, Pascal Nicolas, Torsten Schaub
Extension Calculus and Query Answering in Prioritized Default Logic. AIMSA (1998)
Pascal Nicolas, Torsten Schaub
The XRay system: An implementation platform for local query-answering in default logics. Applications of Uncertainty Formalisms (1998)
Torsten Schaub, Pascal Nicolas
An Implementation Platform for Query-Answering: X-RAY. LPNMR (1997)
Torsten Schaub, Pascal Nicolas
An Implementation Platform for Query-Answering in Default Logics: Theoretical Underpinnings. ISMIS (1997)
Torsten Schaub, Stefan Brüning, Pascal Nicolas
XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description. CADE (1996)
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)
Pascal Nicolas, Béatrice Duval
Lukaszewicz' Default Logic: A Theorem Prover Based on SLD-Resolution for Open Default Theory. WOCFAI (1995)
Pascal Nicolas, Béatrice Duval
A Theorem Prover for Lukaszewicz' Open Default Theory. ECSQARU (1995)