Catálogo de publicaciones - libros

Compartir en
redes sociales


Agent Technology from a Formal Perspective

Christopher A. Rouff ; Michael Hinchey ; James Rash ; Walter Truszkowski ; Diana Gordon-Spears (eds.)

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2006 SpringerLink

Información

Tipo de recurso:

libros

ISBN impreso

978-1-85233-947-0

ISBN electrónico

978-1-84628-271-3

Editor responsable

Springer Nature

País de edición

Reino Unido

Fecha de publicación

Información sobre derechos de publicación

© Springer-Verlag London Limited 2006

Tabla de contenidos

What Is an Agent? And What Is an Agent Community?

Walter F. Truszkowski

Thermodynamics is a powerful tool for the study of chemical reactions and is intimately related to the atomic and molecular description of the species participating in these reactions. The transformation of energy involved in the reactions depends on the thermodynamic conditions of the reaction, and can be expressed in terms of various thermodynamic functions. One such function is the Gibbs free energy [–], expressed by Eq.(l):

Part I - Background | Pp. 3-24

Introduction to Formal Methods

Michael Hinchey; Jonathan P. Bowen; Christopher A. Rouff

Thermodynamics is a powerful tool for the study of chemical reactions and is intimately related to the atomic and molecular description of the species participating in these reactions. The transformation of energy involved in the reactions depends on the thermodynamic conditions of the reaction, and can be expressed in terms of various thermodynamic functions. One such function is the Gibbs free energy [–], expressed by Eq.(l):

Part I - Background | Pp. 25-64

Formal Methods and Agent-Based Systems

Michael Luck; Mark d’Inverno

Thermodynamics is a powerful tool for the study of chemical reactions and is intimately related to the atomic and molecular description of the species participating in these reactions. The transformation of energy involved in the reactions depends on the thermodynamic conditions of the reaction, and can be expressed in terms of various thermodynamic functions. One such function is the Gibbs free energy [–], expressed by Eq.(l):

Part I - Background | Pp. 65-96

A Process-Algebraic Agent Abstraction

Albert Esterline; Toinette Rorie; Abdollah Homaifar

Thermodynamics is a powerful tool for the study of chemical reactions and is intimately related to the atomic and molecular description of the species participating in these reactions. The transformation of energy involved in the reactions depends on the thermodynamic conditions of the reaction, and can be expressed in terms of various thermodynamic functions. One such function is the Gibbs free energy [–], expressed by Eq.(l):

Part II - Formal Methods in Agent Design | Pp. 99-137

Dynamic Team Formation in Executable Agent-Based Systems

Michael Fisher; Chiara Ghidini; Antony Kakoudakis

Thermodynamics is a powerful tool for the study of chemical reactions and is intimately related to the atomic and molecular description of the species participating in these reactions. The transformation of energy involved in the reactions depends on the thermodynamic conditions of the reaction, and can be expressed in terms of various thermodynamic functions. One such function is the Gibbs free energy [–], expressed by Eq.(l):

Part II - Formal Methods in Agent Design | Pp. 139-158

Scenario-Based Engineering of Multi-Agent Systems

Jon Whittle; Johann Schumann

Thermodynamics is a powerful tool for the study of chemical reactions and is intimately related to the atomic and molecular description of the species participating in these reactions. The transformation of energy involved in the reactions depends on the thermodynamic conditions of the reaction, and can be expressed in terms of various thermodynamic functions. One such function is the Gibbs free energy [–], expressed by Eq.(l):

Part II - Formal Methods in Agent Design | Pp. 159-189

Verification Within the KARO Agent Theory

Ullrich Hustadt; Clare Dixon; Renate A. Schmidt; Michael Fisher; John-Jules Charles Meyer; Wiebe van der Hoek

Thermodynamics is a powerful tool for the study of chemical reactions and is intimately related to the atomic and molecular description of the species participating in these reactions. The transformation of energy involved in the reactions depends on the thermodynamic conditions of the reaction, and can be expressed in terms of various thermodynamic functions. One such function is the Gibbs free energy [–], expressed by Eq.(l):

Part III - Formal Agent Verification and Redesign | Pp. 193-225

Assuring the Behavior of Adaptive Agents

Diana F. Spears

Thermodynamics is a powerful tool for the study of chemical reactions and is intimately related to the atomic and molecular description of the species participating in these reactions. The transformation of energy involved in the reactions depends on the thermodynamic conditions of the reaction, and can be expressed in terms of various thermodynamic functions. One such function is the Gibbs free energy [–], expressed by Eq.(l):

Part III - Formal Agent Verification and Redesign | Pp. 227-257

Agents in a Wild World

Tim Menzies; Ying Hu

Thermodynamics is a powerful tool for the study of chemical reactions and is intimately related to the atomic and molecular description of the species participating in these reactions. The transformation of energy involved in the reactions depends on the thermodynamic conditions of the reaction, and can be expressed in terms of various thermodynamic functions. One such function is the Gibbs free energy [–], expressed by Eq.(l):

Part III - Formal Agent Verification and Redesign | Pp. 259-283

Formal Methods at NASA Goddard Space Flight Center

Christopher A. Rouff; James L. Rash; Michael G. Hinchey; Walter F. Truszkowski

Thermodynamics is a powerful tool for the study of chemical reactions and is intimately related to the atomic and molecular description of the species participating in these reactions. The transformation of energy involved in the reactions depends on the thermodynamic conditions of the reaction, and can be expressed in terms of various thermodynamic functions. One such function is the Gibbs free energy [–], expressed by Eq.(l):

Part IV - Significant Applications | Pp. 287-309