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 条
  • [31] A proof procedure for temporal logic programming
    Gergatsoulis, M
    Nomikos, C
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2004, 15 (02) : 417 - 443
  • [32] TEMPORAL LOGIC PROGRAMMING IS COMPLETE AND EXPRESSIVE
    BAUDINET, M
    CONFERENCE RECORD OF THE SIXTEENTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 1989, : 267 - 280
  • [33] Towards temporal contextual logic programming
    Nogueira, Vitor
    Abreu, Salvador
    LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 439 - 441
  • [34] PROLOG - A LANGUAGE FOR PROGRAMMING MEDICAL LOGIC
    SHIFMAN, M
    JELOVSEK, FR
    M D COMPUTING, 1988, 5 (02): : 36 - &
  • [35] A language for programming logic with finite sets
    Dovier, Agostino
    Omodeo, Eugenio G.
    Pontelli, Enrico
    Rossi, Gianfranco
    Journal of Logic Programming, 1996, 28 (01):
  • [36] Logic programming for processing natural language
    Dahl, V
    LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 41 - 42
  • [37] SEMANTICS OF PREDICATE LOGIC AS A PROGRAMMING LANGUAGE
    VANEMDEN, MH
    KOWALSKI, RA
    JOURNAL OF THE ACM, 1976, 23 (04) : 733 - 742
  • [38] LMNtal as a hierarchical logic programming language
    Ueda, Kazunori
    THEORETICAL COMPUTER SCIENCE, 2009, 410 (46) : 4784 - 4800
  • [39] Programming fuzzy logic in assembly language
    Sibigtroth, JM
    NORTHCON/96 - IEEE TECHNICAL APPLICATIONS CONFERENCE, CONFERENCE RECORD, 1996, : 456 - 458
  • [40] Testing an implementation of a temporal logic language
    Sánchez, MA
    Augusto, JC
    XX INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY - PROCEEDINGS, 2000, : 68 - 73
12345