Spatial and Temporal Reasoning
Papers from the 2007 AAAI Workshop
Hans W. Guesgen, Gerard Ligozat, Jochen Renz, and Rita V. Rodriguez, Program Cochairs
Technical Report WS-07-12 published by The AAAI Press, Menlo Park, California
This technical report is also available in book and CD format.
Contents
Organizing Committee / vii
Hans W. Guesgen, Gerard Ligozat, Jochen Renz, and Rita V. Rodriguez
Preface / vii
Hans W. Guesgen, Gerard Ligozat, Jochen Renz, and Rita V. Rodriguez
Nested Temporal Networks with Alternatives / 1
Roman Bartak and Ondrej Cepek
Efficient Message Passing and Propagation of Simple Temporal Constraints / 9
Hung H. Bui, Mabry Tyson, and Neil Yorke-Smith
The Nine Comments on the RCC Theory / 16
Tiansi Dong
A Formal Temporal Semantics for Microsoft Project based on Allen's Interval Algebra / 21
Denis Gagné and André Trudel
Quantitative Reasoning with Cyclic Intervals: A Proposal / 29
Debasis Mitra
A Framework for Supporting the Application of Qualitative Spatiotemporal Reasoning / 34
Carl P. L. Schultz, Robert Amor, and Hans W. Guesgen