( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Query-Answering in Prioritized Default Logic.

, , и . ESCQARU, том 1638 из Lecture Notes in Computer Science, стр. 32-42. Springer, (1999)

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.

Nicolas Jeanvoine

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

Pascal Vogel

Pascal Schneider

Pascal Siegers

Pascal Häller

 

Другие публикации лиц с тем же именем

Dealing Automatically with Exceptions by Introducing Specificity in ASP., , и . ECSQARU, том 5590 из Lecture Notes in Computer Science, стр. 614-625. Springer, (2009)Lukaszewicz' Default Logic: A Theorem Prover Based on SLD-Resolution for Open Default Theory., и . WOCFAI, стр. 281-293. Angkor, 6, rue Maître-Albert, 75005 Paris, France, (1995)Possibilistic Stable Model Computing., и . Answer Set Programming, том 142 из CEUR Workshop Proceedings, CEUR-WS.org, (2005)Learning Default Theories., и . ESCQARU, том 1638 из Lecture Notes in Computer Science, стр. 148-159. Springer, (1999)A Theorem Prover for Lukaszewicz' Open Default Theory., и . ECSQARU, том 946 из Lecture Notes in Computer Science, стр. 311-319. Springer, (1995)GADEL: a Genetic Algorithm to Compute Default Logic Extensions., , и . ECAI, стр. 484-490. IOS Press, (2000)A possibilistic approach to restore consistency in answer set programming., , и . NMR, стр. 306-312. (2004)A new parallel architecture for QBF tools., , и . HPCS, стр. 324-330. IEEE, (2010)From (Quantified) Boolean Formulae to Answer Set Programming, , и . J Logic Computation, 19 (4): 565--590 (01.08.2009)A Possibilistic Inconsistency Handling in Answer Set Programming., , и . ECSQARU, том 3571 из Lecture Notes in Computer Science, стр. 402-414. Springer, (2005)