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