Visualization of interval temporal logic

被引：0
|
作者：
Rao, AC [1 ]
Cau, A [1 ]
Zedan, H [1 ]
机构：
[1] De Montfort Univ, Software Technol Res Lab, SERCtr, Leicester LE1 9BH, Leics, England
来源：
PROCEEDINGS OF THE FIFTH JOINT CONFERENCE ON INFORMATION SCIENCES, VOLS 1 AND 2 | 2000年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
A graphical notation and an associated tool to specify the behaviour of systems is introduced and is based on 'Interval Temporal Logic' (ITL). It is a part of the so-called 'lean approach' to formal methods.
引用
收藏
页码：687 / 690
页数：4
相关论文
共 50 条
  • [41] Representing temporal interval relationships in a first order logic for time
    Trudel, A
    EIGHTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2001, : 81 - 86
  • [42] An Interval Temporal Logic for Time Series Specification and Data Integration
    Kosiuczenko, Piotr
    REMOTE SENSING, 2021, 13 (12)
  • [43] Planning temporal events using point-interval logic
    Zaidi, Abbas K.
    Wagenhals, Lee W.
    MATHEMATICAL AND COMPUTER MODELLING, 2006, 43 (9-10) : 1229 - 1253
  • [44] Horn Fragments of the Halpern-Shoham Interval Temporal Logic
    Bresolin, Davide
    Kurucz, Agi
    Munoz-Velasco, Emilio
    Ryzhikov, Vladislav
    Sciavicco, Guido
    Zakharyaschev, Michael
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2017, 18 (03)
  • [45] Learning Temporal Interval Relations Using Inductive Logic Programming
    Nicoletti, Maria do Carmo
    de Sa Lisboa, Flavia O. S.
    Hruschka, Estevam Rafael, Jr.
    INTEGRATED COMPUTING TECHNOLOGY, 2011, 165 : 90 - 104
  • [46] Managing tasks using an interval-based temporal logic
    Das, SK
    Hammond, P
    APPLIED INTELLIGENCE, 1996, 6 (04) : 311 - 323
  • [47] The dark side of interval temporal logic: marking the undecidability border
    Bresolin, Davide
    Della Monica, Dario
    Goranko, Valentin
    Montanari, Angelo
    Sciavicco, Guido
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2014, 71 (1-3) : 41 - 83
  • [48] Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic
    Ilyes, Roland B.
    Ho, Qi Heng
    Lahijanian, Morteza
    2023 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, ICRA, 2023, : 5716 - 5722
  • [49] Interval Signal Temporal Logic From Natural Inclusion Functions
    Baird, Luke
    Harapanahalli, Akash
    Coogan, Samuel
    IEEE CONTROL SYSTEMS LETTERS, 2023, 7 : 3555 - 3560
  • [50] Modeling and inference of extended interval temporal logic for nondeterministic intervals
    Lin, C
    Shan, ZG
    Liu, T
    Qu, Y
    Ren, FY
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2005, 35 (05): : 682 - 696
12345