( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Infinitary Equilibrium Logic and Strong Equivalence.

, , , и . LPNMR, том 9345 из Lecture Notes in Computer Science, стр. 398-410. Springer, (2015)

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

 

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

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)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)A Tableau Calculus for Equilibrium Entailment., , и . TABLEAUX, том 1847 из Lecture Notes in Computer Science, стр. 352-367. Springer, (2000)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)Cost-benefit analysis and the environment, , и . OECD, Paris, (2006)A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation., , , и . LPNMR, том 4483 из Lecture Notes in Computer Science, стр. 44-57. Springer, (2007)Foundations and Extensions of Answer Set Programming: The Logical Approach.. LPNMR, том 6645 из Lecture Notes in Computer Science, стр. 10-11. Springer, (2011)