David Kinny Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2005
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Kinny: Algebraic specification of agent computation. Appl. Algebra Eng. Commun. Comput. 16(2-3): 77-111 (2005)
2004
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Kinny: Agents - The Challenge of Relevance to the IT Mainstream. PROMAS 2004: 38-43
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Kinny: ViP: a visual programming language for plan execution systems. AAMAS 2002: 721-728
2001
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Kinny: The Psi Calculus: An Algebraic Agent Language. ATAL 2001: 32-50
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Dignum, David Kinny, Liz Sonenberg: Motivational Attitudes of Agents: On Desires, Obligations, and Norms. CEEMAS 2001: 83-92
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Kinny: Reliable Agent Computation: An Algebraic Approach. PRIMA 2001: 31-47
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Kinny: Reliable Agent Communication - a Pragmatic Perspective. New Generation Comput. 19(2): 139-156 (2001)
2000
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Wooldridge, Nicholas R. Jennings, David Kinny: A Methodology for Agent-Oriented Analysis and Design. Agents 1999: 69-76
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Kinny: Reliable Agent Communication - A Pragmatic Perspective. PRIMA 1999: 16-31
1998
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Kinny: The Agentis Agent Interaction Model. ATAL 1998: 331-344
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark d'Inverno, David Kinny, Michael Luck: Interaction Protocols in Agentis. ICMAS 1998: 112-119
1997
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Kinny, Jan Treur, Les Gasser, Steve Clark, Jörg P. Müller: Panel: Methodologies for Multi-Agent Systems. ATAL 1997: 1
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Kinny, Michael P. Georgeff: Modelling and Design of Multi-Agent Systems. ATAL 1997: 1-20
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark d'Inverno, David Kinny, Michael Luck, Michael Wooldridge: A Formal Specification of dMARS. ATAL 1997: 155-176
1996
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Kinny, Michael P. Georgeff, Anand S. Rao: A Methodology and Modelling Technique for Systems of BDI Agents. MAAMAW 1996: 56-71
1995
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames 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
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Kinny, Magnus Ljungberg, Anand S. Rao, Liz Sonenberg, Gil Tidhar, Eric Werner: Planned Team Activity. MAAMAW 1992: 227-256
1991
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Kinny, Michael P. Georgeff: Commitment and Effectiveness of Situated Agents. IJCAI 1991: 82-88

Coauthor Index

1James Bailey [3]
2Steve Clark [7]
3Frank Dignum (F. P. M. Dignum) [15]
4Les Gasser [7]
5Michael P. Georgeff [1] [3] [4] [6] [18]
6Nicholas R. Jennings (Nick R. Jennings) [11] [12]
7David B. Kemp [3]
8Magnus Ljungberg [2]
9Michael Luck [5] [8] [18]
10Jörg P. Müller [7]
11Kotagiri Ramamohanarao [3]
12Anand S. Rao [2] [4]
13Liz Sonenberg [2] [15]
14Gil Tidhar [2]
15Jan Treur [7]
16Eric Werner [2]
17Michael Wooldridge (Michael J. Wooldridge) [5] [11] [12] [18]
18Mark d'Inverno [5] [8] [18]

Copyright © Fri Nov 27 15:43:12 2009 by Michael Ley (ley@uni-trier.de)