THE RELATIONSHIP BETWEEN STABLE, SUPPORTED, DEFAULT AND AUTOEPISTEMIC SEMANTICS FOR GENERAL LOGIC PROGRAMS

被引：44

作者：

MAREK, W ^{[1
]}

SUBRAHMANIAN, VS ^{[1
]}

机构：

[1] UNIV MARYLAND,DEPT COMP SCI,COLL PK,MD 20742

来源：

THEORETICAL COMPUTER SCIENCE | 1992年 / 103卷 / 02期

基金：

美国国家科学基金会;

关键词：

D O I：

10.1016/0304-3975(92)90019-C

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We investigate the relationship between various alternative semantics for logic programming, viz. the stable model semantics of Gelfond and Lifschitz (1988), the supported model semantics as developed by Apt, Blair and Walker (1988), autoepistemic translations (cf. Moore (1985)) of general logic programs and default translations of general logic programs, Reiter (1980).

引用

页码：365 / 386

页数：22

共 50 条

[1] STABLE SEMANTICS FOR LOGIC PROGRAMS AND DEFAULT THEORIES
MAREK, W
TRUSZCZYNSKI, M
[J]. LOGIC PROGRAMMING : PROCEEDINGS OF THE NORTH AMERICAN CONFERENCE, 1989, VOL 1-2, 1989, : 243 - 256
[2] ON THE RELATION BETWEEN DEFAULT AND AUTOEPISTEMIC LOGIC
KONOLIGE, K
[J]. ARTIFICIAL INTELLIGENCE, 1988, 35 (03) : 343 - 382
[3] AUTOEPISTEMIC LOGICS AS A UNIFYING FRAMEWORK FOR THE SEMANTICS OF LOGIC PROGRAMS
BONATTI, PA
[J]. JOURNAL OF LOGIC PROGRAMMING, 1995, 22 (02): : 91 - 149
[4] GENERAL LOGICAL DATABASES AND PROGRAMS - DEFAULT LOGIC SEMANTICS AND STRATIFICATION
BIDOIT, N
FROIDEVAUX, C
[J]. INFORMATION AND COMPUTATION, 1991, 91 (01) : 15 - 54
[5] Expressiveness of Logic Programs under the General Stable Model Semantics
Zhang, Heng
Zhang, Yan
[J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2017, 18 (02)
[6] A Default Approach to Semantics of Logic Programs with Constraint Atoms
Shen, Yi-Dong
You, Jia-Huai
[J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2009, 5753 : 277 - +
[7] From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK
Ji, Jianmin
Strass, Hannes
[J]. 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), 2014, 263 : 1039 - +
[8] A COMPUTABLE SEMANTICS FOR GENERAL LOGIC PROGRAMS
WALLACE, M
[J]. JOURNAL OF LOGIC PROGRAMMING, 1989, 6 (03): : 269 - 297
[9] A semantics for modular general logic programs
Etalle, S
[J]. THEORETICAL COMPUTER SCIENCE, 1998, 206 (1-2) : 51 - 80
[10] On logics and semantics for general logic programs
Bochman, A
[J]. NON-MONOTONIC EXTENSIONS OF LOGIC PROGRAMMING, 1997, 1216 : 37 - 56

← 1 2 3 4 5 →