Abstract is missing.
- Model Checking-Based Analysis of Multiagent SystemsMassimo Benerecetti, Fausto Giunchiglia. 1-15 [doi]
- Towards Formal Specification and Verification in CyberspaceStanislaw Ambroszkiewicz, Wojciech Penczek, Tomasz Nowak. 16-32 [doi]
- Verification within the KARO Agent TheoryUllrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek. 33-47 [doi]
- On Formal Modeling of Agent ComputationsTadashi Araragi, Paul C. Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy A. Lynch, Ken Mano. 48-62 [doi]
- Modeling and Programming Devices and Web AgentsSheila A. McIlraith. 63-77 [doi]
- A Programming Logic for Part of the Agent Language 3APLKoen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. 78-89 [doi]
- The Nepi:::2::: Programming System: A pi-Calculus-Based Approach to Agent-Based ProgrammingYoshinobu Kawabe, Ken Mano, Kiyoshi Kogure. 90-102 [doi]
- From Livingstone to SMVCharles Pecheur, Reid G. Simmons. 103-113 [doi]
- Verification of Plan Models Using UPPAALLina Khatib, Nicola Muscettola, Klaus Havelund. 114-122 [doi]
- Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management SystemInnocent Bakam, Fabrice Kordon, Christophe Le Page, François Bousquet. 123-132 [doi]
- Formal Agent Development: Framework to SystemMark d Inverno, Michael Luck. 133-147 [doi]
- Automatic Synthesis of Agent Designs in UMLJohann Schumann, Jon Whittle. 148-162 [doi]
- Direct Execution of Agent SpecificationsMichael Fisher. 163 [doi]
- Using the pi-Calculus to Model Multiagent SystemsAlbert C. Esterline, Toinette Rorie. 164-179 [doi]
- Specifying and Checking Fault-Tolerant Agent-Based Protocols Using MaudeJeffrey Van Baalen, James L. Caldwell, Shivakant Mishra. 180-193 [doi]
- Agents Talking FasterTim Menzies, Bojan Cukic, Harshinder Singh. 194-208 [doi]
- Refining Interactions in a Distributed SystemNeelam Soundarajan. 209-221 [doi]
- Design and Mathematical Analysis of Agent-Based SystemsKristina Lerman. 222-234 [doi]
- Modeling Task and Teams through Game Theoretical AgentsMichel Rudnianski, Helene Bestougeff. 235-249 [doi]
- Web Agents Cooperating DeductivelyRichard J. Waldinger. 250-262 [doi]
- Formal Specification of Agent Behaviour through Environment ScenariosHong Zhu. 263-277 [doi]
- APT Agents: Agents That Are Adaptive, Predictable, and TimelyDiana F. Gordon. 278-293 [doi]
- Ontology Negotiation in a Community of AgentsSidney C. Bailin. 294-297 [doi]
- Analysis of Agent-Based Systems Using Decision ProceduresRamesh Bharadwaj. 298-299 [doi]
- A Formal Approach to Belief-Goal-Role AgentsWalid Chainbi. 300-301 [doi]
- Model Checking of Autonomy Models for an In-Situ Propellant Production SystemPeter Engrand, Charles Pecheur. 302-303 [doi]
- Adaptive Supervisory Control of Multi-agent SystemsKiriakos Kiriakidis, Diana F. Gordon. 304-305 [doi]
- Machine Learning for Logic-Based Multi-agent SystemsEduardo Alonso, Daniel Kudenko. 306-307 [doi]
- Using a Formal Framework for Agent System DesignVincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni. 308-317 [doi]
- Modeling Agent-Based SystemsSanda Mandutianu. 318-320 [doi]
- Modeling Agent Systems by Bayesian Belief NetworksYun Peng. 321-322 [doi]
- The Anthropomorphizing of Intelligent AgentsTom A. D. Riley. 323-334 [doi]
- Controlling Multiple Satellite Constellations Using the TEAMAgent SystemDerek M. Surka, Mark E. Campbell, Thomas P. Schetter. 335-336 [doi]
- Operations Assistants for Johnson Space Center s Mission Control CenterSusan E. Torney. 337-338 [doi]
- A Real Time Object-Oriented Rational Agent Development SystemLeonard P. Wesley. 339-344 [doi]
- Panel Discussion: Empirical versus Formal MethodsDiana F. Gordon, Henry Hexmoor, Robert L. Axtell, Nenad Ivezic. 345-353 [doi]
- Panel Discussion: Future DirectionsMichael G. Hinchey, James A. Hendler, Charles Pecheur, Constance L. Heitmeyer, Diana F. Gordon, Michael Luck, Walt Truszkowski. 354-368 [doi]