Title: Constraint-based reasoning /
Authors: Freuder, Eugene C.; Mackworth, Alan K.
Publisher: MIT Press,
Year: 1994
Subjects: Constraints (Artificial intelligence); Reasoning
Contents: Introduction to the special volume on constraint-based reasoning / E.C. Freuder and A.K. Mackworth -- The logic of constraint satisfaction / A.K. Mackworth -- Partial constraint satisfaction / E.C. Freuder and R.J. Wallace -- Constraint reasoning based on interval arithmetic : the tolerance propagation approach / E. Hyvönen -- Constraint satisfaction using constraint logic programming / P. Van Hentenryck, H. Simonis and M. Dincbas -- Minimizing conflicts : a heuristic repair method for constraint satisfaction and scheduling problems / S. Minton [and others] -- Arc consistency : parallelism and domain dependence / P.R. Cooper and M.J. Swain -- Structure identification in relational data / R. Dechter and J. Pearl -- Learning to improve constraint-based scheduling / M. Zweben [and others] -- Reasoning about qualitative temporal information / P. van Beek -- A geometric constraint engine / G.A. Kramer -- A theory of conflict resolution in planning / Q. Yang.