Recent Advances in Constraints
| Themengebiete: | Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Logikprogrammierung |
|---|---|
| Veröffentlichungsdatum: | 07.04.2003 |
| EAN: | 9783540009863 |
| Sprache: | Englisch |
| Seitenzahl: | 220 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | O'Sullivan, Barry |
| Verlag: | Springer Springer-Verlag GmbH |
| Untertitel: | Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers |
Produktinformationen "Recent Advances in Constraints"
Abstract Verification and Debugging of Constraint Logic Programs.- CGRASS: A System for Transforming Constraint Satisfaction Problems.- Interchangeability in Soft CSPs.- Towards Automated Reasoning on the Properties of Numerical Constraints.- Domain-Heuristics for Arc-Consistency Algorithms.- Computing Explanations and Implications in Preference-Based Configurators.- Constraint Processing Offers Improved Expressiveness and Inference for Interactive Expert Systems.- A Note on Redundant Rules in Rule-Based Constraint Programming.- A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables.- A Local Search Algorithm for Balanced Incomplete Block Designs.- The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms.- POOC - A Platform for Object-Oriented Constraint Programming.- A Coordination-Based Framework for Distributed Constraint Solving.- Visopt ShopFloor: Going Beyond Traditional Scheduling.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen