( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures

, и (Ред.) том 9203 из Lecture Notes in Computer Science, Springer, (2015)

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

 

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

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)Normal Form Nested Programs., , и . Fundam. Informaticae, 96 (3): 271-295 (2009)Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming, , , и . CoRR, (2002)The Intelligent Grounder of DLV., , и . Correct Reasoning, том 7265 из Lecture Notes in Computer Science, стр. 247-264. Springer, (2012)The Birth of a WASP: Preliminary Report on a New ASP Solver., , , , , и . CILC, том 810 из CEUR Workshop Proceedings, стр. 99-113. CEUR-WS.org, (2011)Meta-reasoning over OWL 2 QL using Datalog., и . Datalog, том 3203 из CEUR Workshop Proceedings, стр. 181-187. CEUR-WS.org, (2022)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)