SEMANTICS OF HORN AND DISJUNCTIVE LOGIC PROGRAMS

被引：0
|
作者：
LOBO, J [1 ]
RAJASEKAR, A [1 ]
MINKER, J [1 ]
机构：
[1] UNIV MARYLAND,INST ADV COMP STUDIES,COLLEGE PK,MD 20742
来源：
THEORETICAL COMPUTER SCIENCE | 1991年 / 86卷 / 01期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Van Emden and Kowalski proposed a fixpoint semantics based on model-theory and an operational semantics based on proof-theory for Horn logic programs. They prove the equivalence of these semantics using fixpoint techniques. The main goal of this paper is to present a unified theory for the semantics of Horn and disjunctive logic programs. For this, we extend the fixpoint semantics and the operational or procedural semantics to the class of disjunctive logic programs and prove their equivalence using techniques similar to the ones used for Horn programs.
引用
收藏
页码：93 / 106
页数：14
相关论文
共 50 条
  • [41] Semantic forcing in disjunctive logic programs
    De Vos, M
    Vermeir, D
    [J]. COMPUTATIONAL INTELLIGENCE, 2001, 17 (04) : 651 - 684
  • [42] GNT -: A solver for disjunctive logic programs
    Janhunen, T
    Niemelä, I
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2004, 2923 : 331 - 335
  • [43] COMPUTING ANSWERS FOR DISJUNCTIVE LOGIC PROGRAMS
    FURBACH, U
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 633 : 357 - 372
  • [44] Loop formulas for disjunctive logic programs
    Lee, J
    Lifschitz, V
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2003, 2916 : 451 - 465
  • [45] ON THE SEMANTICS OF LOGIC PROGRAMS
    GABBRIELLI, M
    LEVI, G
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 510 : 1 - 19
  • [46] Backdoors to Normality for Disjunctive Logic Programs
    Fichte, Johannes K.
    Szeider, Stefan
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2015, 17 (01)
  • [47] DISJUNCTIVE LOGIC PROGRAMS AND CONSTRAINT PROCESSING
    RAJASEKAR, A
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 542 : 610 - 619
  • [48] THE NEAR-HORN APPROACH TO DISJUNCTIVE LOGIC PROGRAMMING
    REED, DW
    LOVELAND, DW
    SMITH, BT
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 596 : 345 - 369
  • [49] SEMANTICS OF DISTRIBUTED HORN CLAUSE PROGRAMS
    RAMANUJAM, R
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 287 : 361 - 371
  • [50] Procedural semantics for fuzzy disjunctive programs on residuated lattices
    Guller, DA
    [J]. LATIN 2004: THEORETICAL INFORMATICS, 2004, 2976 : 519 - 529
12345