default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. FAABS 2000: Greenbelt, MD, USA
- James L. Rash, Christopher A. Rouff, Walt Truszkowski, Diana F. Gordon, Michael G. Hinchey:
Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers. Lecture Notes in Computer Science 1871, Springer 2001, ISBN 3-540-42716-3
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 Nepi2 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-08 10:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
