Using answer set programming for a decision support system

被引：4
|
作者：
Beierle, C [1 ]
Dusso, O
Kern-Isberner, G
机构：
[1] Fern Univ Hagen, Dept Comp Sci, D-58084 Hagen, Germany
[2] Univ Dortmund, Dept Comp Sci, D-44221 Dortmund, Germany
来源：
LOGIC PROGRAMMING AND NONMONOTONIC REASONING | 2005年 / 3662卷
关键词：
D O I：
10.1007/11546207_30
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页码：374 / 378
页数：5
相关论文
共 50 条
  • [1] Answer Set Programming for Legal Decision Support and Explanation
    Dupre, Daniele Theseider
    [J]. LEGAL KNOWLEDGE AND INFORMATION SYSTEMS, 2023, 379 : 383 - 386
  • [2] Symbolic System Synthesis Using Answer Set Programming
    Andres, Benjamin
    Gebser, Martin
    Schaub, Torsten
    Haubelt, Christian
    Reimann, Felix
    Glass, Michael
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), 2013, 8148 : 79 - 91
  • [3] A System for Explainable Answer Set Programming
    Cabalar, Pedro
    Fandinno, Jorge
    Muniz, Brais
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (325): : 124 - 136
  • [4] Using Answer Set Programming to Enhance Operating System Discovery
    Gagnon, Francois
    Esfandiari, Babak
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2009, 5753 : 579 - 584
  • [5] An approach from answer set programming to decision making in a railway interlocking system
    Eugenio Roanes-Lozano
    José Antonio Alonso
    Antonio Hernando
    [J]. Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas, 2014, 108 : 973 - 987
  • [6] An approach from answer set programming to decision making in a railway interlocking system
    Roanes-Lozano, Eugenio
    Antonio Alonso, Jose
    Hernando, Antonio
    [J]. REVISTA DE LA REAL ACADEMIA DE CIENCIAS EXACTAS FISICAS Y NATURALES SERIE A-MATEMATICAS, 2014, 108 (02) : 973 - 987
  • [7] A Method for the Online Construction of the Set of States of a Markov Decision Process Using Answer Set Programming
    Ferreira, Leonardo Anjoletto
    Bianchi, Reinaldo A. C.
    Santos, Paulo E.
    Lopez de Mantaras, Ramon
    [J]. RECENT TRENDS AND FUTURE TECHNOLOGY IN APPLIED INTELLIGENCE, IEA/AIE 2018, 2018, 10868 : 3 - 15
  • [8] Answer set programming and combinatorial multicriteria decision making
    Grabos, Rafal
    [J]. INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, 2006, 14 (04) : 393 - 420
  • [9] Using possibilistic logic for modeling qualitative decision: Answer Set Programming algorithms
    Confalonieri, Roberto
    Prade, Henri
    [J]. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2014, 55 (02) : 711 - 738
  • [10] LPForget: A system of forgetting in answer set programming
    Cheng, Fu-Leung
    Eiter, Thomas
    Robinson, Nathan
    Sattar, Abdul
    Wang, Kewen
    [J]. AI 2006: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4304 : 1101 - +
12345