( en | de | ru )

 

Disambiguation of "Nicolas, Pascal"

Author of the publication

copydeleteadd this publication to your clipboard
Extension Calculus and Query Answering in Prioritized Default Logic.

, , and . AIMSA, volume 1480 of Lecture Notes in Computer Science, page 76-87. Springer, (1998)

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 Vogel

Pascal Häller

Pascal Schneider

Pascal Siegers

 

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)Optimisation par colonies de fourmis pour la programmation logique étendue., , and . JFPLC, page 57-. (2002)Possibilistic uncertainty handling for answer set programming., , , and . Ann. Math. Artif. Intell., 47 (1-2): 139-181 (2006)The First Version of a New ASP Solver : ASPeRiX., and . LPNMR, volume 5753 of Lecture Notes in Computer Science, page 522-527. Springer, (2009)New Generation Systems for Non-monotonic Reasoning., , and . LPNMR, volume 2173 of Lecture Notes in Computer Science, page 309-321. Springer, (2001)Description of GADEL, , and . CoRR, (2000)Genetic Algorithms for Extension Search in Default Logic, , and . CoRR, (2000)Heuristics for a Default Logic Reasoning System., , and . Int. J. Artif. Intell. Tools, 10 (4): 503-523 (2001)