Title: Logic Programming and Nonmotonic Reasoning
Subjects: Mathematical Logic and Formal Languages, Programming Techniques, Computer science, Artificial intelligence, Artificial Intelligence (incl. Robotics)