Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, Lpar-20 2015, Suva, Fiji, November 24-28, 2015, Proceedi 2015 Edition Contributor(s): Davis, Martin (Editor), Fehnker, Ansgar (Editor), McIver, Annabelle (Editor) |
|
ISBN: 3662488981 ISBN-13: 9783662488980 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: December 2015 |
Additional Information |
BISAC Categories: - Computers | Software Development & Engineering - General - Computers | Compilers - Computers | Intelligence (ai) & Semantics |
Dewey: 005.1 |
Physical Information: 1.32" H x 6.14" W x 9.21" (2.00 lbs) 640 pages |
Descriptions, Reviews, Etc. |
Publisher Description: This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji.
The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, LPAR, is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. |