DisLoP: Towards a disjunctive logic programming system

被引：0
|
作者：
Aravindan, C [1 ]
Dix, J [1 ]
Niemela, I [1 ]
机构：
[1] Univ Koblenz, Dept Comp Sci, D-56075 Koblenz, Germany
来源：
LOGIC PROGRAMMING AND NONMONOTONIC REASONING | 1997年 / 1265卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper gives a brief high-level description of the implementation of a disjunctive logic programming system referred to as DisLoP. This system is a result of research activities of the Disjunctive Logic Programming-project (funded by Deutsche Forschungs-Gemeinschaft), undertaken by the University of Koblenz since July 1995.
引用
收藏
页码：341 / 352
页数：12
相关论文
共 50 条
  • [1] DisLoP: a research project on Disjunctive Logic Programming
    Aravindan, C
    Dix, J
    Niemela, I
    [J]. AI COMMUNICATIONS, 1997, 10 (3-4) : 151 - 165
  • [2] Disjunctive logic programming and autoepistemic logic
    Yuan, LY
    You, JH
    Goebel, R
    [J]. LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION, 1998, 1471 : 85 - 101
  • [3] Temporal disjunctive logic programming
    Gergatsoulis, M
    Rondogiannis, P
    Panayiotopoulos, T
    [J]. NEW GENERATION COMPUTING, 2001, 19 (01) : 87 - 100
  • [4] Temporal disjunctive logic programming
    Manolis Gergatsoulis
    Panos Rondogiannis
    Themis Panayiotopoulos
    [J]. New Generation Computing, 2001, 19 : 87 - 100
  • [5] Argumentation in disjunctive logic programming
    王克文
    吴泉源
    陈火旺
    [J]. Science China Technological Sciences, 1998, (01) : 106 - 112
  • [6] Calculi for disjunctive logic programming
    Baumgartner, P
    Furbach, U
    [J]. LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 229 - 243
  • [7] Temporal disjunctive logic programming
    [J]. Gergatsoulis, M. (manolis@iit.demokritos.gr), 2001, Ohmsha Ltd. (19)
  • [8] Argumentation in disjunctive logic programming
    Wang, KW
    Wu, QY
    Chen, HW
    [J]. SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1998, 41 (01): : 106 - 112
  • [9] Argumentation in disjunctive logic programming
    Kewen Wang
    Quanyuan Wu
    Huowang Chen
    [J]. Science in China Series E: Technological Sciences, 1998, 41 : 106 - 112
  • [10] Probabilistic disjunctive logic programming
    Ngo, L
    [J]. UNCERTAINTY IN ARTIFICIAL INTELLIGENCE, 1996, : 397 - 404
12345