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