Abstract is missing.
- Ecology Based Decentralized Agent Management SystemMaxim Peysakhov, Vincent A. Cicirello, William C. Regli. 1-11 [doi]
- From Abstract to Concrete Norms in Agent InstitutionsDavide Grossi, Frank Dignum. 12-29 [doi]
- Meeting the Deadline: Why, When and HowFrank Dignum, Jan Broersen, Virginia Dignum, John-Jules Ch. Meyer. 30-40 [doi]
- Multi-agent Systems Reliability, Fuzziness, and DeterrenceMichel Rudnianski, Helene Bestougeff. 41-56 [doi]
- Formalism Challenges of the Cougaar Model Driven ArchitectureShawn A. Bohner, Boby George, Denis Gracanin, Michael G. Hinchey. 57-71 [doi]
- Facilitating the Specification Capture and Transformation Process in the Development of Multi-agent SystemsAluízio Haendchen Filho, Nuno Caminada, Edward Hermann Haeusler, Arndt von Staa. 72-91 [doi]
- Using Ontologies to Formalize Services Specifications in Multi-agent SystemsKarin Koogan Breitman, Aluízio Haendchen Filho, Edward Hermann Haeusler, Arndt von Staa. 92-110 [doi]
- Two Formal Gas Models for Multi-agent Sweeping and Obstacle AvoidanceWesley Kerr, Diana F. Spears, William M. Spears, David R. Thayer. 111-130 [doi]
- A Formal Analysis of Potential Energy in a Multi-agent SystemWilliam M. Spears, Diana F. Spears, Rodney Heil. 131-145 [doi]
- Agent-Based Chemical Plume Tracing Using Fluid DynamicsDimitri Zarzhitsky, Diana F. Spears, David R. Thayer, William M. Spears. 146-160 [doi]
- Towards Timed Automata and Multi-agent SystemsGuillaume Hutzler, Hanna Klaudel, D. Yue Wang. 161-172 [doi]
- An Approach to V&V of Embedded Adaptive SystemsSampath Yerramalla, Yan Liu, Edgar Fuller, Bojan Cukic, Srikanth Gururajan. 173-188 [doi]
- Verifying Multi-agent Systems via Unbounded Model CheckingMagdalena Kacprzak, Alessio Lomuscio, T. Lasica, Wojciech Penczek, Maciej Szreter. 189-212 [doi]
- Towards Symbolic Model Checking for Multi-agent Systems via OBDD sFranco Raimondi, Alessio Lomuscio. 213-221 [doi]
- Formal Consistency Verification of Deliberative Agents with Respect to Communication ProtocolsJaime Ramírez, Angélica de Antonio. 222-237 [doi]
- F-OWL: An Inference Engine for Semantic WebYouyong Zou, Timothy W. Finin, Harry Chen. 238-248 [doi]
- Model-Driven Architecture for Agent-Based SystemsDenis Gracanin, H. Lally Singh, Shawn A. Bohner, Michael G. Hinchey. 249-261 [doi]
- Apoptosis and Self-Destruct: A Contribution to Autonomic Agents?Roy Sterritt, Michael G. Hinchey. 262-270 [doi]
- Petri Nets as Modeling Tool for Emergent AgentsMargo Bergman. 271-274 [doi]
- Massive Multi-agent systems controlJean-Charles Campagne, Alain Cardon, Etienne Collomb, Toyoaki Nishida. 275-280 [doi]
- Fuzzy Hybrid Deliberative/Reactive Paradigm (FHDRP)Hengameh Sarmadi. 281-286 [doi]
- Interaction and Communication of Agents in Networks and Language Complexity EstimatesJan Smid, Marek Obitko, David Fisher, Walt Truszkowski. 287-289 [doi]