( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates.

, , , и . Theory Pract. Log. Program., 18 (3-4): 390-405 (2018)

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

Joachim David

 

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

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)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)Default Logic and Constructive Logic.. ECAI, стр. 309-313. John Wiley and Sons, (1992)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)