Back to publication index

Publications of Ryan F. Kelly
Conference Proceedings
  1. Ryan F. Kelly and Adrian R. Pearce. Complex Epistemic Modalities in the Situation Calculus. In International Conference on Principles of Knowledge Representation and Reasoning (KR2008), Sydney, pages 611--620, 2008.
    Keywords: agentlab, agent programming languages, MINDIGOLOG, situation calculus. [download paper ] [bibtex-entry]


  2. Ryan F. Kelly and Adrian R. Pearce. Knowledge and Observations in the Situation Calculus. In ACM International Conference on Autonomous and Multiagent Systems (AAMAS 2007), volume 1, Honolulu, Hawaii, USA, pages 841--843, 2007. ACM Press.
    Keywords: agent programming languages, agentlab, MINDIGOLOG, situation calculus. [download paper ] [bibtex-entry]


  3. Ryan F. Kelly and Adrian R. Pearce. Property persistence in the situation calculus. In Manuela M. Veloso, editor, Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), volume 2, Hyderabad, India, pages 1948--1953, 2007. IJCAI.
    Keywords: agentlab, agent programming languages, honours reading, situation calculus, MINDIGOLOG. [download paper ] [bibtex-entry]


  4. Ryan F. Kelly and Adrian R. Pearce. Towards high level programming for distributed problem solving. In Silvia Ceballos, editor, IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT-06), Hong Kong, pages 490--497, 2006. IEEE Computer Society Press.
    Keywords: agentlab, agent programming languages, honours reading, situation calculus, MINDIGOLOG, GOLOG. [download paper ] [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