Chitta Baral Gianluigi Greco Nicola Leone Giorgio Terracina Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings 3662 2005 3-540-28538-5 LPNMR Lecture Notes in Computer Science Springer db/conf/lpnmr/lpnmr2005.html