( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On Uniform Equivalence of Epistemic Logic Programs.

, , и . Theory Pract. Log. Program., 19 (5-6): 826-840 (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.

Wolfgang Faber

Wolfgang Faber

Wolfgang Faber

Wolfgang Faber

Wolfgang Faber

 

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

Manifold Answer-Set Programs for Meta-reasoning., и . LPNMR, том 5753 из Lecture Notes in Computer Science, стр. 115-128. Springer, (2009)Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity., , и . JELIA, том 3229 из Lecture Notes in Computer Science, стр. 200-212. Springer, (2004)Manifold Answer-Set Programs and Their Applications., и . Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, том 6565 из Lecture Notes in Computer Science, стр. 44-63. Springer, (2011)Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective., и . IJCAI, стр. 2684-2690. AAAI Press, (2015)The dlv System: Model Generator and Advanced Frontends (system description)., , , , , , , , и . WLP, Ludwig Maximilians Universität München, (1997)Algorithm Selection for Paracoherent Answer Set Computation., , , , и . JELIA, том 11468 из Lecture Notes in Computer Science, стр. 479-489. Springer, (2019)The DLV System for Knowledge Representation and Reasoning, , , , , , и . CoRR, (2002)Design and implementation of aggregate functions in the DLV system., , , , и . Theory Pract. Log. Program., 8 (5-6): 545-580 (2008)DLV - A System for Declarative Problem Solving, , , , и . CoRR, (2000)ASP-Core-2 Input Language Format., , , , , , , , , и . Theory Pract. Log. Program., 20 (2): 294-309 (2020)