Title: Logic Programming Knowledge Representation and Nonmonotonic Reasoning
            
                Lecture Notes in Artificial Intelligence
Subjects: Computer science, Artificial intelligence, Logic programming, Computer science, mathematics, Knowledge representation (information theory), Programming Techniques, Mathematical Logic and Formal Languages, Artificial Intelligence (incl. Robotics)