Skip to Main content Skip to Navigation
Conference papers

A model for reasoning about bidimensional temporal relations

Abstract : This paper introduces the rectangle algebra as the power set of the set of the pairs of atomic relations which can hold between two rational intervals. It goes on proving that the question of the consistency of a rectangle network which constraints are preconvex is decidable by means of the path-consistency method in time polynomial in the length of the network. 1 Introduction Temporal and spatial dependencies between data constitute the reason for existence of several problems in computer science : geographical information systems, natural language understanding, specification and verification of programs and systems, temporal and spatial databases, temporal and spatial planification, etc. Those who tackled these problems proposed numerous models for reasoning about time and space, the objects they considered as well as the relations between these objects distinguishing one of these models from the others. As an illustrative example, the model of the intervals proposed by Al...
Document type :
Conference papers
Complete list of metadata

https://hal-univ-artois.archives-ouvertes.fr/hal-03300318
Contributor : Fabien Delorme <>
Submitted on : Tuesday, July 27, 2021 - 9:39:23 AM
Last modification on : Thursday, September 2, 2021 - 3:30:53 AM

Identifiers

  • HAL Id : hal-03300318, version 1

Citation

Philippe Balbiani, Jean-François Condotta, Luis Farinas del Cerro. A model for reasoning about bidimensional temporal relations. Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR 1998), Jun 1998, Trento, Italy. pp.124-130. ⟨hal-03300318⟩

Share

Metrics

Record views

17