On coarser interval temporal logics
From MaRDI portal
Publication:2321249
DOI10.1016/j.artint.2018.09.001zbMath1480.03010OpenAlexW2897975441WikidataQ129084400 ScholiaQ129084400MaRDI QIDQ2321249
Ionel Eduard Stan, Pietro Sala, Emilio Muñoz-Velasco, Mercedes Pelegrín, Guido Sciavicco
Publication date: 28 August 2019
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11392/2398449
Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45) Temporal logic (03B44)
Related Items (4)
On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning ⋮ Fuzzy Halpern and Shoham's interval temporal logics ⋮ Dynamic Branching in Qualitative Constraint Networks via Counting Local Models ⋮ Dynamic branching in qualitative constraint-based reasoning via counting local models
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Maintaining knowledge about temporal intervals
- A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases
- Checking interval properties of computations
- Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
- Duration calculus. A formal approach to real-time systems.
- A benchmark method for the propositional modal logics K, KT, S4
- The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT
- The dark side of interval temporal logic: marking the undecidability border
- Expressiveness and completeness of an interval tense logic
- Temporal prepositions and their logic
- On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures
- A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation
- Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics
- Tableaux for Logics of Subinterval Structures over Dense Orderings
- A decidable weakening of Compass Logic based on cone-shaped cardinal directions
- Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals
- Complexity and algorithms for reasoning about time
- A propositional modal logic of time intervals
- Time-dependent concepts: representation and reasoning using temporal description logics
- Undecidability of compass logic
- Horn Fragments of the Halpern-Shoham Interval Temporal Logic
- The Undecidability of the Logic of Subintervals
- Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification
This page was built for publication: On coarser interval temporal logics
