| Verifying Agent's Mental States |
| Model Checking-Based Analysis of Multiagent Systems / M. Benerecetti ; F. Giunchiglia |
| Towards Formal Specification and Verification in Cyberspace / S. Ambroszkiewicz ; W. Penczek ; T. Nowak |
| Verification within the KARO Agent Theory / U. Hustadt ; C. Dixon ; R.A. Schmidt ; M. Fisher ; J.-J.C. Meyer ; W. van der Hoek |
| Synthesizing Agents Initially |
| On Formal Modeling of Agent Computations / T. Araragi ; P. Attie ; I. Keidar ; K. Kogure ; V. Luchangco ; N. Lynch ; K. Mano |
| Modeling and Programming Devices and Web Agents / S.A. McIlraith |
| A Programming Logic for Part of the Agent Language 3APL / K.V. Hindriks ; F.S. de Boer |
| Frameworks and Formalization / Y. Kawabe |
| From Livingstone to SMV (Formal Verification for Autonomous Spacecrafts) / C. Pecheur ; R. Simmons |
| Verification of Plan Models Using UPPAAL / L. Khatib ; N. Muscettola ; K. Havelund |
| Formalization of a Spatialized Multiagent Model Using Coloured à Petri Nets for the Study of an Hunting Management System / I. Bakam ; F. Kordon ; C. Le Page ; F. Bousquet |
| Formal Agent Development: Framework to System / M. d'Inverno ; M. Luck |
| Modeling and Execution |
| Automatic Synthesis of Agent Designs in UML / J. Schumann ; J. Whittle |
| Direct Execution of Agent Specifications |
| Using the ?-Calculus to Model Multiagent Systems / A.C. Esterline ; T. Rorie |
| Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude / J. Van Baalen ; J.L. Caldwell ; S. Mishra |
| Inter-agent Communication |
| Agents Talking Faster / T. Menzies ; B. Cukic ; H. Singh |
| Refining Interactions in a Distributed System / N. Soundarajan |
| Design and Mathematical Analysis of Agent-Based Systems / K. Lerman |
| Modeling Task and Teams through Game Theoretical Agents / M. Rudnianski ; H. Bestougeff |
| Web Agents Cooperating Deductively / R. Waldinger |
| Adaptive Agents |
| Formal Specification of Agent Behaviour through Environment Scenarios / H. Zhu |
| APT Agents: Agents That Are Adaptive, Predictable, and Timely / D.F. Gordon |
| Posters |
| Ontology Negotiation in a Community of Agents / S.C. Bailin |
| Analysis of Agent-Based Systems Using Decision Procedures / R. Bharadwaj |
| A Formal Approach to Belief-Goal-Role Agents / W. Chainbi |
| Model Checking of Autonomy Models for an In-Situ Propellant Production System / P. Engrand |
| Adaptive Supervisory Control of Multi-agent Systems / K. Kiriakidis |
| Machine-Learning for Logic-Based Multi-agent Systems / E. Alonso ; D. Kudenko |
| Using a Formal Framework for Agent System Design / V. Carchiolo ; M. Malgeri ; G. Mangioni |
| Modeling Agent-Based Systems / S. Mandutianu |
| Modeling Agent Systems by Bayesian Belief Networks / Y. Peng |
| The Anthropomorphizing of Intelligent Agents / T. Riley |
| Controlling Multiple Satellite Constellations Using the TeamAgent System / D.M. Surka ; M.E. Campbell ; T.P. Schetter |
| Operations Assistants for Johnson Space Center's Mission Control Center / S.E. Torney |
| A Real Time Object-Oriented Rational Agent Development System / L.P. Wesley |
| Panel Sessions |
| Empirical versus Formal Methods |
| Future Directions |
| Author Index |
| Verifying Agent's Mental States |
| Model Checking-Based Analysis of Multiagent Systems / M. Benerecetti ; F. Giunchiglia |
| Towards Formal Specification and Verification in Cyberspace / S. Ambroszkiewicz ; W. Penczek ; T. Nowak |
| Verification within the KARO Agent Theory / U. Hustadt ; C. Dixon ; R.A. Schmidt ; M. Fisher ; J.-J.C. Meyer ; W. van der Hoek |
| Synthesizing Agents Initially |
| On Formal Modeling of Agent Computations / T. Araragi ; P. Attie ; I. Keidar ; K. Kogure ; V. Luchangco ; N. Lynch ; K. Mano |
