Title: Logical Tools for Handling Change in Agent-Based Systems
Subjects: Symbolic and mathematical Logic, Computer science, Artificial intelligence, Logic, Intelligent agents (computer software), Reasoning, Logic, symbolic and mathematical, Intelligent agents (Computer software), Nonmonotonic reasoning