Gabriele Kern-Isberner, Christoph Beierle, Oliver Dusso. Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV. In Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, editors, Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29. April 2005. Volume 05171 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2005. [doi]
Abstract is missing.