Author of the publication

Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV.

, , and . Nonmonotonic Reasoning, Answer Set Programming and Constraints, volume 05171 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)

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

Editorial., and . Logic Journal of the IGPL, 14 (3): 409-411 (2006)Interpreting a contingency table by rules., and . Int. J. Intell. Syst., 11 (6): 327-346 (1996)What kind of independence do we need for multiple iterated belief change?, and . J. Appl. Log., (2017)Rational Inference Patterns., , and . PRICAI (1), volume 11670 of Lecture Notes in Computer Science, page 405-417. Springer, (2019)Belief Change Properties of Forgetting Operations over Ranking Functions., , , and . PRICAI (1), volume 11670 of Lecture Notes in Computer Science, page 459-472. Springer, (2019)Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 4. Auflage., and . Vieweg, (2008)Structural Inference from Conditional Knowledge Bases., and . Stud Logica, 102 (4): 751-769 (2014)Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management., , , , and . Künstliche Intell., 33 (1): 57-68 (2019)Self Learning or How to Make a Knowledge Base Curious about Itself., and . KI, volume 2821 of Lecture Notes in Computer Science, page 465-474. Springer, (2003)A Conditional-Logical Approach to Minimum Cross-Entropy.. STACS, volume 1200 of Lecture Notes in Computer Science, page 237-248. Springer, (1997)