Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 Proceedings | lit.salon