Temporal reasoning based on semi-intervals

C Freksa - Artificial intelligence, 1992 - Elsevier
A generalization of Allen's interval-based approach to temporal reasoning is presented. The
notion of 'conceptual neighborhood'of qualitative relations between events is central to the …

Reasoning about temporal relations: A maximal tractable subclass of Allen's interval algebra

B Nebel, HJ Bürckert - Journal of the ACM (JACM), 1995 - dl.acm.org
We introduce a new subclass of Allen's interval algebra we call “ORD-Horn subclass,” which
is a strict superset of the “pointisable subclass.” We prove that reasoning in the ORD-Horn …

A survey on temporal reasoning in artificial intelligence

L Vila - Ai Communications, 1994 - content.iospress.com
The notion of time is uniquitous in any activity that requires intelligence. In particular, several
important notions like change, causality, action are described in terms of time. Therefore, the …

[图书][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 …

Exact and approximate reasoning about temporal relations 1

P Van Beek, R Cohen - Computational intelligence, 1990 - Wiley Online Library
Allen gives an algebra for representing qualitative temporal information about the
relationships between pairs of intervals. In this paper, we address a fundamental reasoning …

Temporal constraints: A survey

E Schwalb, L Vila - Constraints, 1998 - Springer
Abstract Temporal Constraint Satisfaction is an information technology useful for
representing and answering queries about temporal occurrences and temporal relations …

On generalized interval calculi

G Ligozat - Proceedings of the ninth National conference on …, 1991 - dl.acm.org
The calculus of time intervals defined by Allen has been extended in various ways in order
to accomodate the need for considering other time objects than convex intervals (eg. time …

Computing transitivity tables: A challenge for automated theorem provers

DA Randell, AG Cohn, Z Cui - … CADE-11: 11th International Conference on …, 1992 - Springer
Implementations of Allen's interval-based temporal logic and a recently developed
simulation system for reasoning about space and time, both require the use of transitivity …

[图书][B] A temporal terminological logic

A Schmiedel - 1990 - cdn.aaai.org
An attempt is made to integrate three well-known formalisms of knowledge representation:
terminological logic in the tradition of KL-ONE, the temporal logic of Shoham, and Allen's …

Qualitative spatial-relation reasoning for design

MJ Egenhofer - Studying visual and spatial reasoning for design …, 2015 - Springer
Qualitative spatial relations are symbol abstractions of geometric representations, which
allow computational analyses independent of, but consistent with, graphical depictions. This …