This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia, October 15-19, 2007.
The 36 revised full papers presented together with 15 short papers and 3 invited talks were carefully reviewed and selected from 78 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.
Book Details
- Paperback: 562 pages
- Publisher: Springer; 1 edition (December, 2007)
- Language: English
- ISBN-10: 3540755586
- ISBN-13: 978-3540755586
- File Size: 8.9 MiB
- Hits: 1,369 times
