Logic programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings - Stuckey, P. J. 1963- (Lecture notes in computer science ;, 2002)