Formal Specification of Multi-Agent Systems: a Real-World Case (1995)
Cached
Download Links
- [www.iids.org]
- [www.cs.vu.nl]
- [www.ecs.soton.ac.uk]
- [www.cs.vu.nl]
- DBLP
Other Repositories/Bibliography
by
Frances Brazier
,
Barbara Dunin Keplicz
,
Nick R. Jennings
,
Jan Treur
| Citations: | 107 - 54 self |
BibTeX
@MISC{Brazier95formalspecification,
author = {Frances Brazier and Barbara Dunin Keplicz and Nick R. Jennings and Jan Treur},
title = {Formal Specification of Multi-Agent Systems: a Real-World Case },
year = {1995}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this paper the framework DESIRE, originally designed for formal specification of complex reasoning systems is used to specify a real-world multi-agent application on a conceptual level. Some extensions to DESIRE are introduced to obtain a useful formal specification framework for multi-agent systems.
Citations
| 26 | Archon: A distributed artificial intelligence system for industrial applications - Cockburn, Jennings - 1995 |
| 22 | Temporal semantics of meta-level architectures for dynamic control of reasoning - TREUR - 1994 |
| 14 | User Centered Knowledge-Based System Design: a Formal Modelling Approach - Brazier, Treur - 1994 |
| 8 | Agent-Based Knowledge Acquisition - Dieng, Corby, et al. - 1995 |
| 6 | Temporal semantics and specification of complex tasks - Brazier, Treur, et al. - 1994 |
| 5 | de Velde (eds), A future for knowledge acquisition - Steels, van |
| 3 | Modelling Exclusive Access to Limited Resources within a Multi-Agent Environment: Formal Specification - Brazier, Eck, et al. - 1995 |
| 1 | Temporal semantics and specification of complex tasks - Willems - 1994 |
| 1 | de Velde (eds.), "A future for knowledge acquisition - Van - 1995 |
| 1 | Using ARCHON to develop real-word DAI applications for electricity transportation management and particle accelerator control - Perriolat, Varga - 1995 |
