×
Loading...

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 by Joint ERCIM/CoLogNet International Works...

Book Information

TitleRecent 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
CreatorJoint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming (2003 : Budapest, Hungary), Apt, Krzysztof R., 1949-, European Research Consortium for Informatics and Mathematics, CoLogNET
Year2004
PPI300
PublisherBerlin ; New York : Springer
LanguageEnglish
Mediatypetexts
SubjectConstraint programming (Computer science), Logic programming, Programmation par contraintes, Contrainte (Intelligence artificielle), Programmation logique, Constraint (Künstliche Intelligenz), Constraint-Erfüllung, Constraint-logische Programmierung, Constraint-Erfüllung, Constraint-logische Programmierung, Constraint (Künstliche Intelligenz), Constraint-Erfüllung, Constraint-logische Programmierung
ISBN3540218343, 9783540218340
Collectionjournals_contributions, journals
Uploadersketch
Identifierspringer_10.1007-b96986
Telegram icon Share on Telegram
Download Now

Description

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 PapersAuthor: Krzysztof R. Apt, François Fages, Francesca Rossi, Péter Szeredi, Josef Váncza Published by Springer Berlin Heidelberg ISBN: 978-3-540-21834-0 DOI: 10.1007/b96986Table of Contents: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 Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs Tradeoff Generation Using Soft Constraints Experimental Evaluation of Interchangeability in Soft CSPs A Rule Language for Interaction A Generic Trace Schema for the Portability of CP(FD) Debugging Tools 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( Gestures for Embodied Agents with Logic Programming, Includes bibliographical references and index