Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers (Lecture Notes in Computer Science, 1871) - Softcover
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.
"synopsis" may belong to another edition of this title.
Search results for Formal Approaches to Agent-Based Systems: First Internationa...
Stock Image
Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers (Lecture Notes in Computer Science)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding. Seller Inventory # 888020
Stock Image
Formal Approaches to Agent-Based Systems
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. pp. 384 Illus. Seller Inventory # 5819617
Buy New
US$ 32.68
US$ 8.90 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Formal Approaches to Agent-Based Systems
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 384. Seller Inventory # 263109694
Stock Image
Formal Approaches to Agent-Based Systems
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. pp. 384. Seller Inventory # 183109684
Buy New
US$ 36.38
US$ 11.80 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Formal Approaches to Agent-Based Systems : First International Workshop, Faabs 2000, Greenbelt, Md, Usa, April 5-7, 2000, Revised Papers
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 916218-n
Stock Image
Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers (Lecture Notes in Computer Science, 1871)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020167246
Seller Image
Formal Approaches to Agent-Based Systems : First International Workshop, Faabs 2000, Greenbelt, Md, Usa, April 5-7, 2000, Revised Papers
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 916218
Stock Image
Formal Approaches to Agent-Based Systems (Paperback)
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2001
ISBN 10: 3540427163
ISBN 13: 9783540427162
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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. This text constitutes the post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, 2000. The work presents 22 revised papers and 13 posters organized in topical sections including; verifying agents' mental states, synthesizing agents initially and modelling. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783540427162
Stock Image
Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers (Lecture Notes in Computer Science, 1871)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540427162_new
Buy New
US$ 69.54
US$ 16.41 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Formal Approaches to Agent-Based Systems : First International Workshop, Faabs 2000, Greenbelt, Md, Usa, April 5-7, 2000, Revised Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 916218-n
Buy New
US$ 70.93
US$ 20.54 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available