Point algebras for temporal reasoning: Algorithms and complexity

&
Artificial Intelligence 149 (2):179-220 (2003)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(03)00075-4

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,503

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity.Francisco García Olmed & Antonio Rodríguez Salas - 1995 - Mathematical Logic Quarterly 41 (1):24-38.
Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 1995 - Mathematical Logic Quarterly 41 (1):24-38.
A Structure Theorem For Free Temporal Algebras.Francisco García Olmedo & Antonio J. Rodríguez Salas - 1995 - Mathematical Logic Quarterly 41 (2):249-256.
Incremental qualitative temporal reasoning: Algorithms for the Point Algebra and the ORD-Horn class.Alfonso Gerevini - 2005 - Artificial Intelligence 166 (1-2):37-80.
A Structure Theorem for Free Temporal Algebras.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 1995 - Mathematical Logic Quarterly 41 (2):249-256.
Complexity classification in qualitative temporal constraint reasoning.Peter Jonsson & Andrei Krokhin - 2004 - Artificial Intelligence 160 (1-2):35-51.
Nonrepresentable sequential algebras.P. Jipsen & R. Maddux - 1997 - Logic Journal of the IGPL 5 (4):565-574.
Temporal theories of reasoning.Joeri Engelfriet & Jan Treur - 1995 - Journal of Applied Non-Classical Logics 5 (2):239-261.
Thinking about the past as the past for the past's sake: Why did temporal reasoning evolve?Johannes B. Mahr - 2019 - Behavioral and Brain Sciences 42.
Study on Centroid Type-Reduction of Interval Type-2 Fuzzy Logic Systems Based on Noniterative Algorithms.Yang Chen - 2019 - Complexity 2019:1-12.
What time words teach us about children's acquisition of the temporal reasoning system.Katharine A. Tillman - 2019 - Behavioral and Brain Sciences 42.
Complexity of the Universal Theory of Modal Algebras.Dmitry Shkatov & Clint J. Van Alten - 2020 - Studia Logica 108 (2):221-237.
On the structure of rotation-invariant semigroups.Sándor Jenei - 2003 - Archive for Mathematical Logic 42 (5):489-514.
On the structure of rotation-invariant semigroups.Sándor Jenei - 2003 - Archive for Mathematical Logic 42 (5):489-514.
Boolean Algebras, Tarski Invariants, and Index Sets.Barbara F. Csima, Antonio Montalbán & Richard A. Shore - 2006 - Notre Dame Journal of Formal Logic 47 (1):1-23.

Analytics

Added to PP
2020-12-22

Downloads
6 (#1,452,758)

6 months
4 (#779,417)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Reasoning about partially ordered events.Thomas Dean & Mark Boddy - 1988 - Artificial Intelligence 36 (3):375-399.

View all 7 references / Add more references