Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers (2001) (Lecture Notes in Computer Science #1871)
By: and and and and
Sign Up Now!
Already a Member? Log In
You must be logged into UK education collection to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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.
- Copyright:
- 2001
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783540454847
- Related ISBNs:
- 9783540427162
- Publisher:
- Springer Berlin Heidelberg
- Date of Addition:
- 06/30/22
- Copyrighted By:
- N/A
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet, Mathematics and Statistics, Philosophy
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- James L. Rash
- Edited by:
- Christopher A. Rouff
- Edited by:
- Walter Truszkowski
- Edited by:
- Diana Gordon
- Edited by:
- Michael G. Hinchey
Reviews
Other Books
- by James L. Rash
- by Christopher A. Rouff
- by Walter Truszkowski
- by Diana Gordon
- by Michael G. Hinchey
- in Nonfiction
- in Computers and Internet
- in Mathematics and Statistics
- in Philosophy