Logic Programming Knowledge Representation and Nonmonotonic Reasoning Lecture Notes in Artificial Intelligence | lit.salon