From post

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.

 

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

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)A Tableau Calculus for Equilibrium Entailment., , и . TABLEAUX, том 1847 из Lecture Notes in Computer Science, стр. 352-367. Springer, (2000)Simplifying Logic Programs Under Answer Set Semantics.. ICLP, том 3132 из Lecture Notes in Computer Science, стр. 210-224. Springer, (2004)Disjunctive Logic Programming, Constructivity and Strong Negation., и . JELIA, том 633 из Lecture Notes in Computer Science, стр. 391-410. Springer, (1992)Interpolable Formulas in Equilibrium Logic and Answer Set Programming., , и . J. Artif. Intell. Res., (2011)Foundations and Extensions of Answer Set Programming: The Logical Approach.. LPNMR, том 6645 из Lecture Notes in Computer Science, стр. 10-11. Springer, (2011)Routley Semantics for Answer Sets., и . LPNMR, том 3662 из Lecture Notes in Computer Science, стр. 343-355. Springer, (2005)A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation., , , и . LPNMR, том 4483 из Lecture Notes in Computer Science, стр. 44-57. Springer, (2007)