Semirings for soft constraint solving and programming :: SCD d'Orléans

Semirings for soft constraint solving and programming

Semirings for soft constraint solving and programming

Constraint satisfaction and constraint programming have shown to be very simple but powerful ideas, with applications in various areas. Still, in the last ten years, the simple notion of constraints has shown some deficiencies concerning both theory and practice, typically in the way over-constraine...

Descrizione completa

Salvato in:

Dettagli Bibliografici
Autore principale:	Bistarelli, Stefano
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science 2962
Soggetti:	Génie logiciel Informatique Langages de programmation Ordinateurs Intelligence artificielle Programmation par contraintes
Accesso 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
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Semirings for soft constraint solving and programming, Stefano Bistarelli, Berlin, Springer, 2004, 1 vol. (XII-279 p.), Lecture notes in computer science, 3-540-21181-0 • Semirings for Soft Constraint Solving and Programming, Texte imprimé, 9783662205198

Documenti analoghi

Analysis and visualization tools for constraint programming : constraint debugging
di: Deransart, Pierre, 1945-...., informaticien

Programming constraint services : high-level programming of standard and new constraint services
di: Schulte, Christian, 19..-

Principles and practice of constraint programming : second international workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2-4, 1994 : proceedings

Principles and practice of constraint programming CP 99 : 5th international conference, CP'99, Alexandria,VA, USA, October 11-14, 1999 : proceedings

Principles and practice of constraint programming - CP '95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings

Principles and practice of constraint programming : CP 2004 : 10th international conference, CP 2004 Toronto, Canada, September 27 - October 1, 2004 : proceedings

Principles and practice of constraint programming : CP 2002 : 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002 : Proceedings
di: Van Hentenryck, Pascal, 1963-
Pubblicazione: (2003)

Principles and practice of constraint programming CP 2000 : 6th International Conference, CP 2000, Singapore, September 18 21, 2000 : proceedings

Principles and practice of constraint programming - CP 97 : Third International Conference, CP 97, Linz, Austria, October 29 November 1, 1997 : proceedings

Principles and practice of constraint programming - CP98 : 4th international conference, CP98, Pisa, Italy, October 26-30, 1998 : proceedings

Principles and practice of constraint programming CP 2003 : 9th international conference, CP 2003, Kinsale, Ireland, September 29-October 3, 2003 : proceedings

Principles and practice of constraint programming - CP 2001 : 7th international conference, CP 2001, Paphos, Cyprus, November 26 December 1, 2001 : proceedings

Principles and practice of constraint programming - CP96 : Second International Conference, CP96, Cambridge, MA, USA, August 19-22, 1996 : proceedings

Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003 : selected papers

Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19 21, 2002 : selected papers
di: O'Sullivan, Barry

Constraint processing : selected papers

New trends in constraints : Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25 27, 1999 : selected papers
di: Apt, Krzysztof R., 1949-

Conclog : a methodological approach to concurrent logic programming
di: Jacquet, Jean-Marie, 19..-...., chercheur en informatique

Programming language implementation and logic programming : [second] International Workshop PLILP '90, Linköping, Sweden, August 20 22, 1990 : proceedings

Constraint-based agents : an architecture for constraint-based modeling and local-search-based reasoning for planning and scheduling in open and dynamic worlds
di: Nareyek, Alexander

Programming language implementation and logic programming : 4th International Symposium, PLILP'92, Leuven, Belgium, August 26 28, 1992 : proceedings

Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26 28, 1991 : proceedings

Programming language implementation and logic programming : 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25 27, 1993 : proceedings

Programming multi-agent systems : First international workshop, ProMAS 2003, Melbourne, Australia, July 15, 2003 : selected revised and invited papers
di: Dastani, Mehdi

Agent-oriented programming : from prolog to guarded definite clauses
di: Huntbach, Matthew M., 19..-, et al.

Constraints in computational logics : theory and applications : International Summer School, CCL 99, Gif-sur-Yvette, France, September 5 8, 1999 : revised lectures

Formal methods in programming and their applications : international conference, Academgorodok, Russia June 28 July 2, 1993 : proceedings

Constraint databases and applications : Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11 12, 1997, CP '96 Workshop on Constraints and Databases Cambridge, MA, USA, August 19, 1996 : selected papers

Constraint programming : basics and trends : 1994 Châtillon [22nd] Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers

Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7 11, 1992 Proceedings

Advanced functional programming : second international school, Olympia, WA, USA, August 26-30, 1996 : tutorial text

Constraint databases and applications : ESPRIT WG CONTESSA workshop, Friedrichshafen, Germany, September 8-9, 1995 : proceedings

Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings

Practical aspects of declarative languages : second InternationalWorkshop, PADL 2000, Boston, MA, USA, January 17 18, 2000 : proceedings

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]

The Munich Project CIP. the program transformation system CIP-S
di: Bauer, Friedrich Ludwig, 1924-2015, et al.

Agent-oriented software engineering IV : 4th international workshop, AOSE 2003, Melbourne, Australia, July 15, 2003 : revised papers

Algebraic specification techniques in object oriented programming environments
di: Breu, Ruth, 19..-

Advanced functional programming : first International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995 : tutorial text

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : First international conference, CPAIOR 2004, Nice, France, April 20-22, 2004 : Proceedings
di: Régin, Jean-Charles

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales