( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Free Logic for Stable Models with Partial Intensional Functions.

, , , и . JELIA, том 8761 из Lecture Notes in Computer Science, стр. 340-354. Springer, (2014)

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

 

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

Cost-benefit analysis and the environment, , и . OECD, Paris, (2006)Interpolable Formulas in Equilibrium Logic and Answer Set Programming., , и . J. Artif. Intell. Res., (2011)Partial equilibrium logic., , , и . Ann. Math. Artif. Intell., 50 (3-4): 305-331 (2007)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)A Logical Semantics for Description Logic Programs., и . JELIA, том 6341 из Lecture Notes in Computer Science, стр. 156-168. Springer, (2010)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)