Portada

LOGICAL TOOLS FOR HANDLING CHANGE IN AGENT-BASED SYSTEMS IBD

SPRINGER
03 / 2012
9783642261879
Inglés

Sinopse

and Motivation.- Basic Definitions and Results.- Abstract Semantics by Size.- Preferential Structures #x2013, Part I.- Preferential Structures #x2013, Part II.- Higher Preferential Structures.- Deontic Logic and Hierarchical Conditionals.- Theory Update and Theory Revision.- An Analysis of Defeasible Inheritance Systems.

PVP
243,25