ENGLISH

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

By Andrei Voronkov (eds.) , Nikolaj Bjørner , Elvira Albert , Puri Arenas , Samir Genaim (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2012
ISBN
9783642287169, 3642287166, 9783642287176, 3642287174
DOI
10.1007/978-3-642-28717-6
Language
english
Format
PDF
Filesize
5 MB (5522216 bytes)
Series
Lecture Notes in Computer Science 7180
Edition
1
Pages
446\456
Time added
2013-04-24 17:00:00
CompilersInterpretersSoftware Engineering; Artificial Intelligence (inc

Description

This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and selected from 74 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.

Similar books