Title: Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 Proceedings
Subjects: Logic programming, Artificial intelligence, Automatic theorem proving, Reasoning