METATEM - A FRAMEWORK FOR PROGRAMMING IN TEMPORAL LOGIC

被引：0

|

作者：

BARRINGER, H ^{[1
]}

FISHER, M ^{[1
]}

GABBAY, D ^{[1
]}

GOUGH, G ^{[1
]}

OWENS, R ^{[1
]}

机构：

[1] UNIV LONDON IMPERIAL COLL SCI & TECHNOL, DEPT COMP, LONDON SW7 2BZ, ENGLAND

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 430卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：94 / 129

页数：36

相关论文

共 50 条

[1] A logic programming framework for modeling temporal objects
Kesim, FN
Sergot, M
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1996, 8 (05) : 724 - 741
[2] Temporal semantics for concurrent METATEM
Fisher, M
JOURNAL OF SYMBOLIC COMPUTATION, 1996, 22 (5-6) : 627 - 648
[3] TEMPORAL LOGIC PROGRAMMING
ABADI, M
MANNA, Z
JOURNAL OF SYMBOLIC COMPUTATION, 1989, 8 (03) : 277 - 295
[4] Framed temporal logic programming
Duana, Zhenhua
Yanga, Xiaoxiao
Koutnyb, Maciej
SCIENCE OF COMPUTER PROGRAMMING, 2008, 70 (01) : 31 - 61
[5] PARALLEL PROGRAMMING IN TEMPORAL LOGIC
HALE, R
MOSZKOWSKI, B
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 259 : 275 - 296
[6] Temporal disjunctive logic programming
Gergatsoulis, M
Rondogiannis, P
Panayiotopoulos, T
NEW GENERATION COMPUTING, 2001, 19 (01) : 87 - 100
[7] Temporal disjunctive logic programming
Manolis Gergatsoulis
Panos Rondogiannis
Themis Panayiotopoulos
New Generation Computing, 2001, 19 : 87 - 100
[8] Programming in metric temporal logic
Brzoska, C
THEORETICAL COMPUTER SCIENCE, 1998, 202 (1-2) : 55 - 125
[9] Temporal Contextual Logic Programming
Nogueira, Vitor
Abreu, Salvador
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 177 (219-233) : 219 - 233
[10] ON THE EXPRESSIVENESS OF TEMPORAL LOGIC PROGRAMMING
BAUDINET, M
INFORMATION AND COMPUTATION, 1995, 117 (02) : 157 - 180

← 1 2 3 4 5 →