Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings / [electronic resource] : edited by James P. Delgrande, Wolfgang Faber. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - Lecture Notes in Computer Science, 6645 0302-9743 ; .

9783642208959


Computer science.
Software engineering.
Logic design.
Computational complexity.
Artificial intelligence.