profile picture

Ryan's Thesis

This page hosts material for my PhD thesis, entitled "Asynchronous Multi-Agent Reasoning in the Situation Calculus" and submitted in October 2008. A PDF version is available for download: Ryan's Thesis.

The software developed alongside the thesis is available for download below. All three are free software, under the terms of the GNU General Public License.



There is also a preliminary implementation of MIndiGolog written in Prolog rather than Oz. While it is only a centralised execution planner, and was not referred to explicitly in the final thesis,it may be of independent interest: MIndiGolog0.tar.gz