Logic Programming
Subtitle: 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: September 17, 2002
Language: eng
Format: Paperback
Number of pages: 486
ISBN-13: 9783540439301
Subjects: Computer Programming; Computer architecture & logic design; Mathematical logic; Logic Programming; Computers; Medical / Nursing; Computer Books: General; General; Programming - General; Programming Languages - General; Computers / Artificial Intelligence; computational logic; constraint logic; deduction; formal verification; linear logic; program semantics; programming
Description: This book constitutes the refereed proceedings of the 18th International Conference on Logic Programming, ICLP 2002, held in Copenhagen, Denmark, in July/August 2002. The 29 revised full papers presented together with two invited contributions and 13 posters were carefully reviewed and selected from 82 submissions. All current aspects of logic programming and computational logic are addressed.