Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral -continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team.
 
Formal Specification of Multi-Agent Systems
OA Location
Author(s)
Brazier, FMT
Keplicz, BD
Jennings, NR
Treur, J
Type
Conference Paper
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.
Date Issued
1995-06-12
Date Acceptance
1995-06-12
Citation
Proceedings of the 1st International Conference on Multi-Agent Systems (ICMAS ’95), 1995, pp.25-32
URI
URL
Start Page
25
End Page
32
Journal / Book Title
Proceedings of the 1st International Conference on Multi-Agent Systems (ICMAS ’95)
Identifier
http://eprints.soton.ac.uk/252144/
Source
1st International Conference on Multi-Agent Systems (ICMAS ’95)
Publication Status
Published
Start Date
1995-06-12
Finish Date
1995-06-14
Coverage Spatial
San Francisco, CA, USA