Agent-Based Defeasible Control in Dynamic Environments (Hardcover, 2002)

Preface. Part I: Introduction and Basic Concepts. Introduction; J.-J.Ch. Meyer, J. Treur. Basic Concepts; J.-J.Ch. Meyer, J. Treur. Part II: Modelling Frameworks and Generic Agent Models. Compositional Design of Multi-Agent Systems: Modelling Dynamics and Control; F.M.T. Brazier, et al. Control Techniques for Complex Reasoning: The Case of Milord II; L. Godo, et al. Concurrent METATEM as a Coordination Language; A. Kellett, M. Fisher. Compositional Design and Reuse of a Generic Agent Model; F.M.T. Brazier, et al. Part IIIA: Formal Analysis: General Approaches. Semantic Formalisation of the Dynamic of Compositional Agent Systems; F.M.T. Brazier, et al. A Descriptive Dynamic Logic and its Application to Reflective Architectures; C. Sierra, et al. Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic; J. Engelfriet, et al. Part IIIB: Formal Analysis: Logics for Agents. Formalising Abilities and Opportunities of Agents; B. van Linder, et al. Seeing is Believing (And so are Hearing and Jumping); B. van Linder, et al. Motivational Attitudes in the KARO Framework; J.-J.Ch. Meyer, et al. Modelling Social Agents: Towards Deliberate Communication; F. Dignum, B. van Linder. Part IIIC: Formal Analysis: Reasoning about Dynamics. Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages; W. Lukaszewicz, E. Madalinska-Bugai. Preferential Action Semantics; J.-J.Ch. Meyer, P. Doherty. Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments; C.M. Jonker, et al. Compositional Verification of a Multi-Agent System for One-to-Many Negotiation; F.M.T. Brazier, et al. Index.