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 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Apt, Krzysztof R. (Επιμελητής έκδοσης), Fages, François (Επιμελητής έκδοσης), Rossi, Francesca (Επιμελητής έκδοσης), Szeredi, Péter (Επιμελητής έκδοσης), Váncza, Josef (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Σειρά: Lecture Notes in Computer Science, 3010
• Θέματα: Computer science.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computer logic.; Artificial intelligence.; Computer industry.; Computer Science.; Software Engineering/Programming and Operating Systems.; Artificial Intelligence (incl. Robotics).; The Computer Industry.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.

Constraint programming is the fruit of several decades of research carried out in mathematical logic, automated deduction, operations research and arti?cial intelligence. The tools and programming languages arising from this research ?eldhaveenjoyedrealsuccessintheindustrialworldastheycontributetoso...

Πίνακας περιεχομένων:

• Constraint Solving
• A Comparative Study of Arithmetic Constraints on Integer Intervals
• Clustering for Disconnected Solution Sets of Numerical CSPs
• Implementing Propagators for Tabular Constraints
• Constraint Methods for Modal Satisfiability
• Learning Approximate Consistencies
• Soft Constraints
• Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs
• Tradeoff Generation Using Soft Constraints
• Experimental Evaluation of Interchangeability in Soft CSPs
• Language Issues
• A Rule Language for Interaction
• A Generic Trace Schema for the Portability of CP(FD) Debugging Tools
• Applications
• Teaching Constraints through Logic Puzzles
• Reduce-To-The-Opt – A Specialized Search Algorithm for Contiguous Task Scheduling
• A New Approach to Modeling and Solving Minimal Perturbation Problems
• Protein Folding in CLP( ) with Empirical Contact Energies
• Gestures for Embodied Agents with Logic Programming.