( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Forgetting auxiliary atoms in forks.

, , , , , и . Artif. Intell., (2019)

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

Wahyudi David

Florian Bodo David

Jens-Ulrich Davids

 

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

Interpolable Formulas in Equilibrium Logic and Answer Set Programming., , и . J. Artif. Intell. Res., (2011)The ETSI extended distributed speech recognition (DSR) standards: client side processing and tonal language recognition evaluation., , , , , , , и . ICASSP (1), стр. 129-132. IEEE, (2004)Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning., и . JELIA, том 3229 из Lecture Notes in Computer Science, стр. 147-160. Springer, (2004)A Logical Semantics for Description Logic Programs., и . JELIA, том 6341 из Lecture Notes in Computer Science, стр. 156-168. Springer, (2010)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)Nonmonotonicity and Answer Set Inference.. LPNMR, том 928 из Lecture Notes in Computer Science, стр. 372-387. Springer, (1995)Answer Sets and Nonmonotonic S4.. ELP, том 798 из Lecture Notes in Computer Science, стр. 255-267. Springer, (1993)Simplifying Logic Programs Under Answer Set Semantics.. ICLP, том 3132 из Lecture Notes in Computer Science, стр. 210-224. Springer, (2004)