Research Catalog

Title

Over-constrained systems / Michael Jampel, Eugene C. Freuder, Michael Maher, eds.

Publication

Berlin ; New York : Springer, [1996], ©1996.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• Jampel, Michael.
• Freuder, Eugene C.
• Maher, Michael, 1959-

Description

x, 309 pages : illustrations; 24 cm.

Series Statement

Lecture notes in computer science ; 1106

Uniform Title

Lecture notes in computer science ; 1106.

Subjects

• Logic programming
• Constraints (Artificial intelligence)
• System analysis

Bibliography (note)

• Includes bibliographical references and index.

Contents

• A Brief Overview of Over-Constrained Systems / Michael Jampel -- Constraint Hierarchies / Alan Borning, Bjorn Freeman-Benson and Molly Wilson -- Partial Constraint Satisfaction / Eugene Freuder and Richard Wallace -- Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison / Stefano Bistarelli, Helene Fargier, Ugo Montanari, Francesca Rossi, Thomas Schiex and Gerard Verfaillie -- Defeasible Constraint Solving / Francisco Menezes and Pedro Barahona -- Transforming Ordered Constraint Hierarchies into Ordinary Constraint Systems / Armin Wolf -- A Compositional Theory of Constraint Hierarchies / Michael Jampel -- Heuristic Methods for Over-Constrained Constraint Satisfaction Problems / Richard Wallace and Eugene Freuder -- Cascaded Directed Arc Consistency and No-Good Learning for the Maximal Constraint Satisfaction Problem / Richard Wallace -- Partial Arc Consistency / Nick Dendris, Lefteris Kirousis, Yannis Stamatiou and Dimitris Thilikos --
• Dynamic Constraint Satisfaction with Conflict Management in Design / Esther Gelle and Ian Smith -- Specifying Over-Constrained Problems in Default Logic / Abdul Sattar, Aditya Ghose and Randy Goebel -- Implementing Constraint Relaxation over Finite Domains Using Assumption-Based Truth Maintenance Systems / Narendra Jussien and Patrice Boizumault -- Experiences in Solving Constraint Relaxation Networks with Boltzmann Machines / Rolf Weissschnur, Joachim Hertzberg and Hans Werner Guesgen -- Solving Over-Constrained CSPs Using Weighted OBDDs / Fabrice Bouquet and Philippe Jegou.

ISBN

3540614796 (alk. paper)

LCCN

96028300

OCLC

ocm34984322

Owning Institutions

Columbia University Libraries