Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday - Marcello Balduccini, Tran Cao Son ((Lecture Notes in Computer Science))