Knowledge Representation Reasoning and the Design of Intelligent AgentsMichael Gelfond · First published 2014Open the Tome
Logic Programming and Nonmonotonic ReasoningMichael Gelfond, Nicole Leone, Gerald Pfeifer · First published 2003Open the Tome