Pascal Nicolas

Available identifiers

zbMath Open nicolas.pascalMaRDI QIDQ854970

List of research outcomes

Publication	Date of Publication	Type
XRay: A prolog technology theorem prover for default reasoning: A system description	2019-01-15	Paper
https://portal.mardi4nfdi.de/entity/Q3100242	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pascal Nicolas