Formal Approaches to Agent-Based Systems First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Rash, James L. (Editor, http://id.loc.gov/vocabulary/relators/edt), Rouff, Christopher A. (Editor, http://id.loc.gov/vocabulary/relators/edt), Truszkowski, Walter (Editor, http://id.loc.gov/vocabulary/relators/edt), Gordon, Diana (Editor, http://id.loc.gov/vocabulary/relators/edt), Hinchey, Michael G. (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Edition: 1st ed. 2001.
• Series: Lecture Notes in Artificial Intelligence ; 1871
• Subjects: Artificial intelligence.; Architecture, Computer.; Software engineering.; Computer logic.; Mathematical logic.; Artificial Intelligence.; Computer System Implementation.; Software Engineering/Programming and Operating Systems.; Logics and Meanings of Programs.; Software Engineering.; Mathematical Logic and Formal Languages.

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 c...