Reviews and Abstracts of Recent Papers on Applications of Interval
Computations to Artificial Intelligence
 J. F. Allen et al, "Reasoning about plans", 1991
 J. F. Allen et al.,
"Actions and events in interval temporal logic", 1994
 J. F. Allen et al.,
"Maintaining knowledge about temporal intervals", 1983
 A. Bouajjani et al., "On model checking for
realtime properties with durations", 1993
 V. Bouchitte, "Online
recognition of interval orders", 1993

H. Bustince et al.,
"Correlation of intervalvalued intuitionistic fuzzy sets", 1995
 A. Gerevini et al.,
"On pointbased temporal disjointness", 1994
 A. Gerevini et al.,
"Efficient temporal reasoning through timegraphs", 1993
 A. Gerevini et al.,
"An efficient method for managing disjunctions in qualitative
temporal reasoning", 1994
 A. Gerevini et al.,
"Efficient algorithms for qualitative reasoning about time", 1994
 R. Hirsch, "From points to intervals", 1994
 R. Li et al., "On completeness of a positional
interval logic with equality, overlap and subinterval relations", 1995
 J. Ma et al., "A
revised theory of action and time based on intervals and points", 1994
 M. Marks et al., "Reasoning about plans", 1993
 B. Nebel,
"Reasoning about temporal relations: a maximal
tractable subclass of Allen's interval algebra", 1995
 I. Perez de Guzman at al., "LNint: A temporal
logic that combines points and intervals and the absolute
and relative approaches", 1995
 J. Rives et al.,
"From physical to standard time", 1995
 Y. Shoham,
"Consistency enforcing in temporal reasoning", 1994
 S. Simoff,
"Connectionist Model For Handling Incomplete Knowledge 
An Interval Approach", 1996
 S. K. M. Wong et al., "On modeling
uncertainty with interval structures", 1995
Back to Applications of Interval
Computations
Back to the main menu of the Interval
Computations website