Skip to main content
Journal Article

Formal specification of multi-agent systems: a real-world case

  • Brazier F
  • Keplicz B
  • Jennings N
  • et al.
Proceedings of the First International Conference on Multi-Agent Systems, ICMAS (1995) 95 25–32
N/ACitations
Citations of this article
39Readers
Mendeley users who have this article in their library.

Abstract

In this paper the modelling framework DESIRE, originally designed for formalspecification of complex reasoning systems is used to specify a real- worldmulti-agent application on a conceptual level. Some extensions to DESIREare introduced to obtain a useful formal specification framework for multi-agentsystems.

Cite

CITATION STYLE

APA

Brazier, F., Keplicz, B. D., Jennings, N. R., & Treur, J. (1995). Formal specification of multi-agent systems: a real-world case. Proceedings of the First International Conference on Multi-Agent Systems, ICMAS, 95, 25–32. Retrieved from http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.97.9761&rep=rep1&type=pdf

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free