University of Toronto Cognitive Robotics Group

Group Members

• Hector Levesque
  hector@ai.toronto.edu
• Ray Reiter
  reiter@ai.toronto.edu
• Yves Lespérance
  lesperan@ai.toronto.edu
• Fangzhen Lin
  fl@ai.toronto.edu
• Richard Mann
  mann@ai.toronto.edu
• Daniel Marcu
  marcu@ai.toronto.edu
• Richard Scherl
  scherl@ai.toronto.edu

Publications available in this archive

• F. Bacchus, J.Y. Halpern, and H. Levesque. Reasoning about Noisy Sensors in the Situation Calculus. In Proc. IJCAI-95. Mellish, C.S. (ed.) pp. 1933-1940, Montreal, August 1995.

• Y. Lespérance, H. Levesque, F. Lin, D. Marcu, R. Reiter, and R. Scherl. Foundations of a Logical Approach to Agent Programming. To appear in Working Notes of the IJCAI-95 Workshop on Agent Theories, Architectures, and Languages, Montréal, August, 1995.

• Y. Lespérance, H. Levesque, F. Lin, D. Marcu, R. Reiter, and R. Scherl. Fondements d'une Approche Logique à la Programmation d'Agents. Actes des Troisièmes Journées Francophones sur l'Intelligence Artificielle Distribuée et les Systèmes Multi-Agents, pp. 3-14, Chambéry-St-Badolph, France, March, 1995.

• Y. Lespérance, H. Levesque, F. Lin, and R. Scherl. Ability and Knowing How in the Situation Calculus. Unpublished manuscript.

• Y. Lespérance, 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.

• Y. Lespérance and H.J. Levesque. Indexical Knowledge and Robot Action -- A Logical Account. Artificial Intelligence, 73, 69-115, 1995.

• Y. Lespérance 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.

• H.J. Levesque, R. Reiter, Y. Lespérance, 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.

• H. Levesque. Knowledge, action and ability in the situation calculus. Overheads from invited talk at TARK 1994.

• F. Lin. Embracing causality in specifying the indirect effects of actions. To appear in Proc. IJCAI-95.

• F. Lin. A semantics for cut in the situation calculus. Submitted to Int. Logic Prog. Sym. (ILPS-95).

• F. Lin. An ordering on goals - Formalizing control information in the situation calculus. Being reivised.

• F. Lin and R. Reiter. Forget It! Presented at the AAAI Fall Symposium on Relevance, New Orleans, Nov. 1994

• 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.

• F. Lin and R. Reiter. State Constraints Revisited. Journal of Logic and Computation, 4(5):655-678, Special Issue on Action and Processes, 1994.

• F. Lin and R. Reiter. How to progress a database II: The STRIPS connection. To appear in Proc. IJCAI'95.

• F. Lin and R. Reiter. Rules as actions: A situation calculus semantics for logic programs. Submitted to Int. Logic Prog. Sym. (ILPS-95).

• 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".

• D. Marcu, Y. Lespérance, H. Levesque, F. Lin, R. Reiter, and R. Scherl. Distributed Software Agents and Communication in the Situation Calculus. To appear in Proc. Intelligent Computer Communication (ICC'95) Conference, Cluj-Napoca, Romania, June, 1995.

• J. Pinto. Temporal Reasoning in the Situation Calculus. Ph.D. Thesis, Dept. of Computer Science, Univ. of Toronto, Jan. 1994.

• 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.

• 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.

• R. Reiter. Proving properties of states in the situation calculus. Artificial Intelligence, 64, Dec. 1993, pp. 337-351.

• 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.

• 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.

• 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.

• R. Reiter. In formalizing database updates: preliminary report. Proc. 3rd Int. Conf. on Extending Database Technology, Vienna, Austria, March 23-27, 1992, pp. 10-20. Invited paper.

• R. Reiter. On specifying database updates. To appear in Journal of Logic Programming.

• R. Scherl and H.J. Levesque. The Frame Problem and Knowledge Producing Actions. Submitted to Artificial Intelligence. An earlier version appeared in AAAI-93.