Expressiveness of stable model semantics for disjunctive logic programs with functions

被引：0

作者：

Chrstn. Doppler Lab for Expert Syst., Information System Department, TU Vienna, Paniglgasse 16, A-1040 Wien, Austria ^{[1
]}

不详 ^{[2
]}

机构：

来源：

J Logic Program | / 2卷 / X-178期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[1] Expressiveness of stable model semantics for disjunctive logic programs with functions
Eiter, T
Gottlob, G
[J]. JOURNAL OF LOGIC PROGRAMMING, 1997, 33 (02): : 167 - 178
[2] Expressiveness of Logic Programs under the General Stable Model Semantics
Zhang, Heng
Zhang, Yan
[J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2017, 18 (02)
[3] Semantics and expressiveness of disjunctive ordered logic
Buccafurri, F
Leone, N
Rullo, P
[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1999, 25 (3-4) : 311 - 337
[4] Semantics and expressiveness of disjunctive ordered logic
Francesco Buccafurri
Nicola Leone
Pasquale Rullo
[J]. Annals of Mathematics and Artificial Intelligence, 1999, 25 : 311 - 337
[5] Disjunctive logic and semantics of disjunctive logic programs
Yidong Shen
[J]. Science in China Series E: Technological Sciences, 1997, 40 : 44 - 53
[6] Disjunctive logic and semantics of disjunctive logic programs
Shen, YD
[J]. SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1997, 40 (01): : 44 - 53
[7] Disjunctive logic and semantics of disjunctive logic programs
沈一栋
[J]. Science China Technological Sciences, 1997, (01) : 44 - 53
[8] SEMANTICS OF HORN AND DISJUNCTIVE LOGIC PROGRAMS
LOBO, J
RAJASEKAR, A
MINKER, J
[J]. THEORETICAL COMPUTER SCIENCE, 1991, 86 (01) : 93 - 106
[9] A FIXPOINT SEMANTICS FOR DISJUNCTIVE LOGIC PROGRAMS
MINKER, J
RAJASEKAR, A
[J]. JOURNAL OF LOGIC PROGRAMMING, 1990, 9 (01): : 45 - 74
[10] STATIC SEMANTICS FOR NORMAL AND DISJUNCTIVE LOGIC PROGRAMS
PRZYMUSINSKI, TC
[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 14 (2-4) : 323 - 357

← 1 2 3 4 5 →