[图书][B] Qualitative spatial and temporal reasoning

G Ligozat - 2013 - books.google.com
Starting with an updated description of Allen's calculus, the book proceeds with a description
of the main qualitative calculi which have been developed over the last two decades. It …

Spatial and temporal reasoning: beyond Allen's calculus

G Ligozat, D Mitra, JF Condotta - AI Communications, 2004 - content.iospress.com
Many formalisms for qualitative spatial and temporal reasoning fit into a pattern exemplified
by Allen's temporal interval calculus. Constraint‐based reasoning using Allen's calculus can …

Interval-valued computations and their connection with PSPACE

B Nagy, S Vályi - Theoretical Computer Science, 2008 - Elsevier
At the conference CiE 2005, the first author introduced a new model for analog
computations, namely interval-valued computations. In this model, computations work on the …

On the relevance of conceptual spaces for spatial and temporal reasoning

G Ligozat, JF Condotta - Spatial Cognition and Computation, 2005 - Taylor & Francis
This paper argues for the use of conceptual spaces in qualitative spatial and temporal
reasoning. Conceptual spaces provide a natural framework for enriching the purely …

The SOL time theory: a formalization of structured temporal objects and repetition

DR Cukierman, JP Delgrande - Proceedings. 11th International …, 2004 - ieeexplore.ieee.org
We propose to formally represent time with structured temporal objects. Structured temporal
objects denote related time intervals (and recursively, related temporal objects) which are …

[PDF][PDF] Visual Reasoning by Generalized Interval-values and Interval Temporal Logic.

B Nagy, S Vályi - VLL, 2007 - informatik.rwth-aachen.de
Interval-valued computation is an unconventional computing paradigm. It is an idealization
of classical 16-, 32-, 64-etc. bit based computations. It represents data as specific subsets of …

[PDF][PDF] Tractable sets of the generalized interval algebra

JF Condotta - ECAI, 2000 - m.frontiersinai.com
To offer a generic frame which groups together several interval algebra generalizations, we
simply define a generalized interval as a tuple of intervals. After introducing the generalized …

A general qualitative framework for temporal and spatial reasoning

JF Condotta - Constraints, 2004 - Springer
To offer a generic framework which groups together several interval algebra generalizations,
we simply define a generalized interval as a tuple of intervals. An atomic relation between …

Learning patterns in multidimensional space using interval algebra

A Osmani - … on Artificial Intelligence: Methodology, Systems, and …, 2002 - Springer
In this paper we propose a machine learning formalism based on generalized intervals. This
formalism may be used to diagnose breakdown situations in telecommunication networks …

[PDF][PDF] The SOL time theory: A formalization of structured temporal objects and repetition

DR Cukierman, JP Delgrande - Proc. of the 11th International Symposium … - academia.edu
We propose to formally represent time with structured temporal objects. Structured temporal
objects denote related time intervals (and recursively, related temporal objects) which are …