SEVERAL FORMAL SYSTEMS OF THE LOGIC PROGRAMMING

被引：0

|

作者：

MINTS, GE

机构：

来源：

COMPUTERS AND ARTIFICIAL INTELLIGENCE | 1990年 / 9卷 / 01期

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

收藏

页码：19 / 41

页数：23

相关论文

共 50 条

[1] SOME FORMAL SYSTEMS OF THE LOGIC PROGRAMMING
MINTS, GE
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 278 : 318 - 322
[2] A PROGRAMMING LOGIC FOR FORMAL CONCURRENT SYSTEMS
GRIBOMONT, EP
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 458 : 298 - 313
[3] Formal verification of a programming logic for a distributed programming language
Zhang, C
Olsson, RA
Levitt, KN
THEORETICAL COMPUTER SCIENCE, 1999, 216 (1-2) : 213 - 235
[4] APPLICATION OF FORMAL LOGIC TO PROGRAMS AND PROGRAMMING
ALLEN, CD
IBM SYSTEMS JOURNAL, 1971, 10 (01) : 2 - &
[5] ELEMENTARY FORMAL SYSTEM AS A LOGIC PROGRAMMING LANGUAGE
YAMAMOTO, A
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 485 : 73 - 86
[6] Formal detection of feature interactions with logic programming and LOTOS
Nicolas Gorse
Luigi Logrippo
Jacques Sincennes
Software & Systems Modeling, 2006, 5 (2) : 135 - 135
[7] FORMAL DESIGN OF AN ABSTRACT MACHINE FOR CONSTRAINT LOGIC PROGRAMMING
BEIERLE, C
INFORMATION PROCESSING '94, VOL I: TECHNOLOGY AND FOUNDATIONS, 1994, 51 : 377 - 382
[8] Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
Kowalski, Robert
Sadri, Fariba
WEB REASONING AND RULE SYSTEMS, PROCEEDINGS, 2009, 5837 : 1 - 23
[9] PARALLEL LOGIC PROGRAMMING SYSTEMS
DEKERGOMMEAUX, JC
CODOGNET, P
ACM COMPUTING SURVEYS, 1994, 26 (03) : 295 - 336
[10] SYSTEMS OF FORMAL LOGIC - HACKSTAFF,LH
KENIG, HP
REVIEW OF METAPHYSICS, 1967, 20 (04): : 720 - 720

← 1 2 3 4 5 →