Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers by James L. RashFormal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers by James L. Rash

Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000 Greenbelt, MD…

EditorJames L. Rash, Christopher A. Rouff, Walter Truszkowski

Paperback | October 10, 2001

Pricing and Purchase Info

$125.55 online 
$141.95 list price save 11%
Earn 628 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000, held in Greenbelt, MD, USA, in April 2000.The 22 revised full papers presented together with 13 posters and two panel discussion reports were carefully reviewed and improved for inclusion in the book. The papers are organized in topical sections on verifying agents' mental states, synthesizing agents initially, frameworks and formalizations, modeling and execution, inter-agent communication, and adaptive agents.
Title:Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000 Greenbelt, MD…Format:PaperbackDimensions:378 pages, 9.25 × 6.1 × 0.03 inPublished:October 10, 2001Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540427163

ISBN - 13:9783540427162

Look for similar items by category:

Reviews