default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2. FAABS 2002: Greenbelt, MD, USA
- Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff, Diana F. Gordon-Spears:
Formal Approaches to Agent-Based Systems, Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers. Lecture Notes in Computer Science 2699, Springer 2003, ISBN 3-540-40665-4 - Tim Menzies, Adrian R. Pearce, Clinton Heinze, Simon Goss:
What Is an Agent and Why Should I Care? 1-14 - Michael Fisher, Chiara Ghidini, Benjamin Hirsch
:
Organising Logic-Based Agents. 15-27 - Bahram Kimiaghalam, Abdollah Homaifar, Albert C. Esterline:
A Statechart Framework for Agent Roles that Captures Expertise and Learns Improved Behavior. 28-36 - Virginia Dignum, John-Jules Ch. Meyer, Frank Dignum, Hans Weigand:
Formal Specification of Interaction in Agent Societies. 37-52 - Stacy D. Nelson, Charles Pecheur:
Formal Verification for a Next-Generation Space Shuttle. 53-67 - Jeffrey Van Baalen, Thomas Böhne:
Automated Protocol Analysis in Maude. 68-78 - Joaquín Peña, Rafael Corchuelo, José Luis Arjona:
Towards Interaction Protocol Operations for Large Multi-agent Systems. 79-91 - Kiriakos Kiriakidis, Diana F. Gordon-Spears:
Formal Modeling and Supervisory Control of Reconfigurable Robot Teams. 92-102 - Hyuckchul Jung, Ranjit Nair, Milind Tambe, Stacy Marsella:
Computational Models for Multiagent Coordination Analysis: Extending Distributed POMDP Models. 103-114 - Alessio Lomuscio, T. Lasica, Wojciech Penczek:
Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results. 115-125 - Ramesh Bharadwaj:
Verifiable Middleware for Secure Agent Interoperability. 126-132 - Silvana Zappacosta-Amboldi:
Distributed Implementation of a Connection Graph Based on Cylindric Set Algebra Operators. 133-145 - Albert C. Esterline:
Using Statecharts and Modal Logics to Model Multiagent Plans and Transactions. 146-161 - Peter J. Robinson, Michael G. Hinchey, Keith L. Clark:
Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities. 162-172 - Mikael Marche, Yves-Marie Quemener:
A Model for Conformance Testing of Mobile Agents in a MASIF Framework. 173-192 - Diana F. Gordon-Spears, William M. Spears:
Analysis of a Phase Transition in a Physics-Based Multiagent System. 193-207 - Tim Menzies, David Owen, Bojan Cukic:
You Seem Friendly, But Can I Trust You? 208-219 - Jeffrey S. Hicks, Richard Flanagan, Plamen V. Petrov, Alexander D. Stoyen:
Taking Intelligent Agents to the Battlefield. 220-232 - Ramesh Bharadwaj:
Naval Applications of Secure Multi-agent Technology. 235 - Charles Pecheur:
Challenges Arising from Applications. 236-238 - Craig Schlenoff:
Applications Panel: Agents Applied to Autonomous Vehicles. 239-240 - Stuart Aldridge, Alexander D. Stoyen, Jeffrey S. Hicks, Plamen V. Petrov:
Using XML for Interprocess Communications in a Space Situational Awareness and Control Application. 241-253 - Diana F. Gordon-Spears:
Asimov's Laws: Current Progress. 257-259 - James P. Hogan:
Asimov's Laws. 260-263 - Yoji Kondo:
On Laws of Robotics. 264-265 - Walt Truszkowski:
Challenges Arising from Applications of Agent-Based System. 269-273 - John-Jules Ch. Meyer:
Tools and Education towards Formal Methods Practice. 274-279 - Margo Bergman:
Evaluating Agent-Based Modeling as a Tool for Economists. 283-285 - Michel Rudnianski, Helene Bestougeff:
Modeling Traffic Control through Deterrent Agents. 286-289 - Craig Schlenoff, Michael Grüninger:
Towards a Formal Representation of Driving Behaviors. 290-291 - Alexander M. Hoole, Issa Traoré, Michael Yanguo Liu:
Formal Analysis of an Agent-Based Medical Diagnosis Confirmation System: (Extended Abstract). 292-293 - Birna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer:
Agent Programming in Dribble: From Beliefs to Goals with Plans. 294-295
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-19 01:17 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:
