1. FAABS 2000:
Greenbelt,
MD,
USA
James L. Rash, Christopher Rouff, Walt Truszkowski, Diana F. Gordon, Michael G. Hinchey (Eds.):
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 Springer 2001, ISBN 3-540-42716-3 BibTeX
@proceedings{DBLP:conf/faabs/2000,
editor = {James L. Rash and
Christopher Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Formal Approaches to Agent-Based Systems, First International
Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised
Papers},
booktitle = {FAABS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1871},
year = {2001},
isbn = {3-540-42716-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Verifying Agent's Mental States
Synthesizing Agents Initially
- Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy A. Lynch, Ken Mano:
On Formal Modeling of Agent Computations.
48-62
Electronic Edition (Springer LINK) BibTeX
- Sheila A. McIlraith:
Modeling and Programming Devices and Web Agents.
63-77
Electronic Edition (Springer LINK) BibTeX
- Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
A Programming Logic for Part of the Agent Language 3APL.
78-89
Electronic Edition (Springer LINK) BibTeX
- Yoshinobu Kawabe, Ken Mano, Kiyoshi Kogure:
The Nepi2 Programming System: A pi-Calculus-Based Approach to Agent-Based Programming.
90-102
Electronic Edition (Springer LINK) BibTeX
Frameworks and Formalization
Modeling and Execution
Inter-agent Communication
Adaptive Agents
Posters
Panel Sessions
Copyright © Sat May 16 23:11:46 2009
by Michael Ley (ley@uni-trier.de)
