Ryan's Research

What's the point of doing academic work if you're not sharing it with the world? These pages contain the outcomes and results from my PhD research.

Thesis

My thesis is entitled "Asynchronous Multi-Agent Reasoning in the Situation Calculus" and was submitted in October 2008. You can read all about it on the following page: Ryan's Thesis.

Papers

So far my research has resulted in five publications. The copyright for each paper has been transferred to the respective publisher, but I've reproduced them here with permission:

• Ryan F. Kelly and Adrian R. Pearce, Property Persistence in the Situation Calculus, Artificial Intelligence 174, pp. 865-888, 2010.
• Ryan F. Kelly and Adrian R. Pearce, Complex Epistemic Modalities in the Situation Calculus, in Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning, 2008.
• Ryan F. Kelly and Adrian R. Pearce, Knowledge and Observations in the Situation Calculus, in Proceedings of the 2007 International Conference on Autonomous Agents and Multiagent Systems, 2007.
• Ryan F. Kelly and Adrian R. Pearce, Property Persistence in the Situation Calculus, in IJCAI-07: Proceedings of the 20th International Joint Conference on Artificial Intelligence, 2007.
• Ryan F. Kelly and Adrian R. Pearce, Towards High-Level Programming for Distributed Problem Solving, in Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006.