Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Hill, Patricia M. (Editor), Warren, David S. (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
• Series: Lecture Notes in Computer Science, 5649
• Subjects: Computer science.; Computer programming.; Programming languages (Electronic computers).; Computers.; Computer logic.; Computer science > Mathematics.; Artificial intelligence.; Computer Science.; Theory of Computation.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Mathematics of Computing.; Artificial Intelligence (incl. Robotics).; Logics and Meanings of Programs.

This book constitutes the refereed proceedings of the 25th International Conference on Logic Programming, ICLP 2009, held in Pasadena, CA, USA, in July2009. The 29 revised full papers together with 9 short papers, 4 invited talks, 4 invited tutorials, and the abstracts of 18 doctoral consortium arti...