( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Magic Sets for disjunctive Datalog programs.

, , , и . Artif. Intell., (2012)

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

 

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

Algorithm Selection for Paracoherent Answer Set Computation., , , , и . JELIA, том 11468 из Lecture Notes in Computer Science, стр. 479-489. Springer, (2019)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)Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers., , и . PADL, том 13165 из Lecture Notes in Computer Science, стр. 42-56. Springer, (2022)DLV - A System for Declarative Problem Solving, , , , и . CoRR, (2000)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)Dynamic Magic Sets and super-coherent answer set programs., и . AI Commun., 24 (2): 125-145 (2011)The Diagnosis Frontend of the dlv System., , , и . AI Commun., 12 (1-2): 99-111 (1999)Answer Set Programming., , и . Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., (2008)