Abstract is missing.
- What Is an Agent and Why Should I Care?Tim Menzies, Adrian R. Pearce, Clinton Heinze, Simon Goss. 1-14 [doi]
- Organising Logic-Based AgentsMichael Fisher, Chiara Ghidini, Benjamin Hirsch. 15-27 [doi]
- A Statechart Framework for Agent Roles that Captures Expertise and Learns Improved BehaviorBahram Kimiaghalam, Abdollah Homaifar, Albert C. Esterline. 28-36 [doi]
- Formal Specification of Interaction in Agent SocietiesVirginia Dignum, John-Jules Ch. Meyer, Frank Dignum, Hans Weigand. 37-52 [doi]
- Formal Verification for a Next-Generation Space ShuttleStacy D. Nelson, Charles Pecheur. 53-67 [doi]
- Automated Protocol Analysis in MaudeJeffrey Van Baalen, Thomas Böhne. 68-78 [doi]
- Towards Interaction Protocol Operations for Large Multi-agent SystemsJoaquín Peña, Rafael Corchuelo, José Luis Arjona. 79-91 [doi]
- Formal Modeling and Supervisory Control of Reconfigurable Robot TeamsKiriakos Kiriakidis, Diana F. Gordon-Spears. 92-102 [doi]
- Computational Models for Multiagent Coordination Analysis: Extending Distributed POMDP ModelsHyuckchul Jung, Ranjit Nair, Milind Tambe, Stacy Marsella. 103-114 [doi]
- Bounded Model Checking for Interpreted Systems: Preliminary Experimental ResultsAlessio Lomuscio, T. Lasica, Wojciech Penczek. 115-125 [doi]
- Verifiable Middleware for Secure Agent InteroperabilityRamesh Bharadwaj. 126-132 [doi]
- Distributed Implementation of a Connection Graph Based on Cylindric Set Algebra OperatorsSilvana Zappacosta-Amboldi. 133-145 [doi]
- Using Statecharts and Modal Logics to Model Multiagent Plans and TransactionsAlbert C. Esterline. 146-161 [doi]
- Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning CapabilitiesPeter J. Robinson, Michael G. Hinchey, Keith L. Clark. 162-172 [doi]
- A Model for Conformance Testing of Mobile Agents in a MASIF FrameworkMikael Marche, Yves-Marie Quemener. 173-192 [doi]
- Analysis of a Phase Transition in a Physics-Based Multiagent SystemDiana F. Gordon-Spears, William M. Spears. 193-207 [doi]
- You Seem Friendly, But Can I Trust You?Tim Menzies, David Owen, Bojan Cukic. 208-219 [doi]
- Taking Intelligent Agents to the BattlefieldJeffrey S. Hicks, Richard Flanagan, Plamen V. Petrov, Alexander D. Stoyen. 220-232 [doi]
- Naval Applications of Secure Multi-agent TechnologyRamesh Bharadwaj. 235 [doi]
- Challenges Arising from ApplicationsCharles Pecheur. 236-238 [doi]
- Applications Panel: Agents Applied to Autonomous VehiclesCraig Schlenoff. 239-240 [doi]
- Using XML for Interprocess Communications in a Space Situational Awareness and Control ApplicationStuart Aldridge, Alexander D. Stoyen, Jeffrey S. Hicks, Plamen V. Petrov. 241-253 [doi]
- Asimov s Laws: Current ProgressDiana F. Gordon-Spears. 257-259 [doi]
- Asimov s LawsJames P. Hogan. 260-263 [doi]
- On Laws of RoboticsYoji Kondo. 264-265 [doi]
- Challenges Arising from Applications of Agent-Based SystemWalt Truszkowski. 269-273 [doi]
- Tools and Education towards Formal Methods PracticeJohn-Jules Ch. Meyer. 274-279 [doi]
- Evaluating Agent-Based Modeling as a Tool for EconomistsMargo Bergman. 283-285 [doi]
- Modeling Traffic Control through Deterrent AgentsMichel Rudnianski, Helene Bestougeff. 286-289 [doi]
- Towards a Formal Representation of Driving BehaviorsCraig Schlenoff, Michael Grüninger. 290-291 [doi]
- Formal Analysis of an Agent-Based Medical Diagnosis Confirmation System: (Extended Abstract)Alexander Hoole, Issa Traoré, Michael Yanguo Liu. 292-293 [doi]
- Agent Programming in Dribble: From Beliefs to Goals with PlansM. Birna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer. 294-295 [doi]