Pascal Nicolas

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

2010
A new parallel architecture for QBF tools.
Proceedings of the 2010 International Conference on High Performance Computing & Simulation, 2010

Dialectical Proofs for Constrained Argumentation.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

2009
From (Quantified) Boolean Formulae to Answer Set Programming.
J. Log. Comput., 2009

The First Version of a New ASP Solver : ASPeRiX.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

A First Order Forward Chaining Approach for Answer Set Computing.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Dealing Automatically with Exceptions by Introducing Specificity in ASP.
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
CoRR, 2006

Possibilistic uncertainty handling for answer set programming.
Ann. Math. Artif. Intell., 2006

A quick low cost method for syncope prediction.
Proceedings of the 14th European Signal Processing Conference, 2006

Comparison of Feature Selection Methods for Syncope Prediction.
Proceedings of the IEEE International Conference on Evolutionary Computation, 2006

2005
Dimension reduction methods for the early syncope prediction by artificial neural networks.
Proceedings of the Eighth International Symposium on Signal Processing and Its Applications, 2005

Possibilistic Stable Models.
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.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

Possibilistic Stable Model Computing.
Proceedings of the Answer Set Programming, 2005

2004
A possibilistic approach to restore consistency in answer set programming.
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Programmation par ensembles-réponses possibilistes.
Proceedings of the Programmation en logique avec contraintes, 2004

2002
Optimisation par colonies de fourmis pour la programmation logique étendue.
Proceedings of the Programmation en logique avec contraintes, 2002

Answer Set Programming by Ant Colony Optimization.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001
Heuristics for a Default Logic Reasoning System.
Int. J. Artif. Intell. Tools, 2001

New Generation Systems for Non-monotonic Reasoning.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Representation of Incomplete Knowledge by Induction of Default Theories.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Genes and Ants for Default Logic.
Proceedings of the Answer Set Programming, 2001

2000
Description of GADEL
CoRR, 2000

Genetic Algorithms for Extension Search in Default Logic
CoRR, 2000

Combining heuristics for default logic reasoning systems.
Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 2000

GADEL: a Genetic Algorithm to Compute Default Logic Extensions.
Proceedings of the ECAI 2000, 2000

1999
Learning Default Theories.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1999

Query-Answering in Prioritized Default Logic.
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.
Proceedings of the Applications of Uncertainty Formalisms, 1998

Extension Calculus and Query Answering in Prioritized Default Logic.
Proceedings of the Artificial Intelligence: Methodology, 1998

1997
An Implementation Platform for Query-Answering: X-RAY.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

An Implementation Platform for Query-Answering in Default Logics: Theoretical Underpinnings.
Proceedings of the Foundations of Intelligent Systems, 10th International Symposium, 1997

1996
XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description.
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.
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.
Proceedings of the JFPLC'95, 1995

A Theorem Prover for Lukaszewicz' Open Default Theory.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995


  Loading...