New Trends in Constraints: Joint ERCIM/Compulog NetWorkshop Paphos, Cyprus, October 25–27, 1999 Selected Papers

New Trends in Constraints: Joint ERCIM/Compulog NetWorkshop Paphos, Cyprus, October 25–27, 1999 Selected Papers

This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/Compulog-Net Workshop on New Trends in Constraints held in Paphos, Cyprus, Greece in October 1999. The 12 revised full research papers presented together with four surveys by leading researchers were carefully reviewed...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Apt, Krzysztof R, Monfroy, Eric, Kakas, Antonis C, Rossi, Francesca
Format: Buch
Sprache:eng
Schlagworte:
Artificial Intelligence
Computer Science
Logic design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Programming Techniques
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/Compulog-Net Workshop on New Trends in Constraints held in Paphos, Cyprus, Greece in October 1999. The 12 revised full research papers presented together with four surveys by leading researchers were carefully reviewed. The book is divided in topical sections on constraint propagation and manipulation, constraint programming, and rule-based constraint programming.
ISSN:0302-9743
DOI:10.1007/3-540-44654-0