1. FAABS 2000: Greenbelt, MD, USA

@proceedings{DBLP:conf/faabs/2000,
  editor    = {James L. Rash and
               Christopher Rouff and
               Walt Truszkowski and
               Diana F. Gordon and
               Michael G. Hinchey},
  title     = {Formal Approaches to Agent-Based Systems, First International
               Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised
               Papers},
  booktitle = {FAABS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1871},
  year      = {2001},
  isbn      = {3-540-42716-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Verifying Agent's Mental States

• Massimo Benerecetti, Fausto Giunchiglia:
  Model Checking-Based Analysis of Multiagent Systems. 1-15
  
• Stanislaw Ambroszkiewicz, Wojciech Penczek, Tomasz Nowak:
  Towards Formal Specification and Verification in Cyberspace. 16-32
  
• Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek:
  Verification within the KARO Agent Theory. 33-47
  

Synthesizing Agents Initially

• Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy A. Lynch, Ken Mano:
  On Formal Modeling of Agent Computations. 48-62
  
• Sheila A. McIlraith:
  Modeling and Programming Devices and Web Agents. 63-77
  
• Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
  A Programming Logic for Part of the Agent Language 3APL. 78-89
  
• Yoshinobu Kawabe, Ken Mano, Kiyoshi Kogure:
  The Nepi² Programming System: A pi-Calculus-Based Approach to Agent-Based Programming. 90-102
  

Frameworks and Formalization

• Charles Pecheur, Reid G. Simmons:
  From Livingstone to SMV. 103-113
  
• Lina Khatib, Nicola Muscettola, Klaus Havelund:
  Verification of Plan Models Using UPPAAL. 114-122
  
• Innocent Bakam, Fabrice Kordon, Christophe Le Page, François Bousquet:
  Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System. 123-132
  
• Mark d'Inverno, Michael Luck:
  Formal Agent Development: Framework to System. 133-147
  

Modeling and Execution

• Johann Schumann, Jon Whittle:
  Automatic Synthesis of Agent Designs in UML. 148-162
  
• Michael Fisher:
  Direct Execution of Agent Specifications. 163
  
• Albert C. Esterline, Toinette Rorie:
  Using the pi-Calculus to Model Multiagent Systems. 164-179
  
• Jeffrey Van Baalen, James L. Caldwell, Shivakant Mishra:
  Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude. 180-193
  

Inter-agent Communication

• Tim Menzies, Bojan Cukic, Harshinder Singh:
  Agents Talking Faster. 194-208
  
• Neelam Soundarajan:
  Refining Interactions in a Distributed System. 209-221
  
• Kristina Lerman:
  Design and Mathematical Analysis of Agent-Based Systems. 222-234
  
• Michel Rudnianski, Helene Bestougeff:
  Modeling Task and Teams through Game Theoretical Agents. 235-249
  
• Richard J. Waldinger:
  Web Agents Cooperating Deductively. 250-262
  

Adaptive Agents

• Hong Zhu:
  Formal Specification of Agent Behaviour through Environment Scenarios. 263-277
  
• Diana F. Gordon:
  APT Agents: Agents That Are Adaptive, Predictable, and Timely. 278-293
  

Posters

• Sidney C. Bailin:
  Ontology Negotiation in a Community of Agents. 294-297
  
• Ramesh Bharadwaj:
  Analysis of Agent-Based Systems Using Decision Procedures. 298-299
  
• Walid Chainbi:
  A Formal Approach to Belief-Goal-Role Agents. 300-301
  
• Peter Engrand, Charles Pecheur:
  Model Checking of Autonomy Models for an In-Situ Propellant Production System. 302-303
  
• Kiriakos Kiriakidis, Diana F. Gordon:
  Adaptive Supervisory Control of Multi-agent Systems. 304-305
  
• Eduardo Alonso, Daniel Kudenko:
  Machine Learning for Logic-Based Multi-agent Systems. 306-307
  
• Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni:
  Using a Formal Framework for Agent System Design. 308-317
  
• Sanda Mandutianu:
  Modeling Agent-Based Systems. 318-320
  
• Yun Peng:
  Modeling Agent Systems by Bayesian Belief Networks. 321-322
  
• Tom A. D. Riley:
  The Anthropomorphizing of Intelligent Agents. 323-334
  
• Derek M. Surka, Mark E. Campbell, Thomas P. Schetter:
  Controlling Multiple Satellite Constellations Using the TEAMAgent System. 335-336
  
• Susan E. Torney:
  Operations Assistants for Johnson Space Center's Mission Control Center. 337-338
  
• Leonard P. Wesley:
  A Real Time Object-Oriented Rational Agent Development System. 339-344
  

Panel Sessions

• Diana F. Gordon, Henry Hexmoor, Robert L. Axtell, Nenad Ivezic:
  Panel Discussion: Empirical versus Formal Methods. 345-353
  
• Michael G. Hinchey, James A. Hendler, Charles Pecheur, Constance L. Heitmeyer, Diana F. Gordon, Michael Luck, Walt Truszkowski:
  Panel Discussion: Future Directions. 354-368