These are the refereed proceedings of the 17th International Conference on Logic Programming, ICLP 2001, held in Paphos, Cyprus in November/December 2001. The 23 revised full papers presented were reviewed and selected from 64 submissions. All current aspects of logic programming and computational logics are addressed.
These are the refereed proceedings of the 17th International Conference on Logic Programming, ICLP 2001, held in Paphos, Cyprus in November/December 2...
