Knowledge Representation Reasoning and the Design of Intelligent Agents by Michael Gelfond | Menrva Books