ISBN-10:
1402008341
ISBN-13:
9781402008344
Pub. Date:
08/31/2002
Publisher:
Springer Netherlands
Agent-Based Defeasible Control in Dynamic Environments / Edition 1

Agent-Based Defeasible Control in Dynamic Environments / Edition 1

by John-Jules Ch. Meyer, Jan Treur

Hardcover

Current price is , Original price is $279.99. You
Select a Purchase Option (2002)
  • purchase options
    $223.99 $279.99 Save 20% Current price is $223.99, Original price is $279.99. You Save 20%.
  • purchase options

Product Details

ISBN-13: 9781402008344
Publisher: Springer Netherlands
Publication date: 08/31/2002
Series: Handbook of Defeasible Reasoning and Uncertainty Management Systems , #7
Edition description: 2002
Pages: 479
Product dimensions: 6.14(w) x 9.21(h) x 0.36(d)

Table of Contents

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.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews