%0 Conference Paper %1 conf/dagstuhl/Kern-IsbernerBD05 %A Kern-Isberner, Gabriele %A Beierle, Christoph %A Dusso, Oliver %B Nonmonotonic Reasoning, Answer Set Programming and Constraints %D 2005 %E Brewka, Gerhard %E Niemelä, Ilkka %E Schaub, Torsten %E Truszczynski, Miroslaw %I Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany %K %T Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P5171.html#Kern-IsbernerBD05 %V 05171

@inproceedings{conf/dagstuhl/Kern-IsbernerBD05, added-at = {2023-12-13T03:07:25.000+0100}, author = {Kern-Isberner, Gabriele and Beierle, Christoph and Dusso, Oliver}, biburl = {https://www.bibsonomy.org/bibtex/253a459c96f3461bf27bc0fff40fbebb7/admin}, booktitle = {Nonmonotonic Reasoning, Answer Set Programming and Constraints}, crossref = {conf/dagstuhl/2005P5171}, editor = {Brewka, Gerhard and Niemelä, Ilkka and Schaub, Torsten and Truszczynski, Miroslaw}, ee = {http://drops.dagstuhl.de/opus/volltexte/2005/261}, interhash = {87c3848cca15b8c4547f51b8d1c7fa03}, intrahash = {53a459c96f3461bf27bc0fff40fbebb7}, keywords = {}, publisher = {Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2023-12-13T03:07:25.000+0100}, title = {Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P5171.html#Kern-IsbernerBD05}, volume = 05171, year = 2005 }