Publisher's Synopsis
These are the refereed proceedings of the 17th International Conference on Logic Programming, ICLP 2001, held in Paphos, Cyprus in November/December 2001. All current aspects of logic programming and computational logics are addressed.