Ryan's Research
What's the point of doing academic work if you're not sharing it with the world? These pages (will) contain a collection of notes, summaries, links and other information related to my thesis "Asynchronous Multi-Agent Reasoning in the Situation Calculus".
Thesis
My thesis was 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.