Mark d'Inverno, Michael Luck  Home/Search
Context Related
| wmin.ac.uk/~dinverm/papers...icfem97.ps dcs.warwick.ac.uk/~mikeluc...icfem97.ps dcs.warwick.ac.uk/people/a...icfem97.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: wmin.ac.uk/~dinverm/paper...index (more) From: dcs.warwick.ac.uk/people/...index (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Previous work has addressed the development of a framework to categorise and understand agent-based systems. It described and formalised an agent-hierarchy that included objects, agents and autonomous agents, each with different levels of functionality, and provided a precise vocabulary with which to discuss agent systems. This paper reviews a large variety of further work that has built on that foundation in several ways. First, the framework itself has been refined to detail important aspects ... (Update)
Context of citations to this paper: More
...Agent Systems Specification Fig. 1. The Agent Development Line This paper can be seen as a continuation of the work contained in [5], which describes the research programme at an earlier stage of development. That work intro duced requirements for formal frameworks,...
...by, and in order to create, other agents. In this section, we build on earlier initial work in outlining goal generation and adoption [5]. We give a complete description and specification of how an autonomous agent, defined in terms of its high level and somewhat abstract...
Cited by: More
A Component Based Approach To Agent - David Robinson St (Correct)
Dynamic Agency: a Methodology and Architecture for Multiagent.. - Amigoni (2000) (Correct)
Plan Analysis for Autonomous Sociological Agents - Luck, d'Inverno (2000) (Correct)
Similar documents (at the sentence level): More
14.9%: Formalising the Contract Net as a Goal-Directed System - d'Inverno, Luck (1996) (Correct)
11.6%: From Agent Theory to Agent Construction: A Case Study - Luck, Griffiths, al. (1997) (Correct)
9.7%: Motivated Behaviour for Goal Adoption - Luck, d'Inverno (1998) (Correct)
Active bibliography (related documents): More All
0.6: A Formal Framework for Hypertext Systems - d'Inverno, Priestley (1997) (Correct)
0.4: A Z Specification of the Soft-Link Hypertext Model - d'Inverno, Luck (Correct)
0.3: A Conceptual Framework for Agent Definition and Development - Luck, d'Inverno (2001) (Correct)
Similar documents based on text: More All
0.4: Engineering AgentSpeak(L): A Formal Computational Model - d'Inverno, Luck (1998) (Correct)
0.4: Formal Agent Development: Framework to System - d'Inverno, Luck (Correct)
0.3: Annotating Cooperative Plans with Trusted Agents - Griffiths, Luck (2002) (Correct)
Related documents from co-citation: More All
7: A formal framework for agency and autonomy - Luck, d'Inverno - 1995
6: Engagement and cooperation in motivated agent modelling - Luck, d'Inverno - 1996
5: Notation: A Reference Manual (context) - Spivey - 1989
BibTeX entry: (Update)
M. d'Inverno and M. Luck. Development and application of a formal agent framework. In M. G. Hinchey and L. Shaoying, editors, ICFEM'97: First IEEE International Conference on Formal Engineering Methods, pages 222--231. IEEE Press, 1997. http://citeseer.ist.psu.edu/dinverno97development.html More
@inproceedings{ dinverno97development,
author = "M. d'Inverno and M. Luck",
title = "Development and Application of an Formal Agent Framework",
booktitle = "Formal Engineering Methods: Proceedings of the 1st International Conference on Formal Engineering Methods ({ICFEM}'97)",
month = "12--14",
publisher = "IEEE Computer Society Press",
address = "Hiroshima, Japan",
editor = "M. G. Hinchey and Shaoying Liu",
pages = "222--231",
year = "1997",
url = "citeseer.ist.psu.edu/dinverno97development.html" }
Citations (may not include all citations):141 BDI agents speak out in a logical computable language (context) - Rao - 1996
138 An abstract architecture for rational agents (context) - Rao, Georgeff - 1992
105 Frameworks for cooperation in distributed problem solving (context) - Smith, Davis - 1981
83 A methodology and modelling technique for systems of BDI age.. - Kinny, Georgeff et al. - 1996
68 A formal framework for agency and autonomy - Luck, d'Inverno - 1995
35 Formalizing the cooperative problem solving process - Wooldridge, Jennings - 1994
18 A formal view of social dependence networks - d'Inverno, Luck - 1996
16 Formalising the contract net as a goal directed system - d'Inverno, Luck - 1996
15 From agent theory to agent construction: A case study - Luck, d'Inverno - 1997
15 A formal specification of agent properties (context) - Goodwin - 1995
8 specification to provide a formal framework for autonomous a.. (context) - Luck, d'Inverno - 1995
7 A formal framework for specifying design methodologies (context) - d'Inverno, Justo et al. - 1996
5 specification to provide a unifying framework for hypertext .. (context) - d'Inverno, Priestley - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.wmin.ac.uk/~dinverm/papers/index.html): More
Cooperation Structures - d'Inverno, Luck, al. (1997) (Correct)
A Formal View of Social Dependence Networks - d'Inverno, Luck (1996) (Correct)
Structuring Specification in Z to Build a Unifying.. - d'Inverno, Priestley (1995) (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