An Introduction to Constraint-Based Temporal Reasoning

Bartk, Roman, Morris, Robert A., Venable, K. Brent

Morgan & Claypool Publishers 

This book provides a concise introduction to the core computational elements of temporal reasoning for use in AI systems for planning and scheduling, as well as systems that extract temporal information from data. It presents a survey of temporal frameworks based on constraints, both qualitative and quantitative, as well as of major temporal consistency techniques. ISBN 9781608459674, 121 pages.