- Jeffrey Van Baalen, James L. Caldwell, Shivakant Mishra:
Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude. FAABS 2000: 180-193 - Sidney C. Bailin:
Ontology Negotiation in a Community of Agents. FAABS 2000: 294-297 - 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. FAABS 2000: 123-132 - Massimo Benerecetti, Fausto Giunchiglia:
Model Checking-Based Analysis of Multiagent Systems. FAABS 2000: 1-15 - Ramesh Bharadwaj:
Analysis of Agent-Based Systems Using Decision Procedures. FAABS 2000: 298-299 - Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni:
Using a Formal Framework for Agent System Design. FAABS 2000: 308-317 - Walid Chainbi:
A Formal Approach to Belief-Goal-Role Agents. FAABS 2000: 300-301 - Peter Engrand, Charles Pecheur:
Model Checking of Autonomy Models for an In-Situ Propellant Production System. FAABS 2000: 302-303 - Albert C. Esterline, Toinette Rorie:
Using the pi-Calculus to Model Multiagent Systems. FAABS 2000: 164-179 - Michael Fisher:
Direct Execution of Agent Specifications. FAABS 2000: 163 - Diana F. Gordon:
APT Agents: Agents That Are Adaptive, Predictable, and Timely. FAABS 2000: 278-293 - Diana F. Gordon, Henry Hexmoor, Robert L. Axtell, Nenad Ivezic:
Panel Discussion: Empirical versus Formal Methods. FAABS 2000: 345-353 - Michael G. Hinchey, James A. Hendler, Charles Pecheur, Constance L. Heitmeyer, Diana F. Gordon, Michael Luck, Walt Truszkowski:
Panel Discussion: Future Directions. FAABS 2000: 354-368 - 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. FAABS 2000: 78-89 - Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek:
Verification within the KARO Agent Theory. FAABS 2000: 33-47 - Yoshinobu Kawabe, Ken Mano, Kiyoshi Kogure:
The Nepi2 Programming System: A pi-Calculus-Based Approach to Agent-Based Programming. FAABS 2000: 90-102 - Lina Khatib, Nicola Muscettola, Klaus Havelund:
Verification of Plan Models Using UPPAAL. FAABS 2000: 114-122 - Kiriakos Kiriakidis, Diana F. Gordon:
Adaptive Supervisory Control of Multi-agent Systems. FAABS 2000: 304-305 - Kristina Lerman:
Design and Mathematical Analysis of Agent-Based Systems. FAABS 2000: 222-234 - Sanda Mandutianu:
Modeling Agent-Based Systems. FAABS 2000: 318-320 - Sheila A. McIlraith:
Modeling and Programming Devices and Web Agents. FAABS 2000: 63-77 - Tim Menzies, Bojan Cukic, Harshinder Singh:
Agents Talking Faster. FAABS 2000: 194-208 - Charles Pecheur, Reid G. Simmons:
From Livingstone to SMV. FAABS 2000: 103-113 - Yun Peng:
Modeling Agent Systems by Bayesian Belief Networks. FAABS 2000: 321-322 - Tom A. D. Riley:
The Anthropomorphizing of Intelligent Agents. FAABS 2000: 323-334 - Michel Rudnianski, Helene Bestougeff:
Modeling Task and Teams through Game Theoretical Agents. FAABS 2000: 235-249 - Johann Schumann, Jon Whittle:
Automatic Synthesis of Agent Designs in UML. FAABS 2000: 148-162 - Neelam Soundarajan:
Refining Interactions in a Distributed System. FAABS 2000: 209-221 - Derek M. Surka, Mark E. Campbell, Thomas P. Schetter:
Controlling Multiple Satellite Constellations Using the TEAMAgent System. FAABS 2000: 335-336 - Susan E. Torney:
Operations Assistants for Johnson Space Center's Mission Control Center. FAABS 2000: 337-338