DisLoP: a research project on Disjunctive Logic Programming

被引：0

作者：

Aravindan, C ^{[1
]}

Dix, J ^{[1
]}

Niemela, I ^{[1
]}

机构：

[1] Univ Koblenz, Dept Comp Sci, D-56075 Koblenz, Germany

来源：

AI COMMUNICATIONS | 1997年 / 10卷 / 3-4期

关键词：

Disjunctive Logic Programming; semantics; non-monotonic reasoning;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

This paper gives a brief high-level description of what has been done in the Disjunctive Logic Programming-project (funded by Deutsche Forschungs-Gemeinschaft), undertaken by the University of Koblenz, Germany since July 1995. Presented are the main ideas, the implemented systems and how to access them, and the relevant papers are cited. This paper also serves as a brief survey of the current status of disjunctive logic programming by highlighting important developments and provides enough pointers for further reading.

引用

页码：151 / 165

页数：15

共 50 条

[21] Disjunctive logic programming: A survey and assessment
Minker, J
Seipel, D
[J]. COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I: ESSAYS IN HONOUR OF ROBERT A KOWALSKI, 2002, 2407 : 472 - 511
[22] Partial deduction in disjunctive logic programming
Sakama, C
Seki, H
[J]. JOURNAL OF LOGIC PROGRAMMING, 1997, 32 (03): : 229 - 245
[23] Parametric connectives in Disjunctive Logic Programming
Perri, S
Leone, N
[J]. AI COMMUNICATIONS, 2004, 17 (02) : 63 - 74
[24] First-Order Disjunctive Logic Programming vs Normal Logic Programming
Zhou, Yi
[J]. PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 3292 - 3298
[25] Quantitative Disjunctive Logic Programming: Semantics and computation
Mateis, C
[J]. AI COMMUNICATIONS, 2000, 13 (04) : 225 - 248
[26] DISJUNCTIVE LOGIC PROGRAMMING, CONSTRUCTIVITY AND STRONG NEGATION
HERRE, H
PEARCE, D
[J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 633 : 391 - 410
[27] Pruning operators for disjunctive logic programming systems
Calimeri, Francesco
Faber, Wolfgang
Pfeifer, Gerald
Leone, Nicola
[J]. FUNDAMENTA INFORMATICAE, 2006, 71 (2-3) : 183 - 214
[28] Minimal founded semantics for disjunctive logic programming
Greco, S
[J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1999, 1730 : 221 - 235
[29] Outlier detection using disjunctive logic programming
Angiulli, F
Ben-Eliyahu-Zohary, R
Palopoli, L
[J]. ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 110 : 416 - 419
[30] An abductive framework for negation in disjunctive logic programming
Aravindan, C
[J]. LOGICS IN ARTIFICIAL INTELLIGENCE, 1996, 1126 : 252 - 267

← 1 2 3 4 5 →