Using answer set programming for a decision support system

Authors:
Christoph Beierle;Oliver Dusso;Gabriele Kern-Isberner
Affiliations:
Dept. of Computer Science, FernUniversität in Hagen, Hagen, Germany;Dept. of Computer Science, FernUniversität in Hagen, Hagen, Germany;Dept. of Computer Science, University of Dortmund, Dortmund, Germany
Venue:
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Year:
2005

Citing 2
Cited 1

Declarative problem-solving using the DLV system

Logic-based artificial intelligence
Logic programming and knowledge representation-the A-prolog perspective

Artificial Intelligence

Here's the Beef: Answer Set Programming !

ICLP '08 Proceedings of the 24th International Conference on Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

ACMI is a decision support system for the checking of medical invoices in a German health insurance company. We present a brief overview of the system and its implementation in DLV.