| 2005 |
|---|
| 20 | EE | David Kinny:
Algebraic specification of agent computation.
Appl. Algebra Eng. Commun. Comput. 16(2-3): 77-111 (2005) |
| 2004 |
|---|
| 19 | EE | David Kinny:
Agents - The Challenge of Relevance to the IT Mainstream.
PROMAS 2004: 38-43 |
| 18 | EE | Mark d'Inverno,
Michael Luck,
Michael P. Georgeff,
David Kinny,
Michael Wooldridge:
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System.
Autonomous Agents and Multi-Agent Systems 9(1-2): 5-53 (2004) |
| 2002 |
|---|
| 17 | EE | David Kinny:
ViP: a visual programming language for plan execution systems.
AAMAS 2002: 721-728 |
| 2001 |
|---|
| 16 | EE | David Kinny:
The Psi Calculus: An Algebraic Agent Language.
ATAL 2001: 32-50 |
| 15 | EE | Frank Dignum,
David Kinny,
Liz Sonenberg:
Motivational Attitudes of Agents: On Desires, Obligations, and Norms.
CEEMAS 2001: 83-92 |
| 14 | EE | David Kinny:
Reliable Agent Computation: An Algebraic Approach.
PRIMA 2001: 31-47 |
| 13 | | David Kinny:
Reliable Agent Communication - a Pragmatic Perspective.
New Generation Comput. 19(2): 139-156 (2001) |
| 2000 |
|---|
| 12 | | Michael Wooldridge,
Nicholas R. Jennings,
David Kinny:
The Gaia Methodology for Agent-Oriented Analysis and Design.
Autonomous Agents and Multi-Agent Systems 3(3): 285-312 (2000) |
| 1999 |
|---|
| 11 | EE | Michael Wooldridge,
Nicholas R. Jennings,
David Kinny:
A Methodology for Agent-Oriented Analysis and Design.
Agents 1999: 69-76 |
| 10 | EE | David Kinny:
Reliable Agent Communication - A Pragmatic Perspective.
PRIMA 1999: 16-31 |
| 1998 |
|---|
| 9 | | David Kinny:
The Agentis Agent Interaction Model.
ATAL 1998: 331-344 |
| 8 | | Mark d'Inverno,
David Kinny,
Michael Luck:
Interaction Protocols in Agentis.
ICMAS 1998: 112-119 |
| 1997 |
|---|
| 7 | | David Kinny,
Jan Treur,
Les Gasser,
Steve Clark,
Jörg P. Müller:
Panel: Methodologies for Multi-Agent Systems.
ATAL 1997: 1 |
| 6 | | David Kinny,
Michael P. Georgeff:
Modelling and Design of Multi-Agent Systems.
ATAL 1997: 1-20 |
| 5 | | Mark d'Inverno,
David Kinny,
Michael Luck,
Michael Wooldridge:
A Formal Specification of dMARS.
ATAL 1997: 155-176 |
| 1996 |
|---|
| 4 | | David Kinny,
Michael P. Georgeff,
Anand S. Rao:
A Methodology and Modelling Technique for Systems of BDI Agents.
MAAMAW 1996: 56-71 |
| 1995 |
|---|
| 3 | | James Bailey,
Michael P. Georgeff,
David B. Kemp,
David Kinny,
Kotagiri Ramamohanarao:
Active Databases and Agent Systems - A Comparison.
Rules in Database Systems 1995: 342-356 |
| 1992 |
|---|
| 2 | | David Kinny,
Magnus Ljungberg,
Anand S. Rao,
Liz Sonenberg,
Gil Tidhar,
Eric Werner:
Planned Team Activity.
MAAMAW 1992: 227-256 |
| 1991 |
|---|
| 1 | | David Kinny,
Michael P. Georgeff:
Commitment and Effectiveness of Situated Agents.
IJCAI 1991: 82-88 |
