David Kinny - RankMe

26 papers A* 1A 2B 3Journal 4Unranked 15

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