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 条
  • [21] Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs
    Moreno, Gines
    Penabad, Jaime
    Riaza, Jose A.
    Vidal, German
    [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2016, 2017, 10184 : 131 - 147
  • [22] Applying temporal logic to analysis of behavior of cooperating logic programs
    Dekhtyar, MI
    Dikovsky, AJ
    Valiev, MK
    [J]. PERSPECTIVES OF SYSTEM INFORMATICS, 2000, 1755 : 228 - 234
  • [23] L0 - A TRULY CONCURRENT EXECUTABLE TEMPORAL LOGIC LANGUAGE FOR PROTOCOLS
    NESS, L
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1993, 19 (04) : 410 - 423
  • [24] Executable Logic for Dialogical Argumentation
    Black, Elizabeth
    Hunter, Anthony
    [J]. 20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), 2012, 242 : 15 - +
  • [25] ON THE RELATION OF PROGRAMS AND COMPUTATIONS TO MODELS OF TEMPORAL LOGIC
    WOLPER, P
    [J]. TEMPORAL LOGIC IN SPECIFICATION, 1989, 398 : 75 - 123
  • [26] Technical Note Temporal logic programs with variables
    Aguado, Felicidad
    Cabalar, Pedro
    Perez, Gilberto
    Vidal, Concepcion
    Dieguez, Martin
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2017, 17 (02) : 226 - 243
  • [27] Operational semantics of framed temporal logic programs
    Yang, Xiaoxiao
    Duan, Zhenhua
    [J]. SOFSEM 2007: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, 2007, 4362 : 566 - +
  • [28] Axiomatic semantics of projection temporal logic programs
    Yang, Xiaoxiao
    Duan, Zhenhua
    Ma, Qian
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2010, 20 (05) : 865 - 914
  • [29] Loop Formulas for Splitable Temporal Logic Programs
    Aguado, Felicidad
    Cabalar, Pedro
    Perez, Gilberto
    Vidal, Concepcion
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 2011, 6645 : 80 - 92
  • [30] ON THE RELATION OF PROGRAMS AND COMPUTATIONS TO MODELS OF TEMPORAL LOGIC
    WOLPER, P
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 398 : 75 - 123
12345