Index of /dist/cogrob

	Name	Last modified	Size	Description
	Parent Directory		-
	gifs/	1995-11-10 12:35	-
	README	1996-12-11 12:17	6.3K
	README.old.23nov.1995.html	1995-09-15 11:08	8.4K
	README.html	1998-01-03 17:07	15K
	commonsense96.ps.Z	1995-12-13 15:06	42K
	order.ps.Z	1996-03-19 16:05	43K
	orderijcai.ps.Z	1996-03-19 16:06	43K
	forgetting.ps.Z	1994-07-15 16:49	50K
	agentprog.ps.Z	1995-11-23 19:04	50K
	toilet.ps.Z	1996-10-03 18:33	51K
	agentprogfr.ps.Z	1995-05-30 15:15	52K
	noise.ps.Z	1995-03-06 16:48	53K
	planconf.ps.Z	1994-02-01 12:34	55K
	abilityInSC.ps.Z	1995-11-30 18:27	55K
	persist.ps.Z	1995-11-10 16:44	57K
	edbt.ps.Z	1994-02-01 12:39	59K
	causality.ps.Z	1995-04-24 14:01	61K
	AAAIfall95.ps.Z	1995-09-15 10:56	62K
	indtm.ps.Z	1996-04-10 15:51	64K
	distribagents.ps.Z	1995-02-22 12:22	65K
	indexcomm.ps.Z	1994-07-18 14:21	67K
	sensing.ps.Z	1996-07-25 23:37	67K
	ieee-tse.ps.Z	1996-01-11 12:31	72K
	ability-slides.ps.Z	1994-03-18 17:27	72K
	induction.ps.Z	1994-01-20 17:00	72K
	progress2.ps.Z	1995-04-17 13:42	73K
	indextempo.ps.Z	1995-11-30 17:46	76K
	cut.ps.Z	1995-10-30 14:00	77K
	simple.ps.Z	1994-01-20 17:20	77K
	dagstuhl.ps.Z	1996-10-03 18:20	78K
	robotprog.ps.Z	1995-01-16 16:17	79K
	aaai96.ps.Z	1996-03-19 16:14	81K
	temporal.ps.Z	1994-05-04 17:38	81K
	occurrence.ps.Z	1996-08-29 17:55	82K
	natural.ps.Z	1996-08-20 16:08	84K
	minker.ps.Z	1994-03-09 11:56	86K
	progress1.ps.Z	1994-03-30 16:58	86K
	fgcs.ps.Z	1994-03-08 17:35	88K
	aijframe.ps.Z	1994-03-10 17:07	96K
	constraint.ps.Z	1994-03-30 16:54	100K
	GOLOGlang.ps.Z	1996-10-03 18:09	103K
	bankingAgt.ps.Z	1997-03-06 17:54	106K
	schedule.ps.Z	1996-05-27 14:34	112K
	pcta.ps.Z	1994-06-29 13:51	115K
	lp.ps.Z	1996-10-04 15:50	116K
	updates.ps.Z	1995-02-28 15:14	136K
	progress.ps.Z	1996-03-05 13:35	141K
	indexmodal.ps.Z	1994-01-14 16:35	157K
	bisfai95.ps	1996-05-31 14:32	177K
	jpThesis.ps.Z	1994-05-09 15:36	403K

The Cognitive Robotics Group

University of Toronto

List of Publications available in this archive

Papers submitted for publication

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

• J. Pinto. Occurrences and narratives as constraints in the branching structure of the situation calculus. Submitted to the Journal of Logic and Computation.

1997

• Y. Lespérance, H.J. Levesque, and S. Ruman. An Experiment in Using Golog to Build a Personal Banking Assistant. To appear in Intelligent Agent Systems: Theoretical and Practical Issues (Based on a Workshop Held at PRICAI '96 Cairns, Australia, August 1996), Cavedon, L., Rao, A., and Wobcke, W. (Eds.), LNAI volume 1209, Springer-Verlag, 1997.

1996

• H.J. Levesque. What is planning in the presence of sensing? To appear in The Proceedings of the Thirteenth National Conference on Artificial Intelligence, AAAI-96, Portland, Oregon, August 1996. Copyright 1996, American Association for Artificial Intelligence. All rights reserved.

• H.J. Levesque, R. Reiter, Y. Lespérance, F. Lin and R. Scherl. GOLOG: A Logic Programming Language for Dynamic Domains. To appear in Journal of Logic Programming, Special issue on Reasoning about Action and Change.

• F. Lin. Embracing causality in specifying the indeterminate effects of actions. To be presented at AAAI'96. Copyright 1996, American Association for Artificial Intelligence. All rights reserved.

• F. Lin and R. Reiter. Rules as actions: A situation calculus semantics for logic programs. Journal of Logic Programming, Special issue on Reasoning about Action and Change, Vol. 31(1-3), 1997, pp. 299-330.

• F. Lin and Y. Shoham. On non-forgetting and minimal learning. To appear in Proc. of the 1993 Int. Coll. on Cognitive Science, N. Asher, K. Korta, and J. Ezquerro, editors, Kluwer Academic Publishers.

• R. Reiter. Natural actions, concurrency and continuous time in the situation calculus. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference (KR'96) , Cambridge, Massachusetts, U.S.A. November 5-8, 1996.

• R. Reiter and Y. Zheng. Scheduling in the situation calculus: a case study. To appear in Annals of Mathematics and Artificial Intelligence, special issue on logic programming, nonmonotonic reasoning and action.

• T. Kelley. Reasoning about physical systems with the situation calculus. Presented at Common Sense 96, Third Symposium on Logical Formalizations of Commonsense Reasoning, Stanford, CA, Jan 5-7, 1996.

• T. Kelley. Modeling complex systems in the situation calculus: A case study using the Dagstuhl steam boiler problem. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference (KR'96), Cambridge, Massachusetts, U.S.A. November 5-8, 1996.

• F. Lin and R. Reiter. How to Progress a Database. To appear in Artificial Intelligence. This paper revises and combines results that first appeared in Lin and Reiter [KR'94, IJCAI'95].

1995

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

• A. Borgida, J. Mylopoulos and R. Reiter. On the Frame Problem in Procedure Specifications. IEEE Trans. on Software Engineering, 21(10), Oct. 1995, pp.785-798.

• 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 M. Wooldridge, J.P. Müller, and M. Tambe, editors, Intelligent Agents Volume II -- Proceedings of the 1995 Workshop on Agent Theories, Architectures, and Languages (ATAL-95), pp. 331-346, Springer-Verlag, Lecture Notes in Artificial Intelligence, 1996.

• 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 and H.J. Levesque. Indexical Knowledge and Robot Action -- A Logical Account. Artificial Intelligence, 73, 69-115, 1995.

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

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

• F. Lin and Y. Shoham. Provably correct theories of action. Journal of ACM 42(2):293-320, 1995. 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. In Proc. Intelligent Computer Communication (ICC'95) Conference, Cluj-Napoca, Romania, June, 1995.

• J. Pinto and R. Reiter. Reasoning about time in the situation calculus. Annals of Mathematics and Artificial Intelligence, Vol. 14(2-4), Sept 1995, pp. 251-268.

• R. Reiter. On specifying database updates. Journal of Logic Programming, Vol 25(1), Oct 95, pp. 53-91..

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

• S. Shapiro, Y. Lespérance, and H. Levesque. Goals and Rational Action in the Situation Calculus --- A Preliminary Report. In Working Notes of the AAAI Fall Symposium on Rational Agency: Concepts, Theories, Models, and Applications, Cambridge, MA, November, 1995.

1994

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

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

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

1993

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

• Y. Lespérance. An Approach to Modeling Indexicality in Action and Communication. In Reasoning about Mental States: Formal Theories and Applications, Papers from the 1993 AAAI Spring Symposium, March 1993, Stanford, CA, pp. 79--85, Technical Report, AAAI Press, Menlo Park, CA; also appears in the Proceedings of the IJCAI Workshop on Using Knowledge in its Context, Chambery, France, August 1993.

1992

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

1991

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

Unpublished Manuscripts

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

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

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

• F. Lin. A semantics for cut in the situation calculus. Draft.