David Kinny  Home/Search
Context Related
Links: ACM DBLP | cs.mu.oz.au/~dnk/atal96lncs.ps.gz damas.ift.ulaval.c...nny97modelling.pdf 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: cs.mu.oz.au/~dnk/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Agent technologies are now being applied to the development of large-scale commercial and industrial software systems. Such systems are complex, involving hundreds, perhaps thousands of agents, and there is a pressing need for system modelling techniques that permit their complexity to be effectively managed, and principled methodologies to guide the process of system design. Without adequate techniques to support the design process, such systems will not be sufficiently reliable,... (Update)
Context of citations to this paper: More
.... There is currently a large amount of work being done in agent oriented software engineering methodologies (e.g. [1, 3, 4, 5, 6, 9, 10, 11, 12, 13, 14, 18, 19, 22], and see the references in [15] It is not possible in a brief conference paper to do justice to the significant...
...which consist of di#erent interacting entities. Some of the relevant existing approaches are: the work of Kinny on the BDI model [22], the GAIA methodology [30] the works of Kendall [21] and Bursmeister [6] the AUML approach [24] the specification of DESIRE [5] the...
Cited by: More
Representing Agent Interaction Protocols in UML - James Odell James (1999) (Correct)
The Gaia Methodology for Agent-Oriented Analysis and Design - Wooldridge, al. (2000) (Correct)
Developing Real-Time Multi-Agent Systems - Julian, Botti (2002) (Correct)
Similar documents (at the sentence level):
38.4%: A Methodology and Modelling Technique for Systems of BDI Agents - Kinny, Georgeff, Rao (1996) (Correct)
Active bibliography (related documents): More All
0.6: Modelling and Design of Multi-Agent Systems - Kinny, al. (1996) (Correct)
0.1: A Conceptual Model for High-level Specification of Behaviour-based .. - Ward (1999) (Correct)
0.1: An Architecture for 3APL - Hindriks, d'Inverno, Luck (Correct)
Similar documents based on text: More All
0.1: Experiments in Optimal Sensing for Situated Agents - July Technical (Correct)
0.1: Interaction Protocols in Agentis - d'Inverno, Kinny, Luck (1998) (Correct)
0.1: A Formal Specification of dMARS - d'Inverno, Kinny, Luck, Wooldridge (1997) (Correct)
Related documents from co-citation: More All
11: A Survey of Agent-Oriented Methodologies - Iglesias, Garijo et al. - 1999
11: Agent-oriented programming (context) - Shoham - 1993
11: The Gaia methodology for agent-oriented analysis and design - Wooldridge, Jennings et al. - 2000
BibTeX entry: (Update)
D. Kinny and M. Georgeff. Modelling and design of multi-agent systems. In J. P. Muller, M. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III (LNAI Volume 1193), pages 1--20. Springer-Verlag: Berlin, Germany, 1997. http://citeseer.ist.psu.edu/kinny97modelling.html More
@inproceedings{ kinny96modelling,
author = "David Kinny and Michael Georgeff",
title = "Modelling and Design of Multi-Agent Systems",
booktitle = "Intelligent Agents {III}: Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages ({ATAL}-96). {LNAI} 1193",
publisher = "Springer-Verlag: Heidelberg, Germany",
address = "Budapest, Hungary",
year = "1996",
url = "citeseer.ist.psu.edu/kinny97modelling.html" }
Citations (may not include all citations):1286 Object-Oriented Modeling and Design (context) - Rumbaugh, Blaha et al. - 1991 ACM
653 Object-Oriented Analysis and Design with Applications (context) - Booch - 1994
138 An Abstract Architecture for Rational Agents (context) - Rao, Georgeff - 1992 DBLP
118 ACM Transactions on Software Engineering and Methodology (context) - Harel, Kahana et al. - 1992
96 Communicative actions for artificial agents - Cohen, Levesque - 1995 ACM
93 COOL: A language for describing coordination in multi-agent .. - Barbuceanu, Fox - 1995
83 A methodology and modelling technique for systems of BDI age.. - Kinny, Georgeff et al. - 1996 ACM DBLP
40 An artificial discourse language for collaborative negotiati.. - Sidner - 1994 ACM DBLP
33 An intelligent agent framework for enterprise integration (context) - Pan, Tenenbaum - 1991
32 Grosz and Candace L (context) - Barbara - 1990
19 Generating information-sharing subdialogues in expert-user c.. (context) - Chu-Carrol, Carberry - 1995 DBLP
19 Modelling reactive behaviour in vertically layered agent arc.. (context) - Muller, Pischel et al. - 1995 DBLP
17 The Distributed Multi-Agent Reasoning System Architecture an.. (context) - Kinny - 1993
13 Integrated control and coordinated behaviour: a case for age.. (context) - Ferguson - 1995 DBLP
13 Specification of the KQML agent communication language (context) - Finin - 1992
9 Commitment and effectiveness of situated agents (context) - Kinny, Georgeff - 1991 DBLP
3 Reasoning About Interactions in Agent Systems: A Pragmatic T.. (context) - Haddadi - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.mu.oz.au/~dnk/):
A Methodology and Modelling Technique for Systems of BDI Agents - Kinny, Georgeff, Rao (1996) (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