STRATIFICATION OF DEFINITE CLAUSE PROGRAMS AND OF GENERAL LOGIC PROGRAMS

被引：0

|

作者：

STEPANKOVA, O

STEPANEK, P

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 440卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：396 / 408

页数：13

相关论文

共 50 条

[1] SEMANTICS OF DISTRIBUTED DEFINITE CLAUSE PROGRAMS
RAMANUJAM, R
THEORETICAL COMPUTER SCIENCE, 1989, 68 (02) : 203 - 220
[2] GENERAL LOGICAL DATABASES AND PROGRAMS - DEFAULT LOGIC SEMANTICS AND STRATIFICATION
BIDOIT, N
FROIDEVAUX, C
INFORMATION AND COMPUTATION, 1991, 91 (01) : 15 - 54
[3] PARTIAL DEDUCTION OF UPDATABLE DEFINITE LOGIC PROGRAMS
BENKERIMI, K
SHEPHERDSON, JC
JOURNAL OF LOGIC PROGRAMMING, 1994, 18 (01): : 1 - 26
[4] Dynamic reordering of alternatives for definite logic programs
Guo, Hai-Feng
Gupta, Gopal
COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2009, 35 (03) : 252 - 265
[5] COMPUTING DEFINITE LOGIC PROGRAMS BY PARTIAL INSTANTIATION
KAGAN, V
NERODE, A
SUBRAHMANIAN, VS
ANNALS OF PURE AND APPLIED LOGIC, 1994, 67 (1-3) : 161 - 182
[6] Complexities of homomorphism and isomorphism for definite logic programs
Xu, DY
Tao, ZH
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005, 20 (06) : 758 - 762
[7] Complexities of Homomorphism and Isomorphism for Definite Logic Programs
Dao-Yun Xu
Zhi-Hong Tao
Journal of Computer Science and Technology, 2005, 20 : 758 - 762
[8] TESTING LOGIC PROGRAMS FOR LOCAL STRATIFICATION
PALOPOLI, L
THEORETICAL COMPUTER SCIENCE, 1992, 103 (02) : 205 - 234
[9] Composing general logic programs
Brogi, A
Contiero, S
Turini, F
LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1997, 1265 : 273 - 288
[10] Elimination of Local Variables from Definite Logic Programs
Alvez, Javier
Lucio, Paqui
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 137 (01) : 5 - 24

← 1 2 3 4 5 →