A framed temporal logic programming language

被引：0
|
作者：
Zhen-Hua Duan
Maciej Koutny
机构：
[1] Xidian University,Laboratory of Computer Science
[2] University of Newcastle upon Tyne,undefined
[3] ISCAS,undefined
来源：
Journal of Computer Science and Technology | 2004年 / 19卷
关键词：
temporal logic; temporal logic programming; frame; projection; concurrency;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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
页数：10
相关论文
共 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