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 条
  • [1] Propositional interval neighborhood temporal logics
    Goranko, V
    Montanari, A
    Sciavicco, G
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2003, 9 (09) : 1137 - 1167
  • [2] On decidability and expressiveness of propositional interval neighborhood logics
    Bresolin, Davide
    Goranko, Valentin
    Montanari, Angelo
    Sciavicco, Guido
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2007, 4514 : 84 - +
  • [3] Tractable Interval Temporal Propositional and Description Logics
    Artale, A.
    Kontchakov, R.
    Ryzhikov, V.
    Zakharyaschev, M.
    PROCEEDINGS OF THE TWENTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2015, : 1417 - 1423
  • [4] Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders
    Della Monica, Dario
    Goranko, Valentin
    Sciavicco, Guido
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2011, 273 : 3 - 19
  • [5] Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions
    Bresolin, Davide
    Goranko, Valentin
    Montanari, Angelo
    Sciavicco, Guido
    ANNALS OF PURE AND APPLIED LOGIC, 2009, 161 (03) : 289 - 304
  • [6] A general tableau method for propositional interval temporal logics
    Goranko, V
    Montanari, A
    Sciavicco, G
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2003, 2796 : 102 - 116
  • [7] Propositional interval temporal logics: some promising paths
    Montanari, A
    12th International Symposium on Temporal Representation and Reasoning, Proceedings, 2005, : 201 - 203
  • [8] PROPOSITIONAL TEMPORAL INTERVAL LOGIC IS PSPACE COMPLETE
    AABY, AA
    NARAYANA, KT
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 218 - 237
  • [9] Using temporal logic for spatial reasoning: Spatial Propositional Neighborhood Logic
    Morales, Antonio
    Sciavicco, Guido
    TIME 2006: THIRTEENTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2006, : 50 - +
  • [10] Using temporal logic for spatial reasoning: Temporalized Propositional Neighborhood Logic
    Morales, Antonio
    Navarrete, Isabel
    Sciavicco, Guido
    COMPUTER AIDED SYSTEMS THEORY- EUROCAST 2007, 2007, 4739 : 313 - +
12345