A framed temporal logic programming language

被引：36
|
作者：
Duan, ZH [1 ]
Koutny, M
机构：
[1] Xidian Univ, Xian 710071, Peoples R China
[2] Univ Newcastle Upon Tyne, Newcastle Upon Tyne NE1 7RU, Tyne & Wear, England
[3] ISCAS, Comp Sci Lab, Beijing 100080, Peoples R China
来源：
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY | 2004年 / 19卷 / 03期
基金：
中国国家自然科学基金; 高等学校博士学科点专项科研基金;
关键词：
temporal logic; temporal logic programming; frame; projection; concurrency;
D O I：
10.1007/BF02944904
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
We discuss the projection temporal logic (PTL), based on a primitive projection operator, prj. A framing technique is also presented, using which a synchronization operator, await, is defined within the underlying logic. A framed temporal logic programming language (FTLL) is presented. To illustrate how to use both the language and framing technique, some examples are given.
引用
收藏
页码：341 / 351
页数：11
相关论文
共 50 条
  • [41] Extending constraint logic programming for temporal reasoning
    Lamma, E
    Milano, M
    Mello, P
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1998, 22 (1-2) : 139 - 158
  • [42] TEMPORAL LOGIC PROGRAMMING FOR ASSEMBLY SEQUENCE PLANNING
    SEOW, KT
    DEVANATHAN, R
    ARTIFICIAL INTELLIGENCE IN ENGINEERING, 1993, 8 (04): : 253 - 263
  • [43] On temporal logic programming using Petri nets
    Zaidi, AK
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 1999, 29 (03): : 245 - 254
  • [44] Modularity and temporal reasoning: a logic programming approach
    Nogueira, Vitor
    Abreu, Salvador
    TIME 2007: 14TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2007, : 191 - 191
  • [45] Project management using temporal logic programming
    Hussain, S
    SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 2144 - 2149
  • [46] A logic programming framework for modeling temporal objects
    Kesim, FN
    Sergot, M
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1996, 8 (05) : 724 - 741
  • [47] Extending constraint logic programming for temporal reasoning
    Evelina Lamma
    Michela Milano
    Paola Mello
    Annals of Mathematics and Artificial Intelligence, 1998, 22 : 139 - 158
  • [48] NATURAL-LANGUAGE PROCESSING AND LOGIC PROGRAMMING
    DAHL, V
    JOURNAL OF LOGIC PROGRAMMING, 1994, 20 (1-3): : 681 - 714
  • [49] PLEASE - A LANGUAGE COMBINING IMPERATIVE AND LOGIC PROGRAMMING
    TERWILLIGER, RB
    SIGPLAN NOTICES, 1988, 23 (04): : 103 - 110
  • [50] Natural language programming - And state logic control
    Chambers, W
    1996 PROCESS CONTROL ELECTRICAL & INFORMATION CONFERENCE, 1996, : 179 - 182
12345