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 
- Maxim Peysakhov, Vincent A. Cicirello, William C. Regli:
Ecology Based Decentralized Agent Management System.
1-11
- Davide Grossi, Frank Dignum:
From Abstract to Concrete Norms in Agent Institutions.
12-29
- Frank Dignum, Jan Broersen, Virginia Dignum, John-Jules Ch. Meyer:
Meeting the Deadline: Why, When and How.
30-40
- Michel Rudnianski, Helene Bestougeff:
Multi-agent Systems Reliability, Fuzziness, and Deterrence.
41-56
- Shawn A. Bohner, Boby George, Denis Gracanin, Michael G. Hinchey:
Formalism Challenges of the Cougaar Model Driven Architecture.
57-71
- 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
- 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
- Wesley Kerr, Diana F. Spears, William M. Spears, David R. Thayer:
Two Formal Gas Models for Multi-agent Sweeping and Obstacle Avoidance.
111-130
- William M. Spears, Diana F. Spears, Rodney Heil:
A Formal Analysis of Potential Energy in a Multi-agent System.
131-145
- Dimitri Zarzhitsky, Diana F. Spears, David R. Thayer, William M. Spears:
Agent-Based Chemical Plume Tracing Using Fluid Dynamics.
146-160
- Guillaume Hutzler, Hanna Klaudel, Dong Yue Wang:
Towards Timed Automata and Multi-agent Systems.
161-172
- Sampath Yerramalla, Yan Liu, Edgar Fuller, Bojan Cukic, Srikanth Gururajan:
An Approach to V&V of Embedded Adaptive Systems.
173-188
- Magdalena Kacprzak, Alessio Lomuscio, T. Lasica, Wojciech Penczek, Maciej Szreter:
Verifying Multi-agent Systems via Unbounded Model Checking.
189-212
- Franco Raimondi, Alessio Lomuscio:
Towards Symbolic Model Checking for Multi-agent Systems via OBDD's.
213-221
- Jaime Ramírez, Angélica de Antonio:
Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols.
222-237
- Youyong Zou, Timothy W. Finin, Harry Chen:
F-OWL: An Inference Engine for Semantic Web.
238-248
- Denis Gracanin, H. Lally Singh, Shawn A. Bohner, Michael G. Hinchey:
Model-Driven Architecture for Agent-Based Systems.
249-261
- Roy Sterritt, Michael G. Hinchey:
Apoptosis and Self-Destruct: A Contribution to Autonomic Agents?
262-270
Poster Presentations
Last update Wed May 22 04:11:06 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
