( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On look-ahead heuristics in disjunctive logic programming.

, , , и . Ann. Math. Artif. Intell., 51 (2-4): 229-266 (2007)

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

 

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

Strong Equivalence of Qualitative Optimization Problems, , и . CoRR, (2011)Complexity of super-coherence problems in ASP, , и . CoRR, (2012)Manifold Answer-Set Programs and Their Applications., и . Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, том 6565 из Lecture Notes in Computer Science, стр. 44-63. Springer, (2011)Manifold Answer-Set Programs for Meta-reasoning., и . LPNMR, том 5753 из Lecture Notes in Computer Science, стр. 115-128. Springer, (2009)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)Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers., , и . PADL, том 13165 из Lecture Notes in Computer Science, стр. 42-56. Springer, (2022)Dynamic Magic Sets and super-coherent answer set programs., и . AI Commun., 24 (2): 125-145 (2011)Thirty years of Epistemic Specifications., , и . Theory Pract. Log. Program., 22 (6): 1043-1083 (2022)ASP-Core-2 Input Language Format., , , , , , , , , и . Theory Pract. Log. Program., 20 (2): 294-309 (2020)