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 条

[31] Repairing SHACL Constraint Violations Using Answer Set Programming
Ahmetaj, Shqiponja
David, Robert
Polleres, Axel
Simkus, Mantas
SEMANTIC WEB - ISWC 2022, 2022, 13489 : 375 - 391
[32] Answer Set Programming
Schaub, Torsten
Proceedings of the 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012), 2012, : 2 - 2
[33] Answer Set Programming
Janhunen, Tomi
KUNSTLICHE INTELLIGENZ, 2018, 32 (2-3): : 125 - 131
[34] CONSTRAINT LOGIC PROGRAMMING
POUNTAIN, D
BYTE, 1995, 20 (02): : 159 - 160
[35] CONSTRAINT LOGIC PROGRAMMING
LASSEZ, C
BYTE, 1987, 12 (09): : 171 - &
[36] Constraint logic programming
Gavanelli M.
Rossi F.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6125 : 64 - 86
[37] Constraint logic programming
Wallace, Mark
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2002, 2407 : 512 - 532
[38] Constraint logic programming
Wallace, M
COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I: ESSAYS IN HONOUR OF ROBERT A KOWALSKI, 2002, 2407 : 512 - 532
[39] Finding Similar or Diverse Solutions in Answer Set Programming
Eiter, Thomas
Erdem, Esra
Erdogan, Halit
Fink, Michael
LOGIC PROGRAMMING, 2009, 5649 : 342 - +
[40] Solving Advanced Argumentation Problems with Answer Set Programming
Brewka, Gerhard
Diller, Martin
Heissenberger, Georg
Linsbichler, Thomas
Woltran, Stefan
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2020, 20 (03) : 391 - 431

← 1 2 3 4 5 →