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