Logical Tools for Handling Change in Agent-Based Systemsde Dov M. GabbayMateriasSymbolic and mathematical LogicComputer scienceArtificial intelligenceLogicIntelligent agents (computer software)ReasoningLogic, symbolic and mathematicalIntelligent agents (Computer software)Nonmonotonic reasoningEdiciones