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 条

[1] DisLoP: Towards a disjunctive logic programming system
Aravindan, C
Dix, J
Niemela, I
[J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1997, 1265 : 341 - 352
[2] Disjunctive linear programming: At the intersection of operations research and logic programming
McAloon, K
[J]. LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, 1998, : 5 - 6
[3] Disjunctive logic programming and autoepistemic logic
Yuan, LY
You, JH
Goebel, R
[J]. LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION, 1998, 1471 : 85 - 101
[4] Temporal disjunctive logic programming
Gergatsoulis, M
Rondogiannis, P
Panayiotopoulos, T
[J]. NEW GENERATION COMPUTING, 2001, 19 (01) : 87 - 100
[5] Temporal disjunctive logic programming
Manolis Gergatsoulis
Panos Rondogiannis
Themis Panayiotopoulos
[J]. New Generation Computing, 2001, 19 : 87 - 100
[6] Argumentation in disjunctive logic programming
王克文
吴泉源
陈火旺
[J]. Science China Technological Sciences, 1998, (01) : 106 - 112
[7] Calculi for disjunctive logic programming
Baumgartner, P
Furbach, U
[J]. LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 229 - 243
[8] Temporal disjunctive logic programming
[J]. Gergatsoulis, M. (manolis@iit.demokritos.gr), 2001, Ohmsha Ltd. (19)
[9] Argumentation in disjunctive logic programming
Wang, KW
Wu, QY
Chen, HW
[J]. SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1998, 41 (01): : 106 - 112
[10] Argumentation in disjunctive logic programming
Kewen Wang
Quanyuan Wu
Huowang Chen
[J]. Science in China Series E: Technological Sciences, 1998, 41 : 106 - 112

← 1 2 3 4 5 →