( en | de | ru )

 

Disambiguation of "Nicolas, Pascal"

Author of the publication

copydeleteadd this publication to your clipboard
XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description.

, , and . CADE, volume 1104 of Lecture Notes in Computer Science, page 293-297. Springer, (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nicolas Jeanvoine

Plasma-material interaction and electrode degradation in high voltage ignition discharges. Uni Saarbrücken, (2009)

Pascal Maubach

Pascal Vetterlein

Pascal Bastian

Pascal Bihler

 

Other publications of authors with the same name

Dealing Automatically with Exceptions by Introducing Specificity in ASP., , and . ECSQARU, volume 5590 of Lecture Notes in Computer Science, page 614-625. Springer, (2009)Lukaszewicz' Default Logic: A Theorem Prover Based on SLD-Resolution for Open Default Theory., and . WOCFAI, page 281-293. Angkor, 6, rue Maître-Albert, 75005 Paris, France, (1995)Possibilistic Stable Model Computing., and . Answer Set Programming, volume 142 of CEUR Workshop Proceedings, CEUR-WS.org, (2005)Possibilistic Stable Models., , and . Nonmonotonic Reasoning, Answer Set Programming and Constraints, volume 05171 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)A Possibilistic Inconsistency Handling in Answer Set Programming., , and . ECSQARU, volume 3571 of Lecture Notes in Computer Science, page 402-414. Springer, (2005)Logique des défauts de Lukaszewicz : un démonstrateur basé sur la SLD-résolution pour les théories ouvertes., and . JFPLC, page 275-289. (1995)From (Quantified) Boolean Formulae to Answer Set Programming, , and . J Logic Computation, 19 (4): 565--590 (Aug 1, 2009)Answer Set Programming by Ant Colony Optimization., , and . JELIA, volume 2424 of Lecture Notes in Computer Science, page 481-492. Springer, (2002)Representation of Incomplete Knowledge by Induction of Default Theories., and . LPNMR, volume 2173 of Lecture Notes in Computer Science, page 160-172. Springer, (2001)Logic Programming., , , and . A Guided Tour of Artificial Intelligence Research (2) (II), Springer, (2020)