Ebook: Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings
- Genre: Education // International Conferences and Symposiums
- Tags: Programming Techniques, Artificial Intelligence (incl. Robotics), Programming Languages Compilers Interpreters, Logics and Meanings of Programs, Mathematical Logic and Formal Languages
- Series: Lecture Notes in Computer Science 4670 : Programming and Software Engineering
- Year: 2007
- Publisher: Springer-Verlag Berlin Heidelberg
- City: San Diego
- Edition: 1
- Language: English
- pdf
This book constitutes the refereed proceedings of the 23rd International Conference on Logic Programming, ICLP 2007, held in Porto, Portugal, September 2007.
The 22 revised full papers together with two invited talks as well as 15 poster presentations and the abstracts of five doctoral consortium articles were carefully reviewed and selected from 74 initial submissions. The papers cover all issues of current research in logic programming and are organized in topical sections on theory, functional and constraint logic programming, program analysis, answer-set programming, semantics, and applications.
This book constitutes the refereed proceedings of the 23rd International Conference on Logic Programming, ICLP 2007, held in Porto, Portugal, September 8-13, 2007.
The 22 revised full papers together with 2 invited talks as well as 15 poster presentations and the abstracts of 5 doctoral consortium articles were carefully reviewed and selected from 74 initial submissions. The papers cover all issues of current research in logic programming - they are organized in topical sections on theory, functional and constraint logic programming, program analysis, answer-set programming, semantics, and applications.