Logic programming and nonmonotonic reasoning [Electronic resource] : 9th International conference, LPNMR 2007, Tempe, Az, USA, May 15-17, 2007: proceedings / ed. C. Baral. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4483). - ISBN 978-3-540-72200-7 : Б. ц.