Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings - LPNMR 2011. 2011 : Vancouver, Canada); Faber, Wolfgang; Delgrande, James P. (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Computer science; Software engineering; Logic design; Computational complexity; Artificial intelligence