Interval temporal logics model checking

被引：3
|
作者：
Montanari, Angelo [1 ]
机构：
[1] Univ Udine, Dept Math Comp Sci & Phys, I-33100 Udine, Italy
来源：
PROCEEDINGS 23RD INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING - TIME 2016 | 2016年
关键词：
D O I：
10.1109/TIME.2016.32
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：2 / 2
页数：1
相关论文
共 50 条
  • [41] Tractable Interval Temporal Propositional and Description Logics
    Artale, A.
    Kontchakov, R.
    Ryzhikov, V.
    Zakharyaschev, M.
    [J]. PROCEEDINGS OF THE TWENTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2015, : 1417 - 1423
  • [42] Computational complexity of hybrid interval temporal logics
    Walega, Przemyslaw Andrzej
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2023, 174 (01)
  • [43] On Coarser Interval Temporal Logics and their Satisfiability Problem
    Munoz-Velasco, Emilio
    Pelegrin-Garcia, Mercedes
    Sala, Pietro
    Sciavicco, Guido
    [J]. ADVANCES IN ARTIFICIAL INTELLIGENCE (CAEPIA 2015), 2015, 9422 : 105 - 115
  • [44] Undecidability of Interval Temporal Logics with the Overlap Modalit
    Bresolin, Davide
    Della Monica, Dario
    Goranko, Valentin
    Montanari, Angelo
    Sciavicco, Guido
    [J]. TIME 2009: 16TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2009, : 88 - +
  • [45] The algorithm research for "on the fly" model checking temporal logics of knowledge in multi-agent systems
    Wu, Lijun
    Su, Jinshu
    Chen, Qingliang
    [J]. 2006 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY, PTS 1 AND 2, PROCEEDINGS, 2006, : 532 - 535
  • [46] Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison
    Bozzelli, Laura
    Molinari, Alberto
    Montanari, Angelo
    Peron, Adriano
    Sala, Pietro
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2019, 20 (01)
  • [47] Alternating automata: Unifying truth and validity checking for temporal logics
    Vardi, MY
    [J]. AUTOMATED DEDUCTION - CADE-14, 1997, 1249 : 191 - 206
  • [48] The complexity of model checking for propositional default logics
    Liberatore, P
    Schaerf, M
    [J]. ECAI 1998: 13TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1998, : 18 - 22
  • [49] Model checking games for branching time logics
    Lange, Martin
    Stirling, Colin
    [J]. Journal of Logic and Computation, 2002, 12 (04) : 623 - 639
  • [50] Spatial logics and model checking for medical imaging
    Buonamici, Fabrizio
    Belmonte, Gina
    Ciancia, Vincenzo
    Latella, Diego
    Massink, Mieke
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2020, 22 (02) : 195 - 217
12345