( 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

 

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

Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks., , и . Intelligenza Artificiale, 2 (3): 21-28 (2005)Improving Query Optimization for Disjunctive Datalog., , и . APPIA-GULP-PRODE, стр. 252-262. (2003)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)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)The Intelligent Grounder of DLV., , и . Correct Reasoning, том 7265 из Lecture Notes in Computer Science, стр. 247-264. Springer, (2012)A Polynomial Reduction from ASPDA to ASP.. RR, том 7497 из Lecture Notes in Computer Science, стр. 213-216. Springer, (2012)Magic Sets and Their Application to Data Integration., , и . ICDT, том 3363 из Lecture Notes in Computer Science, стр. 306-320. Springer, (2005)