STABLE SEMANTICS FOR LOGIC PROGRAMS AND DEFAULT THEORIES

被引：0

|

作者：

MAREK, W

TRUSZCZYNSKI, M

机构：

来源：

LOGIC PROGRAMMING : PROCEEDINGS OF THE NORTH AMERICAN CONFERENCE, 1989, VOL 1-2 | 1989年

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

页码：243 / 256

页数：14

相关论文

共 50 条

[1] THE RELATIONSHIP BETWEEN STABLE, SUPPORTED, DEFAULT AND AUTOEPISTEMIC SEMANTICS FOR GENERAL LOGIC PROGRAMS
MAREK, W
SUBRAHMANIAN, VS
[J]. THEORETICAL COMPUTER SCIENCE, 1992, 103 (02) : 365 - 386
[2] REDUCING INHERITANCE THEORIES TO DEFAULT LOGIC AND LOGIC PROGRAMS
GREGOIRE, E
[J]. SCANDINAVIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE - 89, 1989, : 943 - 958
[3] Ordering default theories and nonmonotonic logic programs
Sakama, C
[J]. THEORETICAL COMPUTER SCIENCE, 2005, 338 (1-3) : 127 - 152
[4] 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 - +
[5] Graph theoretical structures in logic programs and default theories
Dimopoulos, Y
Torres, A
[J]. THEORETICAL COMPUTER SCIENCE, 1996, 170 (1-2) : 209 - 244
[6] CONSTRUCTION OF BELIEF SETS FOR LOGIC PROGRAMS AND DEFAULT THEORIES
YOU, JH
YUAN, LY
LI, LW
[J]. COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1994, 13 (2-3): : 159 - 178
[7] GENERAL LOGICAL DATABASES AND PROGRAMS - DEFAULT LOGIC SEMANTICS AND STRATIFICATION
BIDOIT, N
FROIDEVAUX, C
[J]. INFORMATION AND COMPUTATION, 1991, 91 (01) : 15 - 54
[8] Revised Stable Models - A semantics for logic programs
Pereira, LM
Pinto, AM
[J]. PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2005, 3808 : 29 - 42
[9] Compactness properties for stable semantics of logic programs
Marek, Victor W.
Remmel, Jeffrey B.
[J]. LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2007, 4514 : 379 - +
[10] Compactness properties for stable semantics of logic programs
Marek, Victor W.
Remmel, Jeffrey B.
[J]. FUNDAMENTA INFORMATICAE, 2007, 81 (1-3) : 211 - 239

← 1 2 3 4 5 →