David Kinny

According to our database, David Kinny authored at least 24 papers between 1991 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Energy-Based Particle Swarm Optimization: Collective Energy Homeostasis in Social Autonomous Robots.

Xin Zhou, David Kinny

Proceedings of the 2013 IEEE/WIC/ACM International Conferences on Intelligent Agent Technology, 2013

Parallel Prototyping for Multi-language Service Design: A Case Study on Introducing a Multilingual Tool into a Japanese Local Restaurant.

Hiromichi Cho, David Kinny, Donghui Lin

Proceedings of the 2013 International Conference on Culture and Computing, 2013

2012

Monte-Carlo Search for Snakes and Coils.

David Kinny

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2012

A New Approach to the Snake-In-The-Box Problem.

David Kinny

Proceedings of the ECAI 2012, 2012

2005

Algebraic specification of agent computation.

David Kinny

Appl. Algebra Eng. Commun. Comput., 2005

2004

The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System.

Mark d'Inverno, Michael Luck, Michael P. Georgeff, David Kinny, Michael J. Wooldridge

Auton. Agents Multi Agent Syst., 2004

Agents - The Challenge of Relevance to the IT Mainstream.

David Kinny

Proceedings of the Programming Multi-Agent Systems, 2004

2002

ViP: a visual programming language for plan execution systems.

David Kinny

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001

Fundamentals of agent computation theory: semantics.

David Kinny

PhD thesis, 2001

Reliable Agent Computation: An Algebraic Approach.

David Kinny

Proceedings of the Intelligent Agents: Specification, 2001

Motivational Attitudes of Agents: On Desires, Obligations, and Norms.

Frank Dignum, David Kinny, Liz Sonenberg

Proceedings of the From Theory to Practice in Multi-Agent Systems, 2001

The Psi Calculus: An Algebraic Agent Language.

David Kinny

Proceedings of the Intelligent Agents VIII, 8th International Workshop, 2001

2000

The Gaia Methodology for Agent-Oriented Analysis and Design.

Michael J. Wooldridge, Nicholas R. Jennings, David Kinny

Auton. Agents Multi Agent Syst., 2000

1999

Reliable Agent Communication - A Pragmatic Perspective.

David Kinny

Proceedings of the Approaches to Intelligent Agents, 1999

A Methodology for Agent-Oriented Analysis and Design.

Michael J. Wooldridge, Nicholas R. Jennings, David Kinny

Proceedings of the Third Annual Conference on Autonomous Agents, 1999

1998

Interaction Protocols in Agentis.

Mark d'Inverno, David Kinny, Michael Luck

Proceedings of the Third International Conference on Multiagent Systems, 1998

The Agentis Agent Interaction Model.

David Kinny

Proceedings of the Intelligent Agents V, 1998

1997

A Formal Specification of dMARS.

Mark d'Inverno, David Kinny, Michael Luck, Michael J. Wooldridge

Proceedings of the Intelligent Agents IV, 1997

Panel: Methodologies for Multi-Agent Systems.

David Kinny, Jan Treur, Les Gasser, Steve Clark, Jörg P. Müller

Proceedings of the Intelligent Agents IV, 1997

1996

A Methodology and Modelling Technique for Systems of BDI Agents.

David Kinny, Michael P. Georgeff, Anand S. Rao

Proceedings of the Agents Breaking Away, 1996

Modelling and Design of Multi-Agent Systems.

David Kinny, Michael P. Georgeff

Proceedings of the Intelligent Agents IV, 1996

1995

Active Databases and Agent Systems - A Comparison.

James Bailey, Michael P. Georgeff, David B. Kemp, David Kinny, Kotagiri Ramamohanarao

Proceedings of the Rules in Database Systems, Second International Workshop, 1995

1992

Planned Team Activity.

David Kinny, Magnus Ljungberg, Anand S. Rao, Liz Sonenberg, Gil Tidhar, Eric Werner

Proceedings of the Artificial Social Systems, 1992

1991

Commitment and Effectiveness of Situated Agents.

David Kinny, Michael P. Georgeff

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991