Pascal Nicolas

Available identifiers

zbMath Open nicolas.pascalMaRDI QIDQ854970

List of research outcomes

Publication	Date of Publication	Type
Logic programming	2024-09-11	Paper
\(\mathsf{XRay}\): a Prolog technology theorem prover for default reasoning: a system description	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	2009-11-10	Paper
From (Quantified) Boolean Formulae to Answer Set Programming	2009-08-24	Paper
Dealing Automatically with Exceptions by Introducing Specificity in ASP	2009-07-02	Paper
Possibilistic uncertainty handling for answer set programming	2006-12-20	Paper
Symbolic and Quantitative Approaches to Reasoning with Uncertainty	2006-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q4708941	2003-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4798006	2003-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4798017	2003-03-18	Paper

Research outcomes over time

This page was built for person: Pascal Nicolas