The SCEAS System
Navigation Menu

Conferences in DBLP

Formal Approaches to Agent-Based Systems (faabs)
2002 (conf/faabs/2002)

  1. 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]
  2. Michael Fisher, Chiara Ghidini, Benjamin Hirsch
    Organising Logic-Based Agents. [Citation Graph (0, 0)][DBLP]
    FAABS, 2002, pp:15-27 [Conf]
  3. 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]
  4. 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]
  5. Stacy D. Nelson, Charles Pecheur
    Formal Verification for a Next-Generation Space Shuttle. [Citation Graph (0, 0)][DBLP]
    FAABS, 2002, pp:53-67 [Conf]
  6. Jeffrey Van Baalen, Thomas Böhne
    Automated Protocol Analysis in Maude. [Citation Graph (0, 0)][DBLP]
    FAABS, 2002, pp:68-78 [Conf]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. Ramesh Bharadwaj
    Verifiable Middleware for Secure Agent Interoperability. [Citation Graph (0, 0)][DBLP]
    FAABS, 2002, pp:126-132 [Conf]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. Ramesh Bharadwaj
    Naval Applications of Secure Multi-agent Technology. [Citation Graph (0, 0)][DBLP]
    FAABS, 2002, pp:235- [Conf]
  20. Charles Pecheur
    Challenges Arising from Applications. [Citation Graph (0, 0)][DBLP]
    FAABS, 2002, pp:236-238 [Conf]
  21. Craig Schlenoff
    Applications Panel: Agents Applied to Autonomous Vehicles. [Citation Graph (0, 0)][DBLP]
    FAABS, 2002, pp:239-240 [Conf]
  22. 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]
  23. Diana F. Gordon-Spears
    Asimov's Laws: Current Progress. [Citation Graph (0, 0)][DBLP]
    FAABS, 2002, pp:257-259 [Conf]
  24. James P. Hogan
    Asimov's Laws. [Citation Graph (0, 0)][DBLP]
    FAABS, 2002, pp:260-263 [Conf]
  25. Yoji Kondo
    On Laws of Robotics. [Citation Graph (0, 0)][DBLP]
    FAABS, 2002, pp:264-265 [Conf]
  26. Walt Truszkowski
    Challenges Arising from Applications of Agent-Based System. [Citation Graph (0, 0)][DBLP]
    FAABS, 2002, pp:269-273 [Conf]
  27. John-Jules Ch. Meyer
    Tools and Education towards Formal Methods Practice. [Citation Graph (0, 0)][DBLP]
    FAABS, 2002, pp:274-279 [Conf]
  28. Margo Bergman
    Evaluating Agent-Based Modeling as a Tool for Economists. [Citation Graph (0, 0)][DBLP]
    FAABS, 2002, pp:283-285 [Conf]
  29. Michel Rudnianski, Helene Bestougeff
    Modeling Traffic Control through Deterrent Agents. [Citation Graph (0, 0)][DBLP]
    FAABS, 2002, pp:286-289 [Conf]
  30. Craig Schlenoff, Michael Grüninger
    Towards a Formal Representation of Driving Behaviors. [Citation Graph (0, 0)][DBLP]
    FAABS, 2002, pp:290-291 [Conf]
  31. 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]
  32. 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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002