Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers [1 ed.] 3540244220, 9783540244226, 9783540309604

Table of contents :
Front Matter....Pages -
Ecology Based Decentralized Agent Management System....Pages 1-11
From Abstract to Concrete Norms in Agent Institutions....Pages 12-29
Meeting the Deadline: Why, When and How....Pages 30-40
Multi-agent Systems Reliability, Fuzziness, and Deterrence....Pages 41-56
Formalism Challenges of the Cougaar Model Driven Architecture....Pages 57-71
Facilitating the Specification Capture and Transformation Process in the Development of Multi-agent Systems....Pages 72-91
Using Ontologies to Formalize Services Specifications in Multi-agent Systems....Pages 92-110
Two Formal Gas Models for Multi-agent Sweeping and Obstacle Avoidance....Pages 111-130
A Formal Analysis of Potential Energy in a Multi-agent System....Pages 131-145
Agent-Based Chemical Plume Tracing Using Fluid Dynamics....Pages 146-160
Towards Timed Automata and Multi-agent Systems....Pages 161-172
An Approach to V&V of Embedded Adaptive Systems....Pages 173-188
Verifying Multi-agent Systems via Unbounded Model Checking....Pages 189-212
Towards Symbolic Model Checking for Multi-agent Systems via obdd ’s....Pages 213-221
Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols....Pages 222-237
F-OWL: An Inference Engine for Semantic Web....Pages 238-248
Model-Driven Architecture for Agent-Based Systems....Pages 249-261
Apoptosis and Self-Destruct: A Contribution to Autonomic Agents?....Pages 262-270
Petri Nets as Modeling Tool for Emergent Agents....Pages 271-274
Massive Multi-agent systems control....Pages 275-280
Fuzzy Hybrid Deliberative/Reactive Paradigm (FHDRP)....Pages 281-286
Interaction and Communication of Agents in Networks and Language Complexity Estimates....Pages 287-289
Back Matter....Pages -