search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

FAABS

Keyphrases

Publications

volume 3228, 2005

Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected Papers FAABS 3228 (2005)

2004

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. FAABS (2004)
William M. Spears, Diana F. Spears, Rodney Heil
A Formal Analysis of Potential Energy in a Multi-agent System. FAABS (2004)
Dimitri V. Zarzhitsky, Diana F. Spears, David R. Thayer, William M. Spears
Agent-Based Chemical Plume Tracing Using Fluid Dynamics. FAABS (2004)
Margo Bergman
Petri Nets as Modeling Tool for Emergent Agents. FAABS (2004)
Karin Koogan Breitman, Aluízio Haendchen Filho, Edward Hermann Haeusler, Arndt von Staa
Using Ontologies to Formalize Services Specifications in Multi-agent Systems. FAABS (2004)
Youyong Zou, Timothy W. Finin, Harry Chen
F-OWL: An Inference Engine for Semantic Web. FAABS (2004)
Jaime Ramírez, Angélica de Antonio
Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols. FAABS (2004)
Shawn A. Bohner, Boby George, Denis Gracanin, Michael G. Hinchey
Formalism Challenges of the Cougaar Model Driven Architecture. FAABS (2004)
Wesley Kerr, Diana F. Spears, William M. Spears, David R. Thayer
Two Formal Gas Models for Multi-agent Sweeping and Obstacle Avoidance. FAABS (2004)
Jan Smid, Marek Obitko, David Fisher, Walt Truszkowski
Interaction and Communication of Agents in Networks and Language Complexity Estimates. FAABS (2004)
Jean-Charles Campagne, Alain Cardon, Etienne Collomb, Toyoaki Nishida
Massive Multi-agent systems control. FAABS (2004)
Magdalena Kacprzak, Alessio Lomuscio, T. Lasica, Wojciech Penczek, Maciej Szreter
Verifying Multi-agent Systems via Unbounded Model Checking. FAABS (2004)
Guillaume Hutzler, Hanna Klaudel, Dong Yue Wang
Towards Timed Automata and Multi-agent Systems. FAABS (2004)
Hengameh Sarmadi
Fuzzy Hybrid Deliberative/Reactive Paradigm (FHDRP). FAABS (2004)
Davide Grossi, Frank Dignum
From Abstract to Concrete Norms in Agent Institutions. FAABS (2004)
Maxim Peysakhov, Vincent A. Cicirello, William C. Regli
Ecology Based Decentralized Agent Management System. FAABS (2004)
Franco Raimondi, Alessio Lomuscio
Towards Symbolic Model Checking for Multi-agent Systems via OBDD's. FAABS (2004)
Frank Dignum, Jan M. Broersen, Virginia Dignum, John-Jules Ch. Meyer
Meeting the Deadline: Why, When and How. FAABS (2004)
Roy Sterritt, Michael G. Hinchey
Apoptosis and Self-Destruct: A Contribution to Autonomic Agents? FAABS (2004)
Sampath Yerramalla, Yan Liu, Edgar Fuller, Bojan Cukic, Srikanth Gururajan
An Approach to V&V of Embedded Adaptive Systems. FAABS (2004)
Denis Gracanin, H. Lally Singh, Shawn A. Bohner, Michael G. Hinchey
Model-Driven Architecture for Agent-Based Systems. FAABS (2004)
Michel Rudnianski, Helene Bestougeff
Multi-agent Systems Reliability, Fuzziness, and Deterrence. FAABS (2004)

volume 2699, 2003

Formal Approaches to Agent-Based Systems, Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers FAABS 2699 (2003)

2002