Temporal logic to query semantic graphs using the model checking method

被引：2
|
作者：
Gueffaz, Mahdi [1 ]
Rampacek, Sylvain [1 ]
Nicolle, Christophe [1 ]
机构：
[1] LE2I, UMR CNRS 5158, University of Bourgogne, BP 47870, 21078 Dijon Cedex, France
来源：
Journal of Software | 2012年 / 7卷 / 07期
关键词：
D O I：
10.4304/jsw.7.7.1462-1472
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1462 / 1472
相关论文
共 50 条
  • [41] Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge
    Zhou, Conghua
    Sun, Bo
    Liu, Zhifeng
    ARTIFICIAL INTELLIGENCE AND COMPUTATIONAL INTELLIGENCE, PT I, 2010, 6319 : 209 - 221
  • [42] Model Checking Time Window Temporal Logic for Hyperproperties
    Bonnah, Ernest
    Luan Viet Nguyen
    Hoque, Khaza Anuarul
    2023 21ST ACM-IEEE INTERNATIONAL SYMPOSIUM ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN, MEMOCODE, 2023, : 100 - 110
  • [43] Abstract model checking and refinement of temporal logic in αSPIN
    Gallardo, MD
    Martínez, J
    Merino, P
    Pimentel, E
    THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2003, : 245 - 246
  • [44] Symbolic model checking for temporal-epistemic logic
    Lomuscio, Alessio
    Penczek, Wojciech
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, 7360 LNCS : 172 - 195
  • [45] A Unified Model Checking Approach with Projection Temporal Logic
    Duan, Zhenhua
    Tian, Cong
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 5256 : 167 - 186
  • [46] Temporal Logic Model Checking via Probe Machine
    Zhu, Weijun
    Li, En
    Yang, Xiaoyu
    PROCEEDINGS OF 2020 IEEE 4TH INFORMATION TECHNOLOGY, NETWORKING, ELECTRONIC AND AUTOMATION CONTROL CONFERENCE (ITNEC 2020), 2020, : 623 - 626
  • [47] HyLTL : a temporal logic for model checking hybrid systems
    Bresolin, Davide
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (124): : 73 - 84
  • [48] Log-Based Understanding of Business Processes through Temporal Logic Query Checking
    Raeim, Margus
    Di Ciccio, Claudio
    Maggi, Fabrizio Maria
    Mecella, Massimo
    Mendling, Jan
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2014 CONFERENCES, 2014, 8841 : 75 - 92
  • [49] Model Checking Using Description Logic
    Ben-David, Shoham
    Trefler, Richard
    Weddell, Grant
    JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (01) : 111 - 131
  • [50] Temporal analysis of semantic graphs using ASALSAN
    Bader, Brett W.
    Harshman, Richard A.
    Kolda, Tamara G.
    ICDM 2007: PROCEEDINGS OF THE SEVENTH IEEE INTERNATIONAL CONFERENCE ON DATA MINING, 2007, : 33 - +
12345