Michael Gelfond

• Knowledge Representation Reasoning and the Design of Intelligent Agents
• Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach
• Logic Programming and Nonmonotonic Reasoning