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 条
  • [31] TEMPORAL LOGICS AND STRUCTURED PLANS
    RUTTEN, E
    MARCE, L
    SCANDINAVIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE - 89, 1989, : 901 - 912
  • [32] A HIERARCHY OF TEMPORAL LOGICS WITH PAST
    LAROUSSINIE, F
    SCHNOEBELEN, P
    THEORETICAL COMPUTER SCIENCE, 1995, 148 (02) : 303 - 324
  • [33] Introducing temporal Description Logics
    Artale, A
    Franconi, E
    TIME-99: SIXTH INTERNATIONAL WORKSHOP ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 1999, : 2 - 5
  • [34] Temporal logics with language parameters
    Gutsfeld, Jens Oliver
    Mueller-Olm, Markus
    Dielitz, Christian
    INFORMATION AND COMPUTATION, 2023, 295
  • [35] Reified Temporal Logics: An Overview
    J. Ma
    B. Knight
    Artificial Intelligence Review, 2001, 15 : 189 - 217
  • [36] ALTERNATIVE SEMANTICS FOR TEMPORAL LOGICS
    EMERSON, EA
    THEORETICAL COMPUTER SCIENCE, 1983, 26 (1-2) : 121 - 130
  • [37] TEMPORAL LOGICS NEED THEIR CLOCKS
    SAIN, I
    THEORETICAL COMPUTER SCIENCE, 1992, 95 (01) : 75 - 95
  • [38] PROBABILISTIC PROPOSITIONAL TEMPORAL LOGICS
    HART, S
    SHARIR, M
    INFORMATION AND CONTROL, 1986, 70 (2-3): : 97 - 155
  • [39] Multiagent Temporal Logics with Multivaluations
    V. V. Rybakov
    Siberian Mathematical Journal, 2018, 59 : 710 - 720
  • [40] Arity hierarchy for temporal logics
    Rabinovich, Alexander
    THEORETICAL COMPUTER SCIENCE, 2008, 403 (2-3) : 373 - 381
12345