Constraint Processing

Constraint problems are used to model cognitive tasks in vision, language comprehension, default reasoning, diagnosis, scheduling, and temporal and spatial reas... » 

Constraint problems are used to model cognitive tasks in vision, language comprehension, default reasoning, diagnosis, scheduling, and temporal and spatial reasoning. Rina Dechter synthesizes contributions from a range of fields to provide a comprehensive examination of the theory. «