New Trends in Constraints: Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers

Front Cover
Krzysztof Apt, Antonis Kakas, Eric Monfroy, Francesca Rossi
Springer Science & Business Media, Aug 23, 2000 - Computers - 340 pages
0 Reviews
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.

What people are saying - Write a review

We haven't found any reviews in the usual places.

Other editions - View all

About the author (2000)

Krzysztof R. Apt received his PhD in 1974 in mathematical logic from the University of Warsaw in Poland. He is a senior researcher at CWI, Amsterdam and Professor of Computer Science at the University of Amsterdam. He is the author of three other books: Verification of Sequential and Concurrent Programs (with E.-R. Olderog), From Logic Programming to Prolog, and Principles of Constraint Programming, and has published 50 journal articles and 15 book chapters. He is the founder and the first editor-in-chief of the ACM Transactions on Computational Logic, and past president of the Association for Logic Programming. He is a member of the Academia Europaea (Mathematics and Informatics Section).

Bibliographic information