Over-constrained systems : [Papers from a workshop held Sept. 1995 as part of the First International Conference on Principles and Practice of Constraint Programming, at Cassis, France]
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...
Αποθηκεύτηκε σε:
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , , |
| Μορφή: | Livre numérique |
| Γλώσσα: | Anglais |
| Έκδοση: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Σειρά: | Lecture notes in computer science
1106 |
| Θέματα: | |
| Διαθέσιμο Online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Σημείωση: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Over-constrained systems, [Papers from a workshop held Sept. 1995 as part of the First International Conference on Principles and Practice of Constraint Programming, at Cassis, France], Michael Jampel, Eugene C. Freuder, Michael Maher, eds, 1996, Berlin, Springer, 1 vol. (X-309 p.), Lecture notes in computer science, 3-540-61479-6 • Over-Constrained Systems, Texte imprimé, 9783662213582 |
| LEADER | 04553nam a22004697a 4500 | ||
|---|---|---|---|
| 001 | 945361 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155224530 | ||
| 020 | |a 9783540686019 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 005.12 | ||
| 111 | 2 | |a International conference on principles and practice of constraint programming |n (1 |d :1995 |c :Cassis, France). | |
| 245 | 1 | 0 | |a Over-constrained systems : |b [Papers from a workshop held Sept. 1995 as part of the First International Conference on Principles and Practice of Constraint Programming, at Cassis, France] |c edited by] Michael Jampel, Eugene Freuder, Michael Maher. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1106 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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. | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Systèmes, Analyse de | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Contraintes (intelligence artificielle) | ||
| 650 | |a Programmation logique | ||
| 700 | 1 | |a Jampel, Michael, |d 19..- |4 edt | |
| 700 | 1 | |a Freuder, Eugene C., |d 1945- |4 edt | |
| 700 | 1 | |a Maher, Michael J., |d 1959- |4 edt | |
| 776 | 0 | |0 025802232 |t Over-constrained systems |o [Papers from a workshop held Sept. 1995 as part of the First International Conference on Principles and Practice of Constraint Programming, at Cassis, France] |f Michael Jampel, Eugene C. Freuder, Michael Maher, eds |d 1996 |c Berlin |n Springer |p 1 vol. (X-309 p.) |s Lecture notes in computer science |z 3-540-61479-6 | |
| 776 | 0 | |t Over-Constrained Systems |b Texte imprimé |z 9783662213582 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-61479-6 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-PWP29D63-M |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747911207 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-61479-6 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750924047 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-61479-6 |z Accès INSA CVL | |
| 997 | |0 945361 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||