Agent Technology from a Formal Perspective

Description

Title: Agent Technology from a Formal Perspective
Description:
(NASA Monographs in Systems and Software Engineering)
Pages: 360

The field of agent & multi-agent systems is experiencing tremendous growth whilst that of

formal methods has also blossomed. The FAABS (Formal Approaches to Agent-Based Systems)

workshops, merging the concerns of the two fields, were thus timely. This book has arisen from

the overwhelming response to FAABS 00, 02 & 04 and all chapters are updated or represent new

research, & are designed to provide a more in-depth treatment of the topic. Examples of how

others have applied formal methods to agent-based systems are included, plus formal method

tools & techniques that readers can apply to their own systems. Agent Technology from a Formal

Perspective provides an in-depth view of the key issues related to agent technology from a

formal perspective. As this is a relatively new interdisciplinary field, there is enormous room

for further growth and this book not only creates an initial foundation, but points to the

gaps; indicating open problems to be addressed by future researchers, students & practitioners.

Links

http://rapidsharebooks.blogspot.com/2006/11/agent-technology-from-formal.html

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "Agent Technology from a Formal Perspective" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 527
2. Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)
3. Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)
4. Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)
5. Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)
6. Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)
7. Developing Multi-Agent Systems with JADE (Wiley Series in Agent Technology)
8. Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
9. Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
10. Agent Technology and e-Health (Whitestein Series in Software Agent Technologies and Autonomic Computing)
11. Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
12. Global Competitiveness and Innovation: An Agent-Centered Perspective
13. Fuzzy-Neuro Approach to Agent Applications: From the AI Perspective to Modern Ontology
14. Intelligent Agent Technology
15. Constructing Correct Software (Formal Approaches to Computing and Information Technology)
16. Constructing Correct Software (Formal Approaches to Computing and Information Technology)