Author of the publication

Reasoning with Rules and Ontologies.

, , , , and . Reasoning Web, volume 4126 of Lecture Notes in Computer Science, page 93-127. Springer, (2006)

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.

 

Other publications of authors with the same name

Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic., , and . KR, page 485-495. AAAI Press, (2008)A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur., and . LPNMR, volume 11481 of Lecture Notes in Computer Science, page 163-177. Springer, (2019)Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs., and . JELIA, volume 11468 of Lecture Notes in Computer Science, page 542-558. Springer, (2019)Considerations on Updates of Logic Programs., , , and . JELIA, volume 1919 of Lecture Notes in Computer Science, page 2-20. Springer, (2000)Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence., and . LPNMR, volume 6645 of Lecture Notes in Computer Science, page 254-259. Springer, (2011)Nonmonotonic Description Logic Programs: Implementation and Experiments., , , and . LPAR, volume 3452 of Lecture Notes in Computer Science, page 511-527. Springer, (2004)An Approach for Representing Answer Sets in Natural Language., and . DECLARE, volume 10997 of Lecture Notes in Computer Science, page 115-131. Springer, (2017)Complexity Results for Checking Equivalence of Stratified Logic Programs., , , and . IJCAI, page 330-335. (2007)Annotating answer-set programs in Lana., , , , and . Theory Pract. Log. Program., 12 (4-5): 619-637 (2012)Methods and Methodologies for Developing Answer-Set Programs - Project Description., , and . ICLP (Technical Communications), volume 7 of LIPIcs, page 154-161. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)