New Trends in Constraints : Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, Oc ... ( Ausgestellt von 7.11.2000 bis 13.11.2000 )
OMNIS Neuerwerbung
Titel : New Trends in Constraints : Joint ERCIM/Compulog Net Workshop
Paphos, Cyprus, October 25-27, 1999 Selected Papers
Dokumenttyp : Kongresswerk
ISBN : 3540678859
Erscheinungsjahr : 2000
Herausgeber : Apt, Krzysztof R. Kakas, Antonis C. Monfroy, Eric u.a.
Serientitel : Lecture Notes in Computer Science
Bandnummer : 1865
Erste Seite : 1
Letzte Seite : 338
Tagungsname : The Joint ERCIM/Compulog Net Workshop on New Trends in Constraints
October 25-27, 1999
Tagungsort : Paphos, Cyprus
Tagungsjahr : 1999
Verlag : Springer , Berlin
Bemerkung : Lecture Notes in Artificial Intelligence
Standort : 0105 (Serien)
Signatur : 2.2000F177
Archiviert am : 3.11.2000
Neuerwerbungsregal : von 7.11.2000 bis 13.11.2000
Inhaltsverzeichnis:
New Trends in Constraints : Joint ERCIM/Compulog Net Workshop Paphos, Cyprus,
October 25-27, 1999 Selected Papers
Hrsg.: Krzysztof R. Apt Antonis C. Kakas Eric Monfroy
Francesca Rossi
Springer , Berlin , 2000 , 338 S.
ISBN 3540678859
( Lecture Notes in Computer Science ; 1865 )
Lecture Notes in Artificial Intelligence
Table of Contents
Invited Contributions and Surveys
Interval Constraints: Results and Perspectives 1
Frédéric Benhamou, Laurent Granvilliers, and Frédéric Goualard
(Universitè de Nantes)
A Constraint-Based Language for Virtual Agents 17
Philippe Codognet (Univercity of Paris 6)
Constraint (Logic) Programming: A Survey on Research and Applications. 40
Francesca Rossi (Univercity of Padova)
OPL Script: Composing and Controlling Models 75
Pascal Van Hentenryck (Université Catholique de Louvain)
and L. Michel (ILOG)
Constraint Propagation and Manipulation
Some Remarks on Boolean Constraint Propagation 91
Krzystof R. Apt (CWI)
Abstracting Soft Constraints 108
S. Bistarelli (Univercity of Pisa), Philippe Codognet
(Univercity of Paris 6), Y. Georget (INRIA Roguencovrt),
and Francesca Rossi (Univercity of Padova)
Decomposable Constraints 134
Ian Gent (Univercity of St. Andre1vs), Kostas Stergiou
(Univercity of Strathclyde), and Toby Walsh (Univercity of York)
Generating Propagation Rules for Finite Domains: A Mixed Approach 150
Christophe Ringeissen (LORIA-INRIA) and Eric Monfroy (CWI)
Ways of Maintaining Arc Consistency in Search Using the Cartesian
Representation 173
Marius-C. Silaghi, Djamila Sam-Haroud, and Boi Faltings
(SV'iss Institute of Technology)
Constraint Programming
Combining Constraint Logic Programming Techniques for Solving Linear
Problems 188
Reem BaEgat and Samir E. Abdel-Rahman (Cairo University)
X Table of Contents
Quantitati~e Observables and Averages in Probabilistic Constraint
ProgrammiLg .. ..... ........................................ 212
Alessandra Di Pierro (Univercity of Pisa) and Herbert WiLlicky
(Imperial College)
Dynamic Constraint Models for Planning and Scheduling Problems 237
Roman Barták (Charles University)
A Finite Domain CLP Solver on Top of Mercury 256
Henk Vandecasteele, Bart Demoen, and Gerda Janssens (K. U. Leuven)
Rule-Based Constraint Programming
Rule Based Programming with Constraints and Strategies 274
Hubert Dubois and Hélène Kirchner (LORIA- UHP and CNRS)
Proving Termination of Constraint Solver Programs 298
Thom Frubu~irth (LMU)
Projection in Adaptive Constraint Handling 318
Armin Wolf (GMD)
Author Index 339