( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Intelligent Grounder of DLV.

, , и . Correct Reasoning, том 7265 из Lecture Notes in Computer Science, стр. 247-264. Springer, (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

 

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

Heuristics for Hard ASP Programs., , и . IJCAI, стр. 1562-1563. Professional Book Center, (2005)On Reversing Actions: Algorithms and Complexity., , и . IJCAI, стр. 336-341. (2007)Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming, , , и . CoRR, (2002)Disjunctive Logic Programs with Inheritance., , и . Theory Pract. Log. Program., 2 (3): 293-321 (2002)Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming., , , и . Answer Set Programming, (2001)Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming., , , , и . Answer Set Programming, том 78 из CEUR Workshop Proceedings, CEUR-WS.org, (2003)Universal and Uniform Action Reversibility., , и . KR, стр. 651-654. (2021)Strong Equivalence for Epistemic Logic Programs Made Easy (Extended Version)., , и . CoRR, (2018)Solving Hard ASP Programs Efficiently., и . LPNMR, том 3662 из Lecture Notes in Computer Science, стр. 240-252. Springer, (2005)Testing Strong Equivalence of Datalog Programs - Implementation and Examples., , и . LPNMR, том 3662 из Lecture Notes in Computer Science, стр. 437-441. Springer, (2005)