Research Catalog
Constraint-based reasoning
- Title
- Constraint-based reasoning / edited by Eugene C. Freuder and Alan K. Mackworth.
- Publication
- Cambridge, Mass. : MIT Press, 1994.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | Q340 .C65 1994 | Off-site |
Holdings
Details
- Additional Authors
- Description
- 403 pages : illustrations; 26 cm
- Subjects
- Note
- "A Bradford book."
- Reprinted from Artificial intelligence, volume 58, numbers 1-3, 1992.
- Bibliography (note)
- Includes bibliographical references and index.
- 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. Hyvonen -- 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, M. D. Johnston, A. B. Philips and P. Laird -- 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, E. Davis, B. Daun, E. Drascher, M. Deale and M. Eskey -- Reasoning about qualitative temporal information / P. van Beek -- A geometric constraint engine / G. A. Kramer.
- A theory of conflict resolution in planning / Q. Yang.
- ISBN
- 0262560755
- LCCN
- 93021600
- OCLC
- 28336593
- ocm28336593
- Owning Institutions
- Columbia University Libraries