Constraint deduction in an interval-based temporal logic

被引：0
|
作者：
Koehler, J
Treinen, R
机构：
来源：
EXECUTABLE MODAL AND TEMPORAL LOGICS | 1995年 / 897卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We describe reasoning methods for the interval-based modal temporal logic LLP which employs the modal operators sometimes, always, next, and chop. We propose a constraint deduction approach and compare it with a sequent calculus, developed as the basic machinery for the deductive planning system PHI which uses LLP as underlying formalism.
引用
收藏
页码：103 / 117
页数：15
相关论文
共 50 条
  • [41] Interval-based memory reclamation
    Wen H.
    Izraelevitz J.
    Cai W.
    Beadle H.A.
    Scott M.L.
    [J]. ACM SIGPLAN Notices, 2018, 53 (01): : 1 - 13
  • [42] Constraint solving in Logic Programming and in Automated Deduction: A comparison
    Armando, A
    Melis, E
    Ranise, S
    [J]. ARTIFICIAL INTELLIGENCE: METHODOLOGY SYSTEMS AND APPLICATIONS, 1998, 1480 : 28 - 38
  • [43] Interval-Based Evolving Modeling
    Leite, Daniel F.
    Costa, Pyramo, Jr.
    Gomide, Fernando
    [J]. 2009 IEEE WORKSHOP ON EVOLVING AND SELF-DEVELOPING INTELLIGENT SYSTEMS, 2009, : 1 - +
  • [44] Interval-Based Memory Reclamation
    Wen, Haosen
    Izraelevitz, Joseph
    Cai, Wentao
    Beadle, H. Alan
    Scott, Michael L.
    [J]. ACM SIGPLAN NOTICES, 2018, 53 (01) : 1 - 13
  • [45] An automatic partial deduction system for constraint logic programs
    Tao, Y
    Grosky, WI
    Liu, CN
    [J]. NINTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1997, : 149 - 156
  • [46] A novel algorithm for mining closed temporal patterns from interval-based data
    Yi-Cheng Chen
    Julia Tzu-Ya Weng
    Lin Hui
    [J]. Knowledge and Information Systems, 2016, 46 : 151 - 183
  • [47] Interval-based possibilistic networks
    [J]. Benferhat, Salem, 1600, Springer Verlag (8720):
  • [48] Interval-based Clock Synchronization
    Ulrich Schmid
    Klaus Schossmaier
    [J]. Real-Time Systems, 1997, 12 : 173 - 228
  • [49] Mining High-utility Temporal Patterns on Time Interval-based Data
    Wang, Jun-Zhe
    Chen, Yi-Cheng
    Shih, Wen-Yueh
    Yang, Lin
    Liu, Yu-Shao
    Huang, Jiun-Long
    [J]. ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY, 2020, 11 (04)
  • [50] A novel algorithm for mining closed temporal patterns from interval-based data
    Chen, Yi-Cheng
    Weng, Julia Tzu-Ya
    Hui, Lin
    [J]. KNOWLEDGE AND INFORMATION SYSTEMS, 2016, 46 (01) : 151 - 183
12345