( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Default Logic and Constructive Logic.

. ECAI, стр. 309-313. John Wiley and Sons, (1992)

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.

Danny Pearce

Olinkha Gustafson-Pearce

Erich David

Ernst David

Baruch Davidoff

 

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

Simplifying Logic Programs Under Answer Set Semantics.. ICLP, том 3132 из Lecture Notes in Computer Science, стр. 210-224. Springer, (2004)A Tableau Calculus for Equilibrium Entailment., , и . TABLEAUX, том 1847 из Lecture Notes in Computer Science, стр. 352-367. Springer, (2000)Interpolable Formulas in Equilibrium Logic and Answer Set Programming., , и . J. Artif. Intell. Res., (2011)Default Logic and Constructive Logic.. ECAI, стр. 309-313. John Wiley and Sons, (1992)Equilibrium Logic: An Extension of Answer Set Programming for Nonmonotonic Reasoning.. WLP, том 90 из GMD Report, стр. 17. (2000)The ETSI extended distributed speech recognition (DSR) standards: client side processing and tonal language recognition evaluation., , , , , , , и . ICASSP (1), стр. 129-132. IEEE, (2004)Disjunctive Logic Programming, Constructivity and Strong Negation., и . JELIA, том 633 из Lecture Notes in Computer Science, стр. 391-410. Springer, (1992)Partial equilibrium logic., , , и . Ann. Math. Artif. Intell., 50 (3-4): 305-331 (2007)A Logical Semantics for Description Logic Programs., и . JELIA, том 6341 из Lecture Notes in Computer Science, стр. 156-168. Springer, (2010)A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation., , , и . LPNMR, том 4483 из Lecture Notes in Computer Science, стр. 44-57. Springer, (2007)