Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constra
Author: Joint 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
Added by: sketch
Added Date: 2015-12-29
Language: eng
Subjects: Constraint 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
Publishers: Berlin ; New York : Springer
Collections: journals contributions, journals
ISBN Number: 3540218343, 9783540218340
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 150.95 MB
PDF Size: 3.43 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Downloads: 497
Views: 547
Total Files: 18
Media Type: texts
Total Files: 5
Last Modified: 2023-05-26 03:17:36
Size: 9.84 KB
Description
Author: 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/b96986
Table 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