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 条
  • [21] A framed temporal logic programming language
    Duan, ZH
    Koutny, M
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004, 19 (03) : 341 - 351
  • [22] A temporal logic programming approach to planning
    Kai Yang
    Cong Tian
    Nan Zhang
    Zhenhua Duan
    Hongwei Du
    Journal of Combinatorial Optimization, 2019, 38 : 402 - 420
  • [23] Temporal annotated constraint logic programming
    Fruhwirth, T
    JOURNAL OF SYMBOLIC COMPUTATION, 1996, 22 (5-6) : 555 - 583
  • [24] A proof procedure for temporal logic programming
    Gergatsoulis, M
    Nomikos, C
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2004, 15 (02) : 417 - 443
  • [25] 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
  • [26] Towards temporal contextual logic programming
    Nogueira, Vitor
    Abreu, Salvador
    LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 439 - 441
  • [27] A framed temporal logic programming language
    Zhen-Hua Duan
    Maciej Koutny
    Journal of Computer Science and Technology, 2004, 19 : 341 - 351
  • [28] A framework for the GAT temporal logic
    Royer, JC
    INTELLIGENT AND ADAPTIVE SYSTEMS AND SOFTWARE ENGINEERING, 2004, : 275 - 280
  • [29] LOGIC PROGRAMMING WITHIN A FUNCTIONAL FRAMEWORK
    BROGI, A
    MANCARELLA, P
    PEDRESCHI, D
    TURINI, F
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 456 : 372 - 386
  • [30] CONCURRENT OBJECTS IN A LOGIC PROGRAMMING FRAMEWORK
    MELLO, P
    SIGPLAN NOTICES, 1989, 24 (04): : 37 - 39
12345