- Albert C. Esterline:
Using Statecharts and Modal Logics to Model Multiagent Plans and Transactions. FAABS 2002: 146-161 - Michael Fisher, Chiara Ghidini, Benjamin Hirsch:
Organising Logic-Based Agents. FAABS 2002: 15-27 - Diana F. Gordon-Spears:
Asimov's Laws: Current Progress. FAABS 2002: 257-259 - Jeffrey S. Hicks, Richard Flanagan, Plamen V. Petrov, Alexander D. Stoyen:
Taking Intelligent Agents to the Battlefield. FAABS 2002: 220-232 - James P. Hogan:
Asimov's Laws. FAABS 2002: 260-263 - Alexander M. Hoole, Issa Traoré, Michael Yanguo Liu:
Formal Analysis of an Agent-Based Medical Diagnosis Confirmation System: (Extended Abstract). FAABS 2002: 292-293 - Hyuckchul Jung, Ranjit Nair, Milind Tambe, Stacy Marsella:
Computational Models for Multiagent Coordination Analysis: Extending Distributed POMDP Models. FAABS 2002: 103-114 - Bahram Kimiaghalam, Abdollah Homaifar, Albert C. Esterline:
A Statechart Framework for Agent Roles that Captures Expertise and Learns Improved Behavior. FAABS 2002: 28-36 - Kiriakos Kiriakidis, Diana F. Gordon-Spears:
Formal Modeling and Supervisory Control of Reconfigurable Robot Teams. FAABS 2002: 92-102 - Yoji Kondo:
On Laws of Robotics. FAABS 2002: 264-265 - Alessio Lomuscio, T. Lasica, Wojciech Penczek:
Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results. FAABS 2002: 115-125 - Mikael Marche, Yves-Marie Quemener:
A Model for Conformance Testing of Mobile Agents in a MASIF Framework. FAABS 2002: 173-192 - Tim Menzies, David Owen, Bojan Cukic:
You Seem Friendly, But Can I Trust You? FAABS 2002: 208-219 - Tim Menzies, Adrian R. Pearce, Clinton Heinze, Simon Goss:
What Is an Agent and Why Should I Care? FAABS 2002: 1-14 - John-Jules Ch. Meyer:
Tools and Education towards Formal Methods Practice. FAABS 2002: 274-279 - Stacy D. Nelson, Charles Pecheur:
Formal Verification for a Next-Generation Space Shuttle. FAABS 2002: 53-67 - Charles Pecheur:
Challenges Arising from Applications. FAABS 2002: 236-238 - Joaquín Peña, Rafael Corchuelo, José Luis Arjona:
Towards Interaction Protocol Operations for Large Multi-agent Systems. FAABS 2002: 79-91 - Birna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer:
Agent Programming in Dribble: From Beliefs to Goals with Plans. FAABS 2002: 294-295 - Peter J. Robinson, Michael G. Hinchey, Keith L. Clark:
Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities. FAABS 2002: 162-172 - Michel Rudnianski, Helene Bestougeff:
Modeling Traffic Control through Deterrent Agents. FAABS 2002: 286-289 - Craig Schlenoff:
Applications Panel: Agents Applied to Autonomous Vehicles. FAABS 2002: 239-240 - Craig Schlenoff, Michael Grüninger:
Towards a Formal Representation of Driving Behaviors. FAABS 2002: 290-291 - Walt Truszkowski:
Challenges Arising from Applications of Agent-Based System. FAABS 2002: 269-273 - Silvana Zappacosta-Amboldi:
Distributed Implementation of a Connection Graph Based on Cylindric Set Algebra Operators. FAABS 2002: 133-145 - 2001
- 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 [contents] - 2000
- Eduardo Alonso, Daniel Kudenko:
Machine Learning for Logic-Based Multi-agent Systems. FAABS 2000: 306-307 - Stanislaw Ambroszkiewicz, Wojciech Penczek, Tomasz Nowak:
Towards Formal Specification and Verification in Cyberspace. FAABS 2000: 16-32 - Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy A. Lynch, Ken Mano:
On Formal Modeling of Agent Computations. FAABS 2000: 48-62