The ASP System DLV: Advancements and Applications

被引：31

作者：

Adrian, Weronika T. ^{[1
]}

Alviano, Mario ^{[1
]}

Calimeri, Francesco ^{[1
]}

Cuteri, Bernardo ^{[1
]}

Dodaro, Carmine ^{[2
]}

Faber, Wolfgang ^{[3
]}

Fusca, Davide ^{[1
]}

Leone, Nicola ^{[1
]}

Manna, Marco ^{[1
]}

Perri, Simona ^{[1
]}

Ricca, Francesco ^{[1
]}

Veltri, Pierfrancesco ^{[4
]}

Zangari, Jessica ^{[1
]}

机构：

[1] Univ Calabria, Arcavacata Di Rende, Italy

[2] Univ Genoa, Genoa, Italy

[3] Univ Huddersfield, Huddersfield, W Yorkshire, England

[4] DLVSystem Srl, Arcavacata Di Rende, Italy

来源：

KUNSTLICHE INTELLIGENZ | 2018年 / 32卷 / 2-3期

关键词：

Answer set programming; KRR; Artificial intelligence; Implementations; Applications;

D O I：

10.1007/s13218-018-0533-0

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We briefly describe the answer set programming system DLV, focusing on some of its peculiar features and mentioning a number of successful applications.

引用

页码：177 / 179

页数：3

共 13 条

[1]

Alviano Mario, 2015, Logic Programming and Nonmonotonic Reasoning. 13th International Conference, LPNMR 2015. Proceedings: LNCS 9345, P40, DOI 10.1007/978-3-319-23264-5_5

[2] The ASP System DLV2 [J].

Alviano, Mario ;

Calimeri, Francesco ;

Dodaro, Carmine ;

Fusca, Davide ;

Leone, Nicola ;

Perri, Simona ;

Ricca, Francesco ;

Veltri, Pierfrancesco ;

Zangari, Jessica .

LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, 2017, 10377 :215-221

[3] Answer Set Programming at a Glance [J].

Brewka, Gerhard ;

Eiter, Thomas ;

Truszczynski, Miroslaw .

COMMUNICATIONS OF THE ACM, 2011, 54 (12) :92-103

[4]

Calimeri F, 2017, INTELL ARTIF, V11, P5, DOI 10.3233/IA-170104

[5] Computable Functions in ASP: Theory and Implementation [J].

Calimeri, Francesco ;

Cozza, Susanna ;

Lanni, Giovambattista ;

Leone, Nicola .

LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 :407-424

[6] Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) [J].

Dodaro, Carmine ;

Gasteiger, Philip ;

Leone, Nicola ;

Musitsch, Benjamin ;

Ricca, Francesco ;

Shchekotykhin, Kostyantyn .

THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2016, 16 :653-669

[7] Applications of Answer Set Programming [J].

Erdem, Esra ;

Gelfond, Michael ;

Leone, Nicola .

AI MAGAZINE, 2016, 37 (03) :53-68

[8]

Febbraro O., 2012, P 13 INT C PRINC KNO, P541

[9]

Febbraro O, 2011, LECT NOTES ARTIF INT, V6645, P317

[10] A Framework for Easing the Development of Applications Embedding Answer Set Programming [J].

Fusca, Davide ;

Germano, Stefano ;

Zangari, Jessica ;

Anastasio, Marco ;

Calimeri, Francesco ;

Perri, Simona .

PROCEEDINGS OF THE 18TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2016), 2016, :38-49

← 1 2 →