| Alternate document: Details Formal Specification of Reflective Agents (95) Frances Brazier, Jan Treur |
F.M.T. Brazier, B. Dunin-Keplicz, N.R. Jennings, J. Treur  Home/Search
Context Related
| elec.qmw.ac.uk/pub/isag...ICMAS95c.ps.Z cs.vu.nl/~wai/Pape...ICMAS95.DESIRE6.ps ecs.soton.ac.uk/~nrj/down...ICMAS95c.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: web.elec.qmw.ac.uk/dai/pubs/ (more) From: cs.vu.nl/~treur/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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. 1 Introduction In many areas of software engineering and knowledge-based system design, formal specifications of the conceptual design of complex systems are devised before systems are... (Update)
Cited by: More
Temporal Semantics of Complex Reasoning Tasks - Frances Brazier Jan (Correct)
Generalised Object-Oriented Concepts for Inter-Agent .. - van Eijk, de Boer.. (2000) (Correct)
Agents Negotiating for Load Balancing of Electricity Use - Frances Brazier Frank (Correct)
Similar documents (at the sentence level):
37.7%: Formal Specification of Reflective Agents - Brazier, Treur (1995) (Correct)
25.1%: Modelling Distributed Industrial Processes in a.. - Brazier.. (1996) (Correct)
5.4%: Desire: Modelling Multi-Agent Systems In A Compositional.. - Frances Brazier (1997) (Correct)
Active bibliography (related documents): More All
0.1: Design of a Modelling Framework for Multi-Agent Systems - Brazier, van Eck, Treur (1996) (Correct)
0.0: Modelling Cooperative Behaviour for Resource Access in a.. - Brazier, van Eck, Treur (1996) (Correct)
0.0: Modelling Cooperative Behaviour for Resource Access in a.. - Brazier, van Eck, Treur (1996) (Correct)
Similar documents based on text: More All
0.7: Modelling Reasoning and Acting Agents - Barbara Dunin Keplicz (Correct)
0.5: Modelling Internal Dynamic Behaviour of BDI Agents - Brazier, Dunin-Keplicz.. (1997) (Correct)
0.5: Formalization of a Cooperation Model Based on Joint Intentions - Brazier, Jonker, Treur (Correct)
Related documents from co-citation: More All
14: The Knowledge Engineering Review (context) - Wooldridge, Jennings et al. - 1995
13: Agent-oriented programming (context) - Shoham - 1993
10: A formal framework for agency and autonomy - Luck, d'Inverno - 1995
BibTeX entry: (Update)
Brazier, F.M.T., Dunin Keplicz, B.M., Jennings, N.R. and Treur, J. (1995) Formal Specification of Multi-Agent Systems: a Real World Case, In: V. Lesser (Ed.), Proc. First Int. Conference on Multi-Agent Systems, ICMAS-95, MIT Press, pp. 25-32. http://citeseer.ist.psu.edu/brazier95formal.html More
@inproceedings{ brazier95formal,
author = "F. Brazier and B. D. Keplicz and N. R. Jennings and J. Treur",
title = "Formal Specification of Multi-Agent Systems: a Real-World Case",
booktitle = "First International Conference on Multi-Agent Systems ({ICMAS}'95)",
publisher = "AAAI Press",
address = "San Francisco, CA, USA",
pages = "25--32",
year = "1995",
url = "citeseer.ist.psu.edu/brazier95formal.html" }
Citations (may not include all citations):19 ARCHON: A Distributed Artificial Intelligence System for Ind.. - Cockburn, Jennings - 1995
11 Agent-based knowledge acquisition (context) - Dieng, Corby et al. - 1994 ACM DBLP
1 A future for knowledge acquisition (context) - Velde - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://web.elec.qmw.ac.uk/dai/pubs/): More
Autonomous Agents for Business Process Management - Jennings, Norman, Faratin.. (2000) (Correct)
A Methodology for Agent-Oriented Analysis and Design - Wooldridge, Jennings, Kinny (1999) (Correct)
Formalizing the Cooperative Problem Solving Process - Wooldridge, al. (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC