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 条

[1] Disjunctive logic and semantics of disjunctive logic programs
Yidong Shen
[J]. Science in China Series E: Technological Sciences, 1997, 40 : 44 - 53
[2] Disjunctive logic and semantics of disjunctive logic programs
Shen, YD
[J]. SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1997, 40 (01): : 44 - 53
[3] Disjunctive logic and semantics of disjunctive logic programs
沈一栋
[J]. Science China Technological Sciences, 1997, (01) : 44 - 53
[4] A FIXPOINT SEMANTICS FOR DISJUNCTIVE LOGIC PROGRAMS
MINKER, J
RAJASEKAR, A
[J]. JOURNAL OF LOGIC PROGRAMMING, 1990, 9 (01): : 45 - 74
[5] STATIC SEMANTICS FOR NORMAL AND DISJUNCTIVE LOGIC PROGRAMS
PRZYMUSINSKI, TC
[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 14 (2-4) : 323 - 357
[6] Determining inference semantics for disjunctive logic programs
Shen, Yi-Dong
Eiter, Thomas
[J]. ARTIFICIAL INTELLIGENCE, 2019, 277
[7] Determining Inference Semantics for Disjunctive Logic Programs
Shen, Yi-Dong
Eiter, Thomas
[J]. PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, : 5040 - 5044
[8] SEMANTICS OF DISJUNCTIVE LOGIC PROGRAMS AND DEDUCTIVE DATABASES
PRZYMUSINSKI, TC
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 566 : 85 - 107
[9] Semantics of (disjunctive) logic programs based on partial evaluation
Brass, S
Dix, J
[J]. JOURNAL OF LOGIC PROGRAMMING, 1999, 40 (01): : 1 - 46
[10] Template programs for disjunctive logic programming: An operational semantics
Calimeri, Francesco
Ianni, Giovambattista
[J]. AI COMMUNICATIONS, 2006, 19 (03) : 193 - 206

← 1 2 3 4 5 →