Over-Constrained Systems

Michael Jampel

ISBN 10: 3540614796 / ISBN 13: 9783540614791

Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 1996, 1996

Riguardo questo articolo

This item is printed on demand - Print on Demand Titel. Neuware -This volume presents a collection of refereed papers reflecting the state of the art in the area of over-constrained systems.Besides 11 revised full papers, selected from the 24 submissions to the OCS workshop held in conjunction with the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Marseilles in September 1995, the book includes three comprehensive background papers of central importance for the workshop papers and the whole field. Also included is an introduction by one of the volume editors together with a bibliography listing 243 entries. All in all this is a very useful reference book relevant for all researchers and practitioners interested in hierarchical, partial, and over-constrained systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Englisch.

Codice articolo 9783540614791

Dati bibliografici

• Titolo: Over-Constrained Systems
• Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 1996
• Data di pubblicazione: 1996
• Lingua: Inglese
• ISBN 10: 3540614796
• ISBN 13: 9783540614791
• Rilegatura: Taschenbuch
• Condizione: Neu
• Dimensioni: 235 L x 155 A x 18 P (millimetri) 235 millimetri di larghezza per 155 millimetri di altezza per 18 millimetri di profondità
• Peso: 499 grammi

Descrizione articolo

Riassunto

This volume presents a collection of refereed papers reflecting the state of the art in the area of over-constrained systems.
Besides 11 revised full papers, selected from the 24 submissions to the OCS workshop held in conjunction with the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Marseilles in September 1995, the book includes three comprehensive background papers of central importance for the workshop papers and the whole field. Also included is an introduction by one of the volume editors together with a bibliography listing 243 entries. All in all this is a very useful reference book relevant for all researchers and practitioners interested in hierarchical, partial, and over-constrained systems.

Contenuti

A brief overview of over-constrained systems.- Constraint hierarchies.- Partial constraint satisfaction.- Semiring-based CSPs and valued CSPs: Basic properties and comparison.- Defeasible constraint solving.- Transforming ordered constraint hierarchies into ordinary constraint systems.- A compositional theory of constraint hierarchies (Operational semantics).- Heuristic methods for over-constrained constraint satisfaction problems.- Cascaded directed arc consistency and no-good learning for the maximal constraint satisfaction problem.- Partial arc consistency.- Dynamic constraint satisfaction with conflict management in design.- Specifying over-constrained problems in default logic.- Implementing constraint relaxation over finite domains using assumption-based truth maintenance systems.- Experiences in solving constraint relaxation networks with Boltzmann Machines.- Solving over-constrained CSP using weighted OBDDs.