![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
3. FAABS 2004: Greenbelt, MD, USA
- Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff:
Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3228, Springer 2005, ISBN 3-540-24422-0 - Maxim Peysakhov, Vincent A. Cicirello
, William C. Regli:
Ecology Based Decentralized Agent Management System. 1-11 - Davide Grossi, Frank Dignum:
From Abstract to Concrete Norms in Agent Institutions. 12-29 - Frank Dignum, Jan M. Broersen, Virginia Dignum
, John-Jules Ch. Meyer:
Meeting the Deadline: Why, When and How. 30-40 - Michel Rudnianski, Helene Bestougeff:
Multi-agent Systems Reliability, Fuzziness, and Deterrence. 41-56 - Shawn A. Bohner, Boby George, Denis Gracanin, Michael G. Hinchey:
Formalism Challenges of the Cougaar Model Driven Architecture. 57-71 - Aluízio Haendchen Filho
, Nuno Caminada, Edward Hermann Haeusler, Arndt von Staa:
Facilitating the Specification Capture and Transformation Process in the Development of Multi-agent Systems. 72-91 - Karin Koogan Breitman, Aluízio Haendchen Filho
, Edward Hermann Haeusler, Arndt von Staa:
Using Ontologies to Formalize Services Specifications in Multi-agent Systems. 92-110 - Wesley Kerr, Diana F. Spears, William M. Spears, David R. Thayer:
Two Formal Gas Models for Multi-agent Sweeping and Obstacle Avoidance. 111-130 - William M. Spears, Diana F. Spears, Rodney Heil:
A Formal Analysis of Potential Energy in a Multi-agent System. 131-145 - Dimitri V. Zarzhitsky, Diana F. Spears, David R. Thayer, William M. Spears:
Agent-Based Chemical Plume Tracing Using Fluid Dynamics. 146-160 - Guillaume Hutzler, Hanna Klaudel, Dong Yue Wang:
Towards Timed Automata and Multi-agent Systems. 161-172 - Sampath Yerramalla, Yan Liu, Edgar Fuller
, Bojan Cukic, Srikanth Gururajan
:
An Approach to V&V of Embedded Adaptive Systems. 173-188 - Magdalena Kacprzak, Alessio Lomuscio
, T. Lasica, Wojciech Penczek, Maciej Szreter:
Verifying Multi-agent Systems via Unbounded Model Checking. 189-212 - Franco Raimondi
, Alessio Lomuscio
:
Towards Symbolic Model Checking for Multi-agent Systems via OBDD's. 213-221 - Jaime Ramírez, Angélica de Antonio:
Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols. 222-237 - Youyong Zou, Timothy W. Finin, Harry Chen:
F-OWL: An Inference Engine for Semantic Web. 238-248 - Denis Gracanin, H. Lally Singh, Shawn A. Bohner, Michael G. Hinchey:
Model-Driven Architecture for Agent-Based Systems. 249-261 - Roy Sterritt
, Michael G. Hinchey:
Apoptosis and Self-Destruct: A Contribution to Autonomic Agents? 262-270
Poster Presentations
- Margo Bergman:
Petri Nets as Modeling Tool for Emergent Agents. 271-274 - Jean-Charles Campagne, Alain Cardon, Etienne Collomb, Toyoaki Nishida:
Massive Multi-agent systems control. 275-280 - Hengameh Sarmadi:
Fuzzy Hybrid Deliberative/Reactive Paradigm (FHDRP). 281-286 - Jan Smid, Marek Obitko, David Fisher, Walt Truszkowski:
Interaction and Communication of Agents in Networks and Language Complexity Estimates. 287-289
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.