The Two-variable Situation Calculus. Gu, Y. & Soutchanski, M. In Proceedings of the third European Starting AI Researcher Symposium (STAIRS-06) at ECAI06, Riva del Garda, Italy, August, 2006.
The Two-variable Situation Calculus [pdf]Paper  bibtex   2 downloads  

Downloads: 2