Logic for programming, artificial intelligence, and reasoning 18th international conference, LPAR-18, Mérida, Venezuela, March 11 - 15, 2012 ; proceedings (Springer, 2012)