( en | de | ru )

 

Disambiguation of "Faber, Wolfgang"

Author of the publication

copydeleteadd this publication to your clipboard
Reasoning Web. Semantic Interoperability on the Web - 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures

, , , , , , and (Eds.) volume 10370 of Lecture Notes in Computer Science, Springer, (2017)

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. You can also use the button next to the name to display some publications already assigned to the person.

Wolfgang Faber

Wolfgang Faber

Wolfgang Faber

Wolfgang Faber

Wolfgang Faber

 

Other publications of authors with the same name

Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks., , and . Intelligenza Artificiale, 2 (3): 21-28 (2005)Improving Query Optimization for Disjunctive Datalog., , and . APPIA-GULP-PRODE, page 252-262. (2003)Strong Equivalence for Epistemic Logic Programs Made Easy (Extended Version)., , and . CoRR, (2018)Solving Hard ASP Programs Efficiently., and . LPNMR, volume 3662 of Lecture Notes in Computer Science, page 240-252. Springer, (2005)Testing Strong Equivalence of Datalog Programs - Implementation and Examples., , and . LPNMR, volume 3662 of Lecture Notes in Computer Science, page 437-441. Springer, (2005)Universal and Uniform Action Reversibility., , and . KR, page 651-654. (2021)Normal Form Nested Programs., , and . Fundam. Informaticae, 96 (3): 271-295 (2009)Meta-reasoning over OWL 2 QL using Datalog., and . Datalog, volume 3203 of CEUR Workshop Proceedings, page 181-187. CEUR-WS.org, (2022)The Birth of a WASP: Preliminary Report on a New ASP Solver., , , , , and . CILC, volume 810 of CEUR Workshop Proceedings, page 99-113. CEUR-WS.org, (2011)The Intelligent Grounder of DLV., , and . Correct Reasoning, volume 7265 of Lecture Notes in Computer Science, page 247-264. Springer, (2012)