Michael Luck, Mark d'Inverno  Home/Search
Context Related
| ecs.soton.ac.uk/~mml/papers...tcj00.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: ecs.soton.ac.uk/~mml/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The use of agents of many different kinds in a variety of fields of computer science and artificial intelligence is increasing rapidly and is due, in part, to their wide applicability. The richness of the agent metaphor that leads to many different uses of the term is, however, both a strength and a weakness: its strength lies in the fact that it can be applied in very many different ways in many situations for different purposes; the weakness is that the term agent is now used so... (Update)
Context of citations to this paper: More
.... that are necessary to provide a rigorous approach to any discipline [19] and in particular to agents and multi agent systems [40]. Such frameworks should precisely and unambiguously provide meanings for common concepts and terms but in an accessible manner since only...
Cited by: More
A Model Driven Development Toolkit for Domain Experts .. - Jayatilleke.. (Correct)
Requirements for Security Enforcement inMobile Agent.. - Jones, Janicke.. (Correct)
Multi-Agent System Security for Mobile Communication - Borselius (2003) (Correct)
Similar documents (at the sentence level):
9.4%: Structuring a Z Specification to Provide a Formal Framework.. - Luck, d'Inverno (1995) (Correct)
9.2%: A Formal Framework for Agency and Autonomy - Luck, d'Inverno (1995) (Correct)
Active bibliography (related documents): More All
2.3: Unifying Agent Systems - d'Inverno, Luck (2003) (Correct)
0.9: Engineering AgentSpeak(L): A Formal Computational Model - d'Inverno, Luck (1998) (Correct)
0.6: From Agent Theory to Agent Construction: A Case Study - Luck, Griffiths, al. (1997) (Correct)
Similar documents based on text: More All
0.2: A Framework for Norm-Based Inter-Agent Dependence - Lopez, Luck, d'Inverno (2001) (Correct)
0.2: A Formal Framework for Hypertext Systems - d'Inverno, Priestley (1997) (Correct)
0.1: Understanding Autonomous Interaction - d'Inverno, Luck (1996) (Correct)
Related documents from co-citation: More All
6: Document no (context) - Message, XML - 2000
6: Information technology -- Security techniques -- Data integrity mechanism using .. (context) - IEC - 1994
6: Information technology - Security techniques - Nonrepudiation (context) - IEC, CD - 1996
BibTeX entry: (Update)
M. Luck and M. d'Inverno. A conceptual framework for agent definition and development. The Computer Journal, 44(1):1--20, 2001. http://citeseer.ist.psu.edu/luck01conceptual.html More
@article{ luck01conceptual,
author = "Michael Luck and Mark d'Inverno",
title = "A Conceptual Framework for Agent Definition and Development",
journal = "The Computer Journal",
volume = "44",
number = "1",
month = "????",
pages = "1--20",
year = "2001",
url = "citeseer.ist.psu.edu/luck01conceptual.html" }
Citations (may not include all citations):782 Artificial Intelligence: a modern approach (context) - Russell, Norvig - 1995
616 Notation: A Reference Manual (context) - Spivey, The - 1992
494 The contract net protocol: High-level communication and cont.. (context) - Smith - 1980
453 Agent-oriented programming (context) - Shoham - 1993
331 Logical Foundations of Artificial Intelligence (context) - Genesereth, Nilsson - 1987
252 A roadmap of agent research and development - Jennings, Sycara et al. - 1998
237 Intelligent agents: Theory and practice - Wooldridge, Jennings - 1995
164 Software agents - Genesereth, Ketchpel - 1994
141 BDI agents speak out in a logical computable language (context) - Rao, Agentspeak - 1996
138 An abstract architecture for rational agents (context) - Rao, Georgeff - 1992
111 Collaborative interface agents - Lashkari, Metral et al. - 1994
106 Agent-mediated electronic commerce: a survey (context) - Guttman, Moukas et al. - 1998
105 Frameworks for cooperation in distributed problem solving (context) - Smith, Davis - 1981
102 Itinerant agents for mobile computing - Chess, Grosof et al. - 1995
83 A methodology and modelling technique for systems of BDI age.. - Kinny, Georgeff et al. - 1996
79 Software agents: an overview - Nwana - 1996
77 Provably bounded optimal agents - Russell, Subramanian et al. - 1993
76 Specification Case Studies (context) - Hayes - 1993
70 Agent-based business process management (context) - Jennings, Faratin et al. - 1996
68 A formal framework for agency and autonomy - Luck, d'Inverno - 1995
62 ClientServer Programming with Java and CORBA (context) - Harkey, Programming et al. - 1998
60 Formalizing design spaces: Implicit invocation mechanisms (context) - Garlan, Notkin - 1991
60 Why robots will have emotions (context) - Sloman, Croucher - 1981
55 Intelligent agents on the internet: Fact - Etzioni, Weld - 1995
40 A formal specification of dMARS (context) - d'Inverno, Kinny et al. - 1998
38 Java-based mobile agents (context) - Wong, Paciorek et al. - 1999
36 Motivational and emotional controls of cognition (context) - Simon - 1979
30 Matchmaking for information agents (context) - Kuokka, Harada - 1995
27 Creatures: Entertainment software agents with artificial lif.. - Grand, Cliff - 1998
27 Cooperative problem solving (context) - Wooldridge, Jennings - 1999
27 Guarantees for autonomy in cognitive agent architecture (context) - Castelfranchi - 1995
25 Formal Specification and Documentation using Z: A Case Study.. - Bowen - 1996
25 ARCHON: Theory and practice (context) - Jennings, Wittig - 1992
24 Formal Specification Notation (context) - Bowen, Hinchey et al. - 1995
24 Formal Specification Notation (context) - Bowen, Hinchey et al. - 1997
24 Formal Specification Notation (context) - Bowen, Fett et al. - 1998
22 The Formal Specification of Advanced AI Architectures (context) - Craig - 1991
21 Applications of distributed artificial intelligence in indus.. - Parunak - 1996
20 A comparison of languages which operationalise and formalise.. - Fensel, van Harmelen - 1994
18 Formal specification languages in knowledge and software eng.. - Fensel - 1995
17 Cognition and Emotion (context) - Sloman - 1987
16 Formalising the contract net as a goal directed system - d'Inverno, Luck - 1996
15 Understanding Z: A Specification Language and its Formal Sem.. (context) - Spivey - 1988
15 A formal specification of agent properties (context) - Goodwin - 1995
15 From agent theory to agent construction: A case study - Luck, Griffiths et al. - 1997
15 Deterministic autonomous systems (context) - Covrigaru, Lindsay - 1991
14 Mathematical methods for digital systems development (context) - Good, Young - 1991
11 The society of objects (context) - Tokoro - 1993
11 Where there's a will there's an agent (context) - Moffat, Frijda - 1995
10 Goal creation in motivated agents - Norman, Long - 1995
9 The case for motivated reasoning (context) - Kunda - 1990
8 Understanding autonomous interaction - d'Inverno, Luck - 1996
8 Z: An Introduction to Formal Methods (context) - Diller - 1994
8 What can agents do in industry (context) - Parunak - 1998
8 The softbot approach to OS interfaces (context) - Etzioni, Levy et al. - 1995
8 An architecture of integrated agents (context) - Riecken - 1994
7 This is MYWORLD: The logic of an agent-oriented DAI testbed (context) - Wooldridge - 1995
7 A formal framework for specifying design methodologies (context) - d'Inverno, Justo et al. - 1996
6 The formal specification of ELEKTRA (context) - Craig - 1994
6 Motivated behaviour for goal adoption - Luck, d'Inverno - 1998
5 A specification of the Soar architecture in Z (context) - Milnes - 1992
5 A teaching agent that learns (context) - Selker - 1994
5 Can we formally specify a medical decision support system (context) - Krause, Fox et al. - 1993
5 Applying artificial intelligence to virtual reality: Intelli.. - Aylett, Luck - 2000
4 From definition to deployment: What next for agent-based sys.. - Luck - 1999
4 Intelligent agents: The first harvest of softbots looks prom.. (context) - Hedberg - 1995
4 What is an agent (context) - Petrie - 1997
4 specification of the soft-link hypertext model (context) - d'Inverno, Hu - 1997
3 A formal framework for hypertext systems - d'Inverno, Priestley et al. - 1997
3 Architectures and applications of intelligent agents: A surv.. (context) - Muller - 1998
3 Programming agents without a programming language (context) - Smith, Cypher et al. - 1994
2 Industrial applications of distributed AI - Chaib-draa - 1995
2 Engineering AgentSpeak (context) - d'Inverno, Luck - 1998
2 Satellite image dissemination via software agents (context) - Toomey, Mark - 1995
2 The role of formal reusable frameworks (context) - Garlan - 1990
2 Formal methods in knowledge engineering - van Harmelen, Fensel - 1995
1 What chance software agents (context) - Crabtree - 1998
1 User Workshop: Proceedings of the Eighth Z User Meeting (context) - Bowen, Hall et al. - 1994
1 and Hayes-Roth (context) - Johnson - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ecs.soton.ac.uk/~mml/papers/): More
Formalisms for Multi-Agent Systems - d'Inverno, Fisher, Lomuscio, Luck.. (1997) (Correct)
Engagement and Cooperation in Motivated Agent Modelling - Luck, d'Inverno (1996) (Correct)
Making and Breaking Engagements: An Operational Analysis of.. - d'Inverno, Luck (1997) (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