Bjørner N., Voronkov A. (Eds.) Logic for programming, artificial intelligence and reasoning

18th International Conference, LPAR-18 Mérida, Venezuela, March 11-15, 2012 Proceedings. — Springer, 2012. — 456 p.This volume contains the papers presented at LPAR-18: the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, held on March 11–15, 2012 in Merida, Venezuela. Following the call for papers, LPAR-18 received 85 abstracts, materializing in 74 submissions. Each submission was reviewed by at least three of the 36 Program Committee members. The committee decided to accept 25 regular papers and 6 tool descriptions and experimental papers. The program also included talks by four distinguished invited speakers: Elvira Albert (Complutense University of Madrid), Kenneth McMillan (Microsoft Research), Aart Middeldorp (University of Innsbruck), and Boris Motik (University of Oxford); covering areas ranging from constraint programming and resource analysis of programs, software verification and interpolation, rewriting and matrix interpretations, and description logics.