scientific article; zbMATH DE number 7199592
From MaRDI portal
Publication:5109523
Salih Durhan, Guido Sciavicco, Willem Conradie
Publication date: 12 May 2020
Full work available at URL: https://arxiv.org/abs/1809.04468
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- 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
- The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
- Temporal representation and reasoning in artificial intelligence: Issues and approaches
- Concerted instant-interval temporal semantics. I: Temporal ontologies
- Two-sorted Point-Interval Temporal Logics
- A propositional modal logic of time intervals
- Actions and Events in Interval Temporal Logic
- Automated Reasoning with Analytic Tableaux and Related Methods
- Unified Correspondence
This page was built for publication:
