This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.
Simply click on the Download Book button.
Yes, Book downloads on Ebookily are 100% Free.
Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"
This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2006, held in Phnom Penh, Cambodia in November 2006.
The 38 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 96 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.
Author(s): Miki Hermann, Andrei Voronkov
Series: Lecture Notes in Artificial Intelligence 4246
Edition: 1
Publisher: Springer
Year: 2006
Language: English
Pages: 598