Spatial and Temporal Reasoning
Contents
Preface
PDFAction Vectors for Interpreting Route Descriptions
PDFQualitative Reasoning with Arbitrary Angular Directions
PDFA Calculus for Reasoning about Containment and Object Access
PDFDirect Conversions among Multi-Granularity Temporal Constraints
PDFA Decidable Logic for Time Intervals: Propositional Neighborhood Logic
PDFSolving Temporal Constraints in Real Time and in a Dynamic Environment
PDF