Pascal Nicolas

According to our database, Pascal Nicolas authored at least 37 papers between 1995 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Logic Programming.

Arnaud Lallouet, Yves Moinard, Pascal Nicolas, Igor Stéphan

Proceedings of the A Guided Tour of Artificial Intelligence Research: Volume II: AI Algorithms, 2020

2010

A new parallel architecture for QBF tools.

Benoit Da Mota, Pascal Nicolas, Igor Stéphan

Proceedings of the 2010 International Conference on High Performance Computing & Simulation, 2010

Dialectical Proofs for Constrained Argumentation.

Caroline Devred, Sylvie Doutre, Claire Lefèvre, Pascal Nicolas

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

2009

From (Quantified) Boolean Formulae to Answer Set Programming.

Igor Stéphan, Benoit Da Mota, Pascal Nicolas

J. Log. Comput., 2009

The First Version of a New ASP Solver : ASPeRiX.

Claire Lefèvre, Pascal Nicolas

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

A First Order Forward Chaining Approach for Answer Set Computing.

Claire Lefèvre, Pascal Nicolas

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Dealing Automatically with Exceptions by Introducing Specificity in ASP.

Laurent Garcia, Stéphane Ngoma, Pascal Nicolas

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

2006

Using Answer Set Programming in an Inference-Based approach to Natural Language Semantics

Farid Nouioua, Pascal Nicolas

CoRR, 2006

Possibilistic uncertainty handling for answer set programming.

Pascal Nicolas, Laurent Garcia, Igor Stéphan, Claire Lefèvre

Ann. Math. Artif. Intell., 2006

A quick low cost method for syncope prediction.

Mathieu Feuilloy, Daniel Schang, Pascal Nicolas

Proceedings of the 14th European Signal Processing Conference, 2006

Comparison of Feature Selection Methods for Syncope Prediction.

Mathieu Feuilloy, Daniel Schang, Pascal Nicolas

Proceedings of the IEEE International Conference on Evolutionary Computation, 2006

2005

Dimension reduction methods for the early syncope prediction by artificial neural networks.

Mathieu Feuilloy, Daniel Schang, Pascal Nicolas, Jacques Olivier Fortrat, Jacques Victor

Proceedings of the Eighth International Symposium on Signal Processing and Its Applications, 2005

Possibilistic Stable Models.

Pascal Nicolas, Laurent Garcia, Igor Stéphan

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

A Possibilistic Inconsistency Handling in Answer Set Programming.

Pascal Nicolas, Laurent Garcia, Igor Stéphan

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

Possibilistic Stable Model Computing.

Pascal Nicolas, Claire Lefèvre

Proceedings of the Answer Set Programming, 2005

2004

A possibilistic approach to restore consistency in answer set programming.

Pascal Nicolas, Laurent Garcia, Igor Stéphan

Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Programmation par ensembles-réponses possibilistes.

Pascal Nicolas, Laurent Garcia, Igor Stéphan

Proceedings of the Programmation en logique avec contraintes, 2004

2002

Optimisation par colonies de fourmis pour la programmation logique étendue.

Pascal Nicolas, Frédéric Saubion, Igor Stéphan

Proceedings of the Programmation en logique avec contraintes, 2002

Answer Set Programming by Ant Colony Optimization.

Pascal Nicolas, Frédéric Saubion, Igor Stéphan

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001

Heuristics for a Default Logic Reasoning System.

Pascal Nicolas, Frédéric Saubion, Igor Stéphan

Int. J. Artif. Intell. Tools, 2001

New Generation Systems for Non-monotonic Reasoning.

Pascal Nicolas, Frédéric Saubion, Igor Stéphan

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Representation of Incomplete Knowledge by Induction of Default Theories.

Pascal Nicolas, Béatrice Duval

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Genes and Ants for Default Logic.

Pascal Nicolas, Frédéric Saubion, Igor Stéphan

Proceedings of the Answer Set Programming, 2001

2000

Description of GADEL

Igor Stéphan, Frédéric Saubion, Pascal Nicolas

CoRR, 2000

Genetic Algorithms for Extension Search in Default Logic

Pascal Nicolas, Frédéric Saubion, Igor Stéphan

CoRR, 2000

Combining heuristics for default logic reasoning systems.

Pascal Nicolas, Frédéric Saubion, Igor Stéphan

Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 2000

GADEL: a Genetic Algorithm to Compute Default Logic Extensions.

Pascal Nicolas, Frédéric Saubion, Igor Stéphan

Proceedings of the ECAI 2000, 2000

1999

Learning Default Theories.

Béatrice Duval, Pascal Nicolas

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1999

Query-Answering in Prioritized Default Logic.

Farid Benhammadi, Pascal Nicolas, Torsten Schaub

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1999

1998

The XRay system: An implementation platform for local query-answering in default logics.

Pascal Nicolas, Torsten Schaub

Proceedings of the Applications of Uncertainty Formalisms, 1998

Extension Calculus and Query Answering in Prioritized Default Logic.

Farid Benhammadi, Pascal Nicolas, Torsten Schaub

Proceedings of the Artificial Intelligence: Methodology, 1998

1997

An Implementation Platform for Query-Answering: X-RAY.

Torsten Schaub, Pascal Nicolas

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

An Implementation Platform for Query-Answering in Default Logics: Theoretical Underpinnings.

Torsten Schaub, Pascal Nicolas

Proceedings of the Foundations of Intelligent Systems, 10th International Symposium, 1997

1996

XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description.

Torsten Schaub, Stefan Brüning, Pascal Nicolas

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995

Lukaszewicz' Default Logic: A Theorem Prover Based on SLD-Resolution for Open Default Theory.

Pascal Nicolas, Béatrice Duval

Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995

Logique des défauts de Lukaszewicz : un démonstrateur basé sur la SLD-résolution pour les théories ouvertes.

Pascal Nicolas, Béatrice Duval

Proceedings of the JFPLC'95, 1995

A Theorem Prover for Lukaszewicz' Open Default Theory.

Pascal Nicolas, Béatrice Duval

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995