UNIVERSITY OF TORONTO COGNITIVE ROBOTICS GROUP Publications available by ftp. 1. R. Reiter. Proving properties of states in the situation calculus. Artificial Intelligence, Vol. 64, Dec. 1993, pp.337-351. induction.ps.Z 2. F. Lin and R. Reiter. How to progress a database (and why) I: Formal foundations. In Proc. Fourth Int. Conf. on Principles of Knowledge Representation and Reasoning, pp. 425-436, Bonn, Germany, 1994. progress1.ps.Z 3. F. Lin and R. Reiter. How to progress a database II: The STRIPS connection. Proc. IJCAI'95. progress2.ps.Z 4. R. Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, Vladimir Lifschitz (ed.), Academic Press, San Diego, CA, 1991, pp.359-380. simple.ps.Z 5. R. Reiter. Formalizing database evolution in the situation calculus. Proc. Int. Conf. on Fifth Generation Computer Systems, June 1-5, 1992, Tokyo, Japan, pp. 600-609. Invited paper. fgcs.ps.Z 6. R. Reiter. The projection problem in the situation calculus: a soundness and completeness result, with an application to database updates. Proc. First Int. Conference on AI Planning Systems, College Park, Maryland, June 15-17, 1992, pp. 198-203. planconf.ps.Z 7. R. Reiter. On formalizing database updates: preliminary report. Proc. 3rd Int. Conf. on Extending Database Technology, Vienna, Austria, March 23-27, 1992, pp. 10-20. Invited paper. edbt.ps.Z 8. F. Lin and R. Reiter. State Constraints Revisited. Journal of Logic and Computation, 4(5):655-678, Special Issue on Action and Processes, 1994. constraint.ps.Z 9. Y. Lesperance and H.J. Levesque. Indexical Knowledge and Robot Action -- A Logical Account. To appear in Artificial Intelligence, 1995. indexmodal.ps.Z 10. Y. Lesperance and H.J. Levesque. An Argument for Indexical Representations in Temporal Reasoning. In Renee Elio, editor, Proceedings of the Tenth Biennial Conference of the Canadian Society for Computational Studies of Intelligence, pp. 271-277, Banff, Canada, May, 1994. indextempo.ps.Z 11. R. Scherl and H.J. Levesque. The Frame Problem and Knowledge Producing Actions. Submitted to Artificial Intelligence. An earlier version appeared in AAAI-93. aijframe.ps.Z 12. J. Pinto and R. Reiter. Reasoning about time in the situation calculus. To appear in Annals of Mathematics and Artificial Intelligence, special festschrift issue in honour of Jack Minker. minker.ps.Z 13. H. Levesque. Knowledge, action and ability in the situation calculus. Overheads from invited talk at TARK 1994. ability-slides.ps.Z 14. J. Pinto. Temporal Reasoning in the Situation Calculus. Ph.D. Thesis, Dept. of Computer Science, Univ. of Toronto, Jan. 1994. jpThesis.ps.Z 15. Y. Lesperance, H. Levesque, F. Lin, D. Marcu, R. Reiter, and R. Scherl. A Logical Approach to High-Level Robot Programming -- A Progress Report. In Benjamin Kuipers, editor, Control of the Physical World by Intelligent Systems, Papers from the 1994 AAAI Fall Symposium, pages 79-85, New Orleans, LA, November, 1994. robotprog.ps.Z 16. R. Reiter. On specifying database updates. Journal of Logic Programming, Vol 25, Oct. '95, pp. 53-91. updates.ps.Z 17. J. Pinto and R. Reiter. Temporal Reasoning in Logic Programming: A Case for the Situation Calculus. Proc. 10th Int. Conf. on Logic Programming, Budapest, Hungary, June 21-24, 1993. temporal.ps.Z 18. F. Lin and Y. Shoham. Provably correct theories of action. To appear in the Journal of ACM. Extended abstracts appeared in AAAI-91 under the same title, and in AAAI-92 under the title "concurrent actions in the situation calculus". pcta.ps.Z 19. F. Lin and R. Reiter. Forget It! Presented at the AAAI Fall Symposium on Relevance, New Orlean, Nov. 1994 forgetting.ps.Z 20. Y. Lesperance, H. Levesque, F. Lin, and R. Scherl. Ability and Knowing How in the Situation Calculus. Submitted to IJCAI-95. abilityInSC.ps.Z 21. F. Lin. Embracing causality in specifying the indirect effects of actions. In IJCAI-95. causality.ps.Z 22. F. Lin. An ordering on goals - Formalizing control information in the situation calculus. DRAFT. orderijcai.ps.Z 23. Y. Lesperance, H. Levesque, F. Lin, D. Marcu, R. Reiter, and R. Scherl. Foundations of a Logical Approach to Agent Programming. A French version will appear in Actes des Troisiemes Journees Francophones sur l'Intelligence Artificielle Distribuee et les Systemes Multi-Agents, Chambery-St-Badolph, France, March, 1995. agentprog.ps.Z 24. D. Marcu, Y. Lesperance, H. Levesque, F. Lin, R. Reiter, and R. Scherl. Distributed Software Agents and Communication in the Situation Calculus. Submitted to ICC-95. distribagents.ps.Z 25. F. Bacchus, J.Y. Halpern, and H. Levesque. Reasoning about Noisy Sensors in the Situation Calculus. Submitted to IJCAI-95. noise.ps.Z 26. F. Lin and R. Reiter. Rules as actions: A situation calculus semantics for logic programs. Submitted to Journal of Logic Programming, Special issue on Reasoning about Action and Change. lp.ps.Z 27. F. Lin. A semantics for cut in the situation calculus. Submitted to ILPS-95. cut.ps.Z 28. H. Levesque, R. Reiter, Y. Lesperance, F. Lin, and R. Scherl. GOLOG: A Logic Programming Language for Dynamic Domains. Submitted to Journal of Logic Programming, Special issue on Reasoning about Action and Change. GOLOGlang.ps.Z 29. R. Reiter. Natural actions, concurrency and continuous time in the situation calculus. KR'96. natural.ps.Z 30. H.J. Levesque. What is planning in the presence of sensing? The Proceedings of the Thirteenth National Conference on Artificial Intelligence, AAAI-96, Portland, Oregon, August 1996. sensing.ps.Z 31. R. Scherl, H. Levesque, and Y. Lesperance. The Situation Calculus with Sensing and Indexical Knowledge, in Moshe Koppel and Eli Shamir, editors, Proceedings of BISFAI'95: The Fourth Bar-Ilan Symposium on Foundations of Artificial Intelligence, pp. 86-95, Ramat Gan and Jerusalem, Israel, June, 1995. bisfai95.ps