Catálogo de publicaciones - libros
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
2006
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