Marcello Balduccini, Tomi Janhunen
Logic Programming and Nonmonotonic Reasoning
- Springer 2017
- Lecture Notes in Computer Science .
9783319616605
Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Discrete Mathematics in Computer Science; Software Engineering; Programming Techniques