Formal approaches to agent-based systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers / Michael G. Hinchey [and others] (eds.)
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Other title: | FAABS 2004. |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©2005.
|
| Series: | Lecture notes in computer science ;
3228. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
Table of Contents:
- Ecology based decentralized agent management system / Maxim D. Peysakhov, Vincent A. Cicirello, William C. Regli
- From abstract to concrete norms in agent institutions / Davide Grossi and Frank Dignum
- Meeting the deadline: why, when and how / Frank Dignum [and others]
- Multi-agent systems reliability, fuzziness, and deterrence / Michel Rudnianski and Helene Bestougeff
- Formalism challenges of the cougaar model driven architecture / Shawn A. Bohner [and others]
- Facilitating the specification capture and transformation process in the development of multi-agent systems / Aluizio Haendchen Filho [and others]
- Using ontologies to formalize services specifications in multi-agent systems / Karin Koogan Breitman [and others]
- Two formal gas models for multi-agent sweeping and obstacle avoidance / Wesley Kerr [and others]
- A formal analysis of potential energy in a multi-agent system / William M. Spears, Diana F. Spears, Rodney Heil
- Agent-based chemical plume tracing using fluid dynamics / Dimitri Zarzhitsky [and others]
- Towards timed automata and multi-agent systems / G. Hutzler, H. Klaudel, D.Y. Wang
- An approach to V & V of embedded adaptive systems / Sampath Yerramalla [and others]
- Verifying multi-agent systems via unbounded model checking / M. Kacprzak [and others]
- Towards symbolic model checking for multi-agent systems via obdd's / Franco Raimondi and Alessio Lomuscio
- Formal consistency verification of deliberative agents with respect to communication protocols / Jaime Ramirez and Angelica de Antonio
- F-OWL: an inference engine for semantic web / Youyong Zou, Tim Finin, Harry Chen
- Model-driven architecture for agent-based systems / Denis Gracanin [and others]
- Apoptosis and self-destruct: a contribution to autonomic agents? / Roy Sterritt and Mike Hinchey
- Petri nets as modeling tool for emergent agents / Margo Bergman
- Massive multi-agent systems control / Jean-Charles Campagne [and others]
- Fuzzy hybrid deliberative/reactive paradigm (FHDRP) / Hengameh Sarmadi
- Interaction and communication of agents in networks and language complexity estimates / Jan Smid [and others]