[图书][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 …
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 …
by Allen's temporal interval calculus. Constraint‐based reasoning using Allen's calculus can …
Interval-valued computations and their connection with PSPACE
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 …
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 …
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 …
objects denote related time intervals (and recursively, related temporal objects) which are …
[PDF][PDF] Visual Reasoning by Generalized Interval-values and Interval Temporal Logic.
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 …
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 …
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 …
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 …
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 …
objects denote related time intervals (and recursively, related temporal objects) which are …