Implementing temporal logics: Tools for execution and proof

被引：0
|
作者：
Fisher, Michael [1 ]
机构：
[1] Univ Liverpool, Dept Comp Sci, Logic & Computat Grp, Liverpool L69, Merseyside, England
来源：
COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS | 2006年 / 3900卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：129 / 142
页数：14
相关论文
共 50 条
  • [41] On Metric Temporal Description Logics
    Gutierrez-Basulto, Victor
    Jung, Jean Christoph
    Ozaki, Ana
    ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 837 - 845
  • [42] The mosaic method for temporal logics
    Marx, M
    Mikulás, S
    Reynolds, M
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 2000, 1847 : 324 - 340
  • [43] PROPOSITIONAL TEMPORAL LOGICS AND EQUIVALENCES
    GOLTZ, U
    KUIPER, R
    PENCZEK, W
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 630 : 222 - 236
  • [44] Games for temporal logics on trees
    Esik, Z.
    Ivan, Sz
    IMPLEMENTATION AND APPLICATION OF AUTOMATA, PROCEEDINGS, 2008, 5148 : 191 - +
  • [45] Two temporal logics of contingency
    Pascucci, Matteo
    AUSTRALASIAN JOURNAL OF LOGIC, 2015, 12 (02) : 121 - 134
  • [46] Temporal description logics: A survey
    Lutz, Carsten
    Wolter, Frank
    Zakharyashev, Michael
    TIME 2008: 15TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2008, : 3 - +
  • [47] An introduction to executable temporal logics
    Fisher, M
    KNOWLEDGE ENGINEERING REVIEW, 1996, 11 (01): : 43 - 56
  • [48] Reified temporal logics: An overview
    Ma, J
    Knight, B
    ARTIFICIAL INTELLIGENCE REVIEW, 2001, 15 (03) : 189 - 217
  • [49] Temporal logics for compartmental models
    Machado, Vitor
    Benevides, Mario
    JOURNAL OF LOGIC AND COMPUTATION, 2024,
  • [50] On Almost Future Temporal Logics
    Rabinovich, Alexander
    FIELDS OF LOGIC AND COMPUTATION II: ESSAYS DEDICATED TO YURI GUREVICH ON THE OCCASION OF HIS 75TH BIRTHDAY, 2015, 9300 : 261 - 272
12345