Efficiently executable temporal logic programs

被引：0
|
作者：
Merz, S
机构：
来源：
EXECUTABLE MODAL AND TEMPORAL LOGICS | 1995年 / 897卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：69 / 85
页数：17
相关论文
共 50 条
  • [1] HOARE LOGIC, EXECUTABLE SPECIFICATIONS, AND LOGIC PROGRAMS
    FUCHS, NE
    [J]. STRUCTURED PROGRAMMING, 1992, 13 (03): : 129 - 135
  • [2] Executable temporal logic systems
    不详
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1996, 22 (5-6) : 721 - 721
  • [3] Computing executable slices for concurrent logic programs
    Zhao, JJ
    Cheng, JD
    Ushijima, K
    [J]. SECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2001, : 13 - 22
  • [4] Mexitl:: multimedia in executable interval temporal logic
    Bowman, H
    Cameron, H
    King, P
    Thompson, S
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2003, 22 (01) : 5 - 38
  • [5] Mexitl: Multimedia in Executable Interval Temporal Logic
    Howard Bowman
    Helen Cameron
    Peter King
    Simon Thompson
    [J]. Formal Methods in System Design, 2003, 22 : 5 - 38
  • [6] Flexible agent grouping in executable temporal logic
    Fisher, M
    Kakoudakis, T
    [J]. INTENSIONAL PROGRAMMING II: BASED ON THE PAPERS AT ISLIP'99, 2000, : 93 - 105
  • [7] Reversibility of Executable Interval Temporal Logic Specifications
    Cau, Antonio
    Kuhn, Stefan
    Hoey, James
    [J]. REVERSIBLE COMPUTATION (RC 2021), 2021, 12805 : 214 - 223
  • [8] Executable temporal logic for non-monotonic reasoning
    Engelfriet, J
    Treur, J
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1996, 22 (5-6) : 615 - 625
  • [9] Linear temporal logic as an executable semantics for planning languages
    Cialdea Mayer M.
    Limongelli C.
    Orlandini A.
    Poggioni V.
    [J]. Journal of Logic, Language and Information, 2007, 16 (1) : 63 - 89
  • [10] EXECUTING TEMPORAL LOGIC PROGRAMS
    MOSZKOWSKI, B
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 197 : 111 - 130
12345