Back to publication index

Publications of David Kinny
Journal Articles and Chapters
  1. Mark D'Inverno, Michael Luck, Michael Georgeff, David Kinny, and Michael Wooldridge. The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System. Autonomous Agents & Multi-Agent Systems, 9:5--53, 2004.
    Keywords: agent programming languages, honours reading. [bibtex-entry]


  2. F. Dignum, D. N. Kinny, and E. A. Sonenberg. From desires, obligations and norms to goals.. Cognitive Science Quarterly ., 2(3-4):407--427, 2002.
    Keywords: agentlab, models of interaction and context aware applications, cognitive science. [bibtex-entry]


  3. David Kinny. Reliable Agent Communication - a Pragmatic Perspective. New Generation Computing, 19(2):139--156, 2001.
    Keywords: agentlab, models of interaction and context aware applications, agent communication languages. [bibtex-entry]


  4. M. Wooldridge, N. R. Jennings, and D. Kinny. The Gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems, 3(3):285--312, 2000.
    Note: Times Cited: 3 Article English Cited References Count: 34 412fd.
    Keywords: agent-oriented software engineering, agentlab, logistics. [abstract] [download paper ] [bibtex-entry]


Conference Proceedings
  1. David Kinny. ViP: a visual programming language for plan execution systems. In Proceedings of AAMAS 2002, pages 721--728, 2002.
    Keywords: agentlab, models of interaction and context aware applications, agent-oriented software engineering. [bibtex-entry]


  2. Frank Dignum, David Kinny, and Liz Sonenberg. Motivational Attitudes of Agents: On Desires, Obligations, and Norms. In Proceedings of CEEMAS 2001, pages 83--92, 2001.
    Keywords: agentlab, models of interaction and context aware applications. [bibtex-entry]


  3. David Kinny. The Psi Calculus: An Algebraic Agent Language. In Proceedingso fATAL 2001, pages 32--50, 2001.
    Keywords: agentlab, models of interaction and context aware applications. [bibtex-entry]


  4. David Kinny. Reliable Agent Computation: An Algebraic Approach. In Proceedings of PRIMA 2001, pages 31--47, 2001.
    Keywords: agentlab, models of interaction and context aware applications. [bibtex-entry]


  5. David Kinny. Reliable Agent Communication - A Pragmatic Perspective. In Proceedings of PRIMA 1999, pages 16--31, 1999.
    Keywords: agentlab, agent communication languagess. [bibtex-entry]


  6. Michael Wooldridge, Nicholas R. Jennings, and David Kinny. A Methodology for Agent-Oriented Analysis and Design. In Proceedings of Agents 1999, pages 69--76, 1999.
    Keywords: agentlab, agent-oriented software engineering. [bibtex-entry]


  7. David Kinny. The Agentis Agent Interaction Model. In Proceedings of ATAL 1998, pages 331--344, 1998.
    Keywords: agentlab. [bibtex-entry]


  8. Mark d'Inverno, David Kinny, Michael Luck, and Michael Wooldridge. A Formal Specification of dMARS. In Proceedings of the Fourth International Workship on Agent Theories, Architectures, and Languages, ATAL'97 appears in Lecture Notes in Artificial Intelligence, volume 1365, pages 155--176, 1997.
    Keywords: model theory, procedural reasoning, agentlab, belief desires intentions, BDI. [bibtex-entry]


  9. David Kinny and Michael P. Georgeff. Modelling and Design of Multi-Agent Systems. In Proceedings of ATAL 1997, pages 1--20, 1997.
    Keywords: agentlab. [bibtex-entry]


  10. David Kinny, Jan Treur, Les Gasser, Steve Clark, and Jörg P. Müller. Panel: Methodologies for Multi-Agent Systems. In Proceedings of ATAL 1997, pages 1, 1997.
    Keywords: agentlab. [bibtex-entry]


  11. David Kinny, Michael P. Georgeff, and Anand S. Rao. A Methodology and Modelling Technique for Systems of BDI Agents. In Proceedings of MAAMAW 1996, Lecture Notes in Artificial Intelligence, Volume 1038, pages 56--71, 1996.
    Keywords: agentlab, belief desires intentions, BDI, logistics. [bibtex-entry]


  12. James Bailey, Michael Georgeff, David Kemp, David Kinny, and Kotagiri Ramamohanarao. Second International Workshop on Rules in Datbase Systems, Lecutre Notes in Computer Science Vol 985. In , pages 342--356, 1995.
    Keywords: agent programming languages, honours reading. [bibtex-entry]


  13. David Kinny, Ljungberg, Anand Rao, Liz Sonenberg, Gil Tidhar, and Werner. Planned Team Activity. In MAAMAW 1992: Artificial Social Systems, LNCS 830, pages 227--256, 1994.
    Keywords: agentlab, teamwork. [bibtex-entry]


Thesis
  1. David Kinny. Fundamentals of agent computation theory: semantics. PhD, The University of Melbourne, 2001.
    Keywords: agentlab, models of interaction and context aware applications. [bibtex-entry]



Back to publication index



Disclaimer: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Bibliography last modified: Fri Aug 6 11:18:04 2010 translated from BibTEX by bibtex2html