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 条
  • [21] Inference engine of extended interval temporal logic
    Liu, Ting
    Lin, Chuang
    Liu, Wei-Dong
    Jisuanji Xuebao/Chinese Journal of Computers, 2002, 25 (06): : 637 - 644
  • [22] Interval Temporal Logic Decision Tree Learning
    Brunello, Andrea
    Sciavicco, Guido
    Stan, Ionel Eduard
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2019, 2019, 11468 : 778 - 793
  • [23] Decidability of the dense timed interval temporal logic
    School of Computer Science and Technology, Xidian Univ., Xi'an 710071, China
    Xi'an Dianzi Keji Daxue Xuebao, 2007, 3 (463-467):
  • [24] AN INTERVAL-BASED TEMPORAL LOGIC IN A MULTIVALUED SETTING
    BAUER, M
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 355 - 369
  • [25] Reactive synthesis from interval temporal logic specifications
    Montanari, Angelo
    Sala, Pietro
    THEORETICAL COMPUTER SCIENCE, 2022, 899 : 48 - 79
  • [26] Metric Interval Temporal Logic Specification Elicitation and Debugging
    Dokhanchi, Adel
    Hoxha, Bardh
    Fainekos, Georgios
    2015 ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CODESIGN (MEMOCODE), 2015, : 70 - 79
  • [27] INTERVAL TEMPORAL LOGIC AND STAR-FREE EXPRESSIONS
    LIPPERT, D
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 385 : 187 - 198
  • [28] Modelling concurrent workflow with the extended interval temporal logic
    Lei, Li-Hui
    Duan, Zhen-Hua
    Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University, 2007, 34 (04): : 673 - 680
  • [29] DYCK ALGEBRAS, INTERVAL TEMPORAL LOGIC, AND POSETS OF INTERVALS
    Ferrari, Luca
    SIAM JOURNAL ON DISCRETE MATHEMATICS, 2016, 30 (04) : 1918 - 1937
  • [30] Stutter-invariant propositional interval temporal logic
    Yang C.
    Duan Z.
    Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University, 2011, 38 (02): : 151 - 156
12345