Formal Specification of Multi-Agent Systems

Brazier, F. M. T., Keplicz, B. D., Jennings, N. R. and Treur, J. (1995) Formal Specification of Multi-Agent Systems. In, 1st Int. Conf. on Multi-Agent Systems (ICMAS '95), San Francisco, USA, 12 - 14 Jun 1995. , 25-32.


[img] PDF
Download (138Kb)


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.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: June 12 - 14
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Agents, Interactions & Complexity
ePrint ID: 252144
Date Deposited: 03 Dec 2002
Last Modified: 27 Mar 2014 19:54
Further Information:Google Scholar

Actions (login required)

View Item View Item