|
|
Conferences in DBLP
- Massimo Benerecetti, Fausto Giunchiglia
Model Checking-Based Analysis of Multiagent Systems. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:1-15 [Conf]
- Stanislaw Ambroszkiewicz, Wojciech Penczek, Tomasz Nowak
Towards Formal Specification and Verification in Cyberspace. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:16-32 [Conf]
- Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek
Verification within the KARO Agent Theory. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:33-47 [Conf]
- Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy A. Lynch, Ken Mano
On Formal Modeling of Agent Computations. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:48-62 [Conf]
- Sheila A. McIlraith
Modeling and Programming Devices and Web Agents. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:63-77 [Conf]
- Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
A Programming Logic for Part of the Agent Language 3APL. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:78-89 [Conf]
- Yoshinobu Kawabe, Ken Mano, Kiyoshi Kogure
The Nepi2 Programming System: A pi-Calculus-Based Approach to Agent-Based Programming. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:90-102 [Conf]
- Charles Pecheur, Reid G. Simmons
From Livingstone to SMV. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:103-113 [Conf]
- Lina Khatib, Nicola Muscettola, Klaus Havelund
Verification of Plan Models Using UPPAAL. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:114-122 [Conf]
- Innocent Bakam, Fabrice Kordon, Christophe Le Page, François Bousquet
Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:123-132 [Conf]
- Mark d'Inverno, Michael Luck
Formal Agent Development: Framework to System. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:133-147 [Conf]
- Johann Schumann, Jon Whittle
Automatic Synthesis of Agent Designs in UML. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:148-162 [Conf]
- Michael Fisher
Direct Execution of Agent Specifications. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:163- [Conf]
- Albert C. Esterline, Toinette Rorie
Using the pi-Calculus to Model Multiagent Systems. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:164-179 [Conf]
- Jeffrey Van Baalen, James L. Caldwell, Shivakant Mishra
Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:180-193 [Conf]
- Tim Menzies, Bojan Cukic, Harshinder Singh
Agents Talking Faster. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:194-208 [Conf]
- Neelam Soundarajan
Refining Interactions in a Distributed System. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:209-221 [Conf]
- Kristina Lerman
Design and Mathematical Analysis of Agent-Based Systems. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:222-234 [Conf]
- Michel Rudnianski, Helene Bestougeff
Modeling Task and Teams through Game Theoretical Agents. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:235-249 [Conf]
- Richard J. Waldinger
Web Agents Cooperating Deductively. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:250-262 [Conf]
- Hong Zhu
Formal Specification of Agent Behaviour through Environment Scenarios. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:263-277 [Conf]
- Diana F. Gordon
APT Agents: Agents That Are Adaptive, Predictable, and Timely. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:278-293 [Conf]
- Sidney C. Bailin
Ontology Negotiation in a Community of Agents. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:294-297 [Conf]
- Ramesh Bharadwaj
Analysis of Agent-Based Systems Using Decision Procedures. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:298-299 [Conf]
- Walid Chainbi
A Formal Approach to Belief-Goal-Role Agents. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:300-301 [Conf]
- Peter Engrand, Charles Pecheur
Model Checking of Autonomy Models for an In-Situ Propellant Production System. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:302-303 [Conf]
- Kiriakos Kiriakidis, Diana F. Gordon
Adaptive Supervisory Control of Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:304-305 [Conf]
- Eduardo Alonso, Daniel Kudenko
Machine Learning for Logic-Based Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:306-307 [Conf]
- Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni
Using a Formal Framework for Agent System Design. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:308-317 [Conf]
- Sanda Mandutianu
Modeling Agent-Based Systems. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:318-320 [Conf]
- Yun Peng
Modeling Agent Systems by Bayesian Belief Networks. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:321-322 [Conf]
- Tom A. D. Riley
The Anthropomorphizing of Intelligent Agents. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:323-334 [Conf]
- Derek M. Surka, Mark E. Campbell, Thomas P. Schetter
Controlling Multiple Satellite Constellations Using the TEAMAgent System. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:335-336 [Conf]
- Susan E. Torney
Operations Assistants for Johnson Space Center's Mission Control Center. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:337-338 [Conf]
- Leonard P. Wesley
A Real Time Object-Oriented Rational Agent Development System. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:339-344 [Conf]
- Diana F. Gordon, Henry Hexmoor, Robert L. Axtell, Nenad Ivezic
Panel Discussion: Empirical versus Formal Methods. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:345-353 [Conf]
- Michael G. Hinchey, James A. Hendler, Charles Pecheur, Constance L. Heitmeyer, Diana F. Gordon, Michael Luck, Walt Truszkowski
Panel Discussion: Future Directions. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:354-368 [Conf]
|
