Logic-Based Artificial Intelligence (Kluwer International Series in Engineering and Computer Science)

Covers topics such as commonsense reasoning, knowledge representation, nonmonotonic reasoning, logic for causation and actions, planning and problem solving, cognitive robotics, logic for agents and actions, inductive reasoning, possibilistic logic, logic and beliefs, logic and language, and computational logic.