From post

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

, , и . Nonmonotonic Reasoning, Answer Set Programming and Constraints, том 05171 из 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.

 

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

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