Index of /pub/cogrob

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

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.