The importance of the past in interval temporal logics: The case of propositional neighborhood logic

被引：4
|
作者：
机构：
[1] Della Monica, Dario
[2] Montanari, Angelo
[3] Sala, Pietro
来源：
Della Monica, D. (ddellamonica@unisa.it) | 1600年 / Springer Verlag卷 / 7360 LNCS期
关键词：
31;
D O I：
10.1007/978-3-642-29414-3_6
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] The complexity of propositional linear temporal logics in simple cases
    Demri, S
    Schnoebelen, P
    STACS 98 - 15TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 1998, 1373 : 61 - 72
  • [42] Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood?
    Kiesl, Benjamin
    Seidl, Martina
    Tompits, Hans
    Biere, Armin
    PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 4884 - 4888
  • [43] An Optimal Decision Procedure for Right Propositional Neighborhood Logic
    Davide Bresolin
    Angelo Montanari
    Guido Sciavicco
    Journal of Automated Reasoning, 2007, 38 : 173 - 199
  • [44] An optimal decision procedure for right propositional neighborhood logic
    Bresolin, Davide
    Montanari, Angelo
    Sciavicco, Guido
    JOURNAL OF AUTOMATED REASONING, 2007, 38 (1-3) : 173 - 199
  • [45] Logic of Infons: the Propositional Case
    Gurevich, Yuri
    Neeman, Itay
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2011, 12 (02)
  • [46] Alternating Interval Based Temporal Logics
    Tian, Cong
    Duan, Zhenhua
    FORMAL METHODS AND SOFTWARE ENGINEERING, 2010, 6447 : 694 - +
  • [47] Interval temporal logics model checking
    Montanari, Angelo
    PROCEEDINGS 23RD INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING - TIME 2016, 2016, : 2 - 2
  • [48] Deterministic Temporal Logics and Interval Constraints
    Lodaya, Kamal
    Pandya, Paritosh K.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (243): : 23 - 40
  • [49] Interval logics and their decision procedures .1. An interval logic
    Ramakrishna, YS
    MelliarSmith, PM
    Moser, LE
    Dillon, LK
    Kutty, G
    THEORETICAL COMPUTER SCIENCE, 1996, 166 (1-2) : 1 - 47
  • [50] A new modal logic for reasoning about space: spatial propositional neighborhood logic
    Antonio Morales
    Isabel Navarrete
    Guido Sciavicco
    Annals of Mathematics and Artificial Intelligence, 2007, 51 : 1 - 25
12345