Sat, 02 Jun 2007

Publications now Online

I've updated the page describing my research with copies of the three publications I have authored so far: Towards High-Level Programming for Distributed Problem Solving, Property Persistence in the Situation Calculus, and Knowledge and Observations in the Situation Calculus. The first in particular is a good overview of where my research is headed, while the other two are more specific technical papers. Enjoy!