3. FAABS 2004: Greenbelt, MD, USA

• 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, D. 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

• Margo Bergman:
  Petri Nets as Modeling Tool for Emergent Agents. 271-274
  
• Jean-Charles Campagne, Alain Cardon, Etienne Collomb, Toyoaki Nishida:
  Massive Multi-agent systems control. 275-280
  
• Hengameh Sarmadi:
  Fuzzy Hybrid Deliberative/Reactive Paradigm (FHDRP). 281-286
  
• Jan Smid, Marek Obitko, David Fisher, Walt Truszkowski:
  Interaction and Communication of Agents in Networks and Language Complexity Estimates. 287-289