Pascal Nicolas

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Logic programming	2024-09-11	Paper
\(\mathsf{XRay}\): a Prolog technology theorem prover for default reasoning: a system description Automated Deduction — Cade-13	2019-01-15	Paper
Integrating grounding in the search process for answer set computing	2011-11-23	Paper
A First Order Forward Chaining Approach for Answer Set Computing Logic Programming and Nonmonotonic Reasoning	2009-11-10	Paper
From (Quantified) Boolean Formulae to Answer Set Programming Journal Of Logic And Computation	2009-08-24	Paper
Dealing Automatically with Exceptions by Introducing Specificity in ASP Lecture Notes in Computer Science	2009-07-02	Paper
Possibilistic uncertainty handling for answer set programming Annals of Mathematics and Artificial Intelligence	2006-12-20	Paper
Symbolic and Quantitative Approaches to Reasoning with Uncertainty Lecture Notes in Computer Science	2006-06-23	Paper
scientific article; zbMATH DE number 1931683 (Why is no real title available?)	2003-06-20	Paper
scientific article; zbMATH DE number 1884388 (Why is no real title available?)	2003-03-18	Paper
scientific article; zbMATH DE number 1884397 (Why is no real title available?)	2003-03-18	Paper

Research outcomes over time

This page was built for person: Pascal Nicolas