David Kinny

Publication Activity (10 Years)

Years Active: 1991-2013
Publications (10 Years): 0

Top Topics

Autonomous Robots

Monte Carlo Search

Collective Behavior

Top Venues

Culture and Computing

Publications

Hiromichi Cho, David Kinny, Donghui Lin
Parallel Prototyping for Multi-language Service Design: A Case Study on Introducing a Multilingual Tool into a Japanese Local Restaurant. Culture and Computing (2013)
Xin Zhou, David Kinny
Energy-Based Particle Swarm Optimization: Collective Energy Homeostasis in Social Autonomous Robots. IAT (2013)
David Kinny
A New Approach to the Snake-In-The-Box Problem. ECAI (2012)
David Kinny
Monte-Carlo Search for Snakes and Coils. MIWAI (2012)
David Kinny
Algebraic specification of agent computation. Appl. Algebra Eng. Commun. Comput. 16 (2-3) (2005)
David Kinny
Agents - The Challenge of Relevance to the IT Mainstream. PROMAS (2004)
Mark d'Inverno, Michael Luck, Michael P. Georgeff, David Kinny, Michael J. Wooldridge
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System. Auton. Agents Multi Agent Syst. 9 (1-2) (2004)
David Kinny
ViP: a visual programming language for plan execution systems. AAMAS (2002)
Frank Dignum, David Kinny, Liz Sonenberg
Motivational Attitudes of Agents: On Desires, Obligations, and Norms. CEEMAS (2001)
David Kinny
The Psi Calculus: An Algebraic Agent Language. ATAL (2001)
David Kinny
Reliable Agent Computation: An Algebraic Approach. PRIMA (2001)
David Kinny
Reliable Agent Communication - a Pragmatic Perspective. New Gener. Comput. 19 (2) (2001)
Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
The Gaia Methodology for Agent-Oriented Analysis and Design. Auton. Agents Multi Agent Syst. 3 (3) (2000)
David Kinny
Reliable Agent Communication - A Pragmatic Perspective. PRIMA (1999)
Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
A Methodology for Agent-Oriented Analysis and Design. Agents (1999)
Mark d'Inverno, David Kinny, Michael Luck
Interaction Protocols in Agentis. ICMAS (1998)
David Kinny
The Agentis Agent Interaction Model. ATAL (1998)
David Kinny, Jan Treur, Les Gasser, Steve Clark, Jörg P. Müller
Panel: Methodologies for Multi-Agent Systems. ATAL (1997)
Mark d'Inverno, David Kinny, Michael Luck, Michael J. Wooldridge
A Formal Specification of dMARS. ATAL (1997)
David Kinny, Michael P. Georgeff, Anand S. Rao
A Methodology and Modelling Technique for Systems of BDI Agents. MAAMAW (1996)
David Kinny, Michael P. Georgeff
Modelling and Design of Multi-Agent Systems. ATAL (1996)
James Bailey, Michael P. Georgeff, David B. Kemp, David Kinny, Kotagiri Ramamohanarao
Active Databases and Agent Systems - A Comparison. Rules in Database Systems (1995)
David Kinny, Magnus Ljungberg, Anand S. Rao, Liz Sonenberg, Gil Tidhar, Eric Werner
Planned Team Activity. MAAMAW (1992)
David Kinny, Michael P. Georgeff
Commitment and Effectiveness of Situated Agents. IJCAI (1991)