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