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
real-time properties with durations", 1993
- V. Bouchitte, "On-line
recognition of interval orders", 1993
-
H. Bustince et al.,
"Correlation of interval-valued intuitionistic fuzzy sets", 1995
- A. Gerevini et al.,
"On point-based 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
![[<--]](../go_prev_btn.gif)
Back to Applications of Interval
Computations
Back to the main menu of the Interval
Computations website