default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3. 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 - Aluizio 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, Aluizio 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
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.
last updated on 2025-05-15 21:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
