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