An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems

被引：18
|
作者：
Dovier, Agostino [2 ]
Formisano, Andrea [3 ]
Pontelli, Enrico [1 ]
机构：
[1] New Mexico State Univ, Dept Comp Sci, Las Cruces, NM 88003 USA
[2] Univ Udine, Dipartimento Matemat & Informat, I-33100 Udine, Italy
[3] Univ Perugia, Dipartimento Matemat & Informat, I-06123 Perugia, Italy
来源：
JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE | 2009年 / 21卷 / 02期
基金：
美国国家科学基金会;
关键词：
logic programming; combinatorial problems; constraint solving;
D O I：
10.1080/09528130701538174
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper presents experimental comparisons between the declarative encodings of various computationally hard problems in Answer Set Programming (ASP) and Constraint Logic Programming over Finite Domains (CLP(FD)). The objective is to investigate how solvers in the two domains respond to different problems, highlighting the strengths and weaknesses of their implementations, and suggesting criteria for choosing one approach over the other. Ultimately, the work in this paper is expected to lay the foundations for a transfer of technology between the two domains, for example by suggesting ways to use CLP(FD) in the execution of ASP.
引用
收藏
页码：79 / 121
页数：43
相关论文
共 50 条
  • [1] Integrating answer set programming and constraint logic programming
    Mellarkod, Veena S.
    Gelfond, Michael
    Zhang, Yuanlin
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2008, 53 (1-4) : 251 - 287
  • [2] Integrating answer set programming and constraint logic programming
    Veena S. Mellarkod
    Michael Gelfond
    Yuanlin Zhang
    Annals of Mathematics and Artificial Intelligence, 2008, 53 : 251 - 287
  • [3] Fuzzy constraint logic programming with answer set semantics
    Wang, Jie
    Liu, Chunnian
    KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, 2007, 4798 : 52 - +
  • [4] Heuristic Constraint Answer Set Programming
    Teppan, Erich C.
    Friedrich, Gerhard
    ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 1692 - 1693
  • [5] CONSTRAINT ANSWER SET PROGRAMMING SYSTEMS
    Drescher, Christian
    TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10), 2010, 7 : 255 - 264
  • [6] Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis
    Yamada, Yuya
    Banbara, Mutsunori
    Inoue, Katsumi
    Schaub, Torsten
    Uehara, Ryuhei
    WALCOM: ALGORITHMS AND COMPUTATION, WALCOM 2024, 2024, 14549 : 242 - 256
  • [7] Logic programming for combinatorial problems
    Toshinori Munakata
    Roman Barták
    Artificial Intelligence Review, 2010, 33 : 135 - 150
  • [8] Logic programming for combinatorial problems
    Munakata, Toshinori
    Bartak, Roman
    ARTIFICIAL INTELLIGENCE REVIEW, 2010, 33 (1-2) : 135 - 150
  • [9] Answer set programming in intuitionistic logic
    Schubert, Aleksy
    Urzyczyn, Pawel
    INDAGATIONES MATHEMATICAE-NEW SERIES, 2018, 29 (01): : 276 - 292
  • [10] Predicate answer set programming via coinductive logic programming
    Min, Richard
    Bansal, Ajay
    Gupta, Gopal
    ENGINEERING INTELLIGENT SYSTEMS FOR ELECTRICAL ENGINEERING AND COMMUNICATIONS, 2009, 17 (2-3): : 105 - 114
12345