3. FAABS 2004:
Greenbelt,
MD,
USA
Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff (Eds.):
Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected Papers.
Lecture Notes in Computer Science 3228 Springer 2005, ISBN 3-540-24422-0 BibTeX
- Maxim Peysakhov, Vincent A. Cicirello, William C. Regli:
Ecology Based Decentralized Agent Management System.
1-11
Electronic Edition (link) BibTeX
- Davide Grossi, Frank Dignum:
From Abstract to Concrete Norms in Agent Institutions.
12-29
Electronic Edition (link) BibTeX
- Frank Dignum, Jan Broersen, Virginia Dignum, John-Jules Ch. Meyer:
Meeting the Deadline: Why, When and How.
30-40
Electronic Edition (link) BibTeX
- Michel Rudnianski, Helene Bestougeff:
Multi-agent Systems Reliability, Fuzziness, and Deterrence.
41-56
Electronic Edition (link) BibTeX
- Shawn A. Bohner, Boby George, Denis Gracanin, Michael G. Hinchey:
Formalism Challenges of the Cougaar Model Driven Architecture.
57-71
Electronic Edition (link) BibTeX
- Aluízio Haendchen Filho, Nuno Caminada, Edward Hermann Haeusler, Arndt von Staa:
Facilitating the Specification Capture and Transformation Process in the Development of Multi-agent Systems.
72-91
Electronic Edition (link) BibTeX
- Karin Koogan Breitman, Aluízio Haendchen Filho, Edward Hermann Haeusler, Arndt von Staa:
Using Ontologies to Formalize Services Specifications in Multi-agent Systems.
92-110
Electronic Edition (link) BibTeX
- Wesley Kerr, Diana F. Spears, William M. Spears, David R. Thayer:
Two Formal Gas Models for Multi-agent Sweeping and Obstacle Avoidance.
111-130
Electronic Edition (link) BibTeX
- William M. Spears, Diana F. Spears, Rodney Heil:
A Formal Analysis of Potential Energy in a Multi-agent System.
131-145
Electronic Edition (link) BibTeX
- Dimitri Zarzhitsky, Diana F. Spears, David R. Thayer, William M. Spears:
Agent-Based Chemical Plume Tracing Using Fluid Dynamics.
146-160
Electronic Edition (link) BibTeX
- Guillaume Hutzler, Hanna Klaudel, D. Yue Wang:
Towards Timed Automata and Multi-agent Systems.
161-172
Electronic Edition (link) BibTeX
- Sampath Yerramalla, Yan Liu, Edgar Fuller, Bojan Cukic, Srikanth Gururajan:
An Approach to V&V of Embedded Adaptive Systems.
173-188
Electronic Edition (link) BibTeX
- Magdalena Kacprzak, Alessio Lomuscio, T. Lasica, Wojciech Penczek, Maciej Szreter:
Verifying Multi-agent Systems via Unbounded Model Checking.
189-212
Electronic Edition (link) BibTeX
- Franco Raimondi, Alessio Lomuscio:
Towards Symbolic Model Checking for Multi-agent Systems via OBDD's.
213-221
Electronic Edition (link) BibTeX
- Jaime Ramírez, Angélica de Antonio:
Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols.
222-237
Electronic Edition (link) BibTeX
- Youyong Zou, Timothy W. Finin, Harry Chen:
F-OWL: An Inference Engine for Semantic Web.
238-248
Electronic Edition (link) BibTeX
- Denis Gracanin, H. Lally Singh, Shawn A. Bohner, Michael G. Hinchey:
Model-Driven Architecture for Agent-Based Systems.
249-261
Electronic Edition (link) BibTeX
- Roy Sterritt, Michael G. Hinchey:
Apoptosis and Self-Destruct: A Contribution to Autonomic Agents?
262-270
Electronic Edition (link) BibTeX
Poster Presentations
Copyright © Sat May 16 23:11:46 2009
by Michael Ley (ley@uni-trier.de)
