You might also like

More about Formal Approaches to Agent-Based Systems

• Book details
• Synopsis
• Trending among others

You get 154 loyalty points

Book synopsis

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2002, held in Greenbelt, MD, in October 2002.§The 18 revised full papers and 5 poster papers presented together with 9 panel statements and summaries were carefully selected for presentation during two rounds of reviewing and improvement. Among the topics addressed are formal models for agent communication, communication protocols, logic-based agents, statechart frameworks, formal specification of agent interaction, space shuttle applications, automated satellite ground operations, formal verification, agent control, multi-agent coordination, agent languages, mobile agent testing, battlefield agents, XML, autonomous agents, etc.

Book details

Book category Books in English Computing & information technology Computer science Artificial intelligence

• Full title: Formal Approaches to Agent-Based Systems
• Subtitle: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers
• Author: Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher Rouff
• Language: English
• Binding: Paperback
• Number of pages: 295
• EAN: 9783540406655
• ISBN: 3540406654
• ID: 01562898
• Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Weight: 980 g
• Dimensions: 233 × 155 × 17 mm
• Date of publishing: 29. July 2003

Trending among others

---

---

---