@COMMENT{{{This file has been generated by bib2bib 1.75}}
@COMMENT{{{Command line: bib2bib -c key="CogRobo" ./bibsv.bib}}
@COMMENT{{{This file has been generated by Pybliographer}}
@INPROCEEDINGS{LL05b, AUTHOR = {Yongmei Liu and Hector J. Levesque}, TITLE = {Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions}, BOOKTITLE = {Proc. IJCAI-05}, ADDRESS = {Edinburgh, Scotland}, KEY = {CogRobo}, MONTH = {August}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/f706.pdf}, YEAR = 2005 }
@INPROCEEDINGS{LL05a, AUTHOR = {Yongmei Liu and Hector J. Levesque}, TITLE = {Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information}, BOOKTITLE = {Proc. AAAI-05}, ADDRESS = {Pittsburgh, Pennsylvania}, KEY = {CogRobo}, MONTH = {July}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/fdisj.pdf}, YEAR = 2005 }
@INPROCEEDINGS{Giuseppe02, AUTHOR = {De Giacomo, Giuseppe and Lesp\'erance, Yves and Levesque, Hector and Sardi\~na, Sebastian}, TITLE = {On the Semantics of Deliberation in {I}ndi{G}olog -- From Theory to Implementation}, BOOKTITLE = {Proceedings of Eighth International Conference in Principles of Knowledge Representation and Reasoning (KR-2002)}, EDITOR = {.\ Fensel and F.\ Giunchiglia and D.\ McGuinness and M. A. Williams}, PAGES = {603--614}, ADDRESS = {Toulouse, France}, PUBLISHER = {Morgan Kaufmann}, KEY = {CogRobo}, MONTH = {April}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/kr02-semdelib.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/kr02-semdelib.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/kr02-semdelib.ps}, YEAR = 2002 }
@ARTICLE{Lin97a, AUTHOR = {F. Lin and R. Reiter}, TITLE = {Rules as actions: {A} situation calculus semantics for logic programs}, JOURNAL = {Journal of Logic Programming, Special issue on Reasoning about Action and Change}, VOLUME = {31}, PAGES = {299--330}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/lp.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/lp.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/lp.ps}, YEAR = 1997 }
@ARTICLE{Levesque98, AUTHOR = {Levesque, Hector and Pirri, Fiora and Reiter, Ray}, TITLE = {Foundations for a Calculus of Situations}, JOURNAL = {Electronic Transactions of AI (ETAI)}, VOLUME = {2}, NUMBER = {3--4}, PAGES = {159--178}, KEY = {CogRobo}, YEAR = 1998 }
@PHDTHESIS{McIlraith97-Phd, AUTHOR = {McIlraith, Sheila A.}, TITLE = {Towards a Formal Account of Diagnostic Problem Solving}, SCHOOL = {Department of Computer Science, University of Toronto}, ADDRESS = {Toronto, Canada}, KEY = {CogRobo}, YEAR = 1997 }
@INPROCEEDINGS{Levesque96-WhatPlanning, AUTHOR = {Levesque, Hector}, TITLE = {What is Planning in the Presence of Sensing?}, BOOKTITLE = {The Proceedings of the Thirteenth National Conference on Artificial Intelligence, AAAI-96}, PAGES = {1139--1146}, ADDRESS = {Portland, Oregon}, PUBLISHER = {American Association for Artificial Intelligence}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/sensing.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/sensing.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/sensing.ps}, YEAR = 1996 }
@BOOK{Levesque01-LKB, AUTHOR = {Levesque, Hector J. and Lakemeyer, Gerhard}, TITLE = {The Logic of Knowledge Bases}, PUBLISHER = {MIT Press}, KEY = {CogRobo}, YEAR = 2001 }
@INPROCEEDINGS{Reiter92a, AUTHOR = {Reiter, Raymond}, TITLE = {The Projection Problem in the Situation Calculus: A Soundness and Completeness Result, with and Application to Database Updates}, BOOKTITLE = {Proceedings of the First International Conference on AI Planning Systems}, PAGES = {198--203}, ADDRESS = {College Park, Maryland}, KEY = {CogRobo}, MONTH = {June 15-17}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/planconf.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/planconf.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/planconf.ps}, YEAR = 1992 }
@INPROCEEDINGS{Lesperance01, AUTHOR = {Lesp\'erance, Yves}, TITLE = {On the Epistemic Feasibility of Plans in Multiagent Systems Specifications}, BOOKTITLE = {Pre-Proceedings of the 8th International Workshop on Agent Theories, Architectures, and Languages (ATAL-01)}, EDITOR = {Meyer, J.-J. Ch. and Tambe, M.}, VOLUME = {2333}, SERIES = {LNAI}, PAGES = {69--85}, ADDRESS = {Seattle, USA}, KEY = {CogRobo}, MONTH = {August}, YEAR = 2001 }
@INPROCEEDINGS{Reiter96a, AUTHOR = {Reiter, R.}, TITLE = {Natural actions, concurrency and continuous time in the situation calculus}, BOOKTITLE = {In Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference (KR'96)}, PAGES = {2--13}, ADDRESS = {Cambridge, Massachusetts, U.S.A.}, KEY = {CogRobo}, MONTH = {November}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/natural.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/natural.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/natural.ps}, YEAR = 1996 }
@ARTICLE{Scherl03, AUTHOR = {Scherl, R. and Levesque, H. J.}, TITLE = {Knowledge, Action, and the Frame Problem}, JOURNAL = {Artificial Intelligence}, VOLUME = {144}, NUMBER = {1--2}, PAGES = {1--39}, KEY = {CogRobo}, OPTANNOTE = {}, OPTMONTH = {}, OPTNOTE = {}, OPTVOLUME = {}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/aij03frame.pdf}, YEAR = 2003 }
@INPROCEEDINGS{McIlraith97a, AUTHOR = {McIlraith, Sheila A.}, TITLE = {A Closed-Form Solution to the Ramification Problem (Sometimes)}, BOOKTITLE = {In Proceedings the Nonmonotonic Reasoning, Action and Change Workshop at IJCAI (NRAC-97)}, PAGES = {}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/sheila-ijcai97.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/sheila-ijcai97.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/sheila-ijcai97.ps}, YEAR = 1997 }
@INPROCEEDINGS{Shapiro00, AUTHOR = {Shapiro, S. and Pagnucco, M. and Lesp\'ence, Y. and Levesque, H. J.}, TITLE = {Iterated Belief Change in the Situation Calculus}, BOOKTITLE = {Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR2000)}, EDITOR = {Cohn, A. G. and Giunchiglia, F. and Selman, B.}, PAGES = {}, ADDRESS = {San Francisco, CA}, PUBLISHER = {Morgan Kaufmann}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/kr2000.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/kr2000.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/kr2000.ps}, YEAR = 2000 }
@ARTICLE{Reiter96b, AUTHOR = {Reiter, R. and Zheng, Y.}, TITLE = {Scheduling in the situation calculus: {A} case study}, JOURNAL = {Annals of Mathematics and Artificial Intelligence. Special issue on logic programming, nonmonotonic reasoning and action}, PAGES = {}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/schedule.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/schedule.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/schedule.ps}, YEAR = 1996 }
@INPROCEEDINGS{Lin97d, AUTHOR = {Lin, Fangzhen}, TITLE = {Applications of the situation calculus to formalizing control and strategic information: {T}he {P}rolog cut operator}, BOOKTITLE = {In Proceedings of IJCAI-97}, PAGES = {1412--1418}, NOTE = {(IJCAI-97 Distinguished Paper Award)}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/lin-ijcai97.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/lin-ijcai97.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/lin-ijcai97.ps}, YEAR = 1997 }
@INPROCEEDINGS{Ternovskaia99, AUTHOR = {Ternovskaia, E.}, TITLE = {Automata heory for reasoning about action}, BOOKTITLE = {Proc. IJCAI-99}, PAGES = {}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/dec.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/dec.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/dec.ps}, YEAR = 1999 }
@ARTICLE{Lesperance95b, AUTHOR = {Lesp\'erance, Y. and Levesque, H. J.}, TITLE = {Indexical Knowledge and Robot Action -- A Logical Account}, JOURNAL = {Artificial Intelligence}, VOLUME = {73}, PAGES = {69--115}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/indexmodal.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/indexmodal.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/indexmodal.ps}, YEAR = 1995 }
@INPROCEEDINGS{Gabaldon00, AUTHOR = {Gabaldon, Alfredo}, TITLE = {Non-Markovian Control in the Situation Calculus}, BOOKTITLE = {The Second International Workshop on Cognitive Robotics (held in conjunction with ECAI2000)}, PAGES = {}, ADDRESS = {Berlin, Germany}, KEY = {CogRobo}, MONTH = {August}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/nonmarkov.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/nonmarkov.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/nonmarkov.ps}, YEAR = 2000 }
@INPROCEEDINGS{Kiringa01b, AUTHOR = {Kiringa, I.}, TITLE = {Towards a Theory of Advanced Transaction Models in the Situation Calculus (Extended Abstract)}, BOOKTITLE = {Proceedings of the VLDB 8th International Workshop on Knowledge Representation Meets Databases (KRDB'01)}, EDITOR = {}, PAGES = {}, ADDRESS = {}, PUBLISHER = {}, NOTE = {}, KEY = {CogRobo}, MONTH = {}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/krdb01.ps.gz}, ORGANISATION = {}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/krdb01.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/krdb01.ps}, YEAR = 2001 }
@INPROCEEDINGS{Kelley96b, AUTHOR = {Kelley, T.}, TITLE = {Modeling complex systems in the situation calculus: {A} case study using the Dagstuhl steam boiler problem}, BOOKTITLE = {In Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference (KR'96)}, PAGES = {}, ADDRESS = {Cambridge, Massachusetts, U.S.A}, KEY = {CogRobo}, MONTH = {November}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/dagstuhl.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/dagstuhl.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/dagstuhl.ps}, YEAR = 1996 }
@INPROCEEDINGS{Lin95a, AUTHOR = {Lin, F.}, TITLE = {Embracing causality in specifying the indirect effects of actions}, BOOKTITLE = {In Proc. IJCAI-95}, PAGES = {}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/causality.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/causality.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/causality.ps}, YEAR = 1995 }
@INPROCEEDINGS{SDLL-COGROBO04, AUTHOR = {Sardina, Sebastian and De Giacomo, Giuseppe and Lesp\'erance, Yves and Levesque, Hector}, TITLE = {On Ability to Autonomously Execute Agent Programs with Sensing}, BOOKTITLE = {Proceedings of the 4th International Workshop on Cognitive Robotics (CoRobo-04)}, ADDRESS = {Valencia, Spain}, KEY = {CogRobo}, OPTMONTH = {July}, OPTPAGES = {88--93}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/sgll-cogrobo04.pdf}, YEAR = 2004 }
@INPROCEEDINGS{Sardina03, AUTHOR = {Sardi\~na, Sebastian and Shapiro, Steven}, TITLE = {Rational Action in Agent Programs with Prioritized Goals}, BOOKTITLE = {Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-03)}, PAGES = {417--424}, ADDRESS = {Melbourne, Australia}, PUBLISHER = {ACM Press}, KEY = {CogRobo}, MONTH = {July}, OPTEDITOR = {}, OPTNUMBER = {}, OPTSERIES = {}, OPTVOLUME = {}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/aamas03.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/aamas03.ps}, YEAR = 2003 }
@INPROCEEDINGS{Reiter92b, AUTHOR = {Reiter, R.}, TITLE = {Formalizing database evolution in the situation calculus}, BOOKTITLE = {Proc. of the International Conference on Fifth Generation Computer Systems}, PAGES = {600--609}, ADDRESS = {Tokyo, Japan}, NOTE = {Invited paper}, KEY = {CogRobo}, MONTH = {June}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/fgcs.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/fgcs.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/fgcs.ps}, YEAR = 1992 }
@ARTICLE{Giuseppe01, AUTHOR = {De Giacomo, Giuseppe and Levesque, Hector J. and Sardi\~na, Sebastian}, TITLE = {Incremental Execution of Guarded Theories}, JOURNAL = {ACM Transactions on Computational Logic (TOCL)}, VOLUME = {2}, NUMBER = {4}, PAGES = {495--525}, KEY = {CogRobo}, MONTH = {October}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/execgat.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/execgat.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/execgat.ps}, YEAR = 2001 }
@INPROCEEDINGS{Marcu95, AUTHOR = {Marcu, M. and Lesp\'erance, Y and Levesque, H. J. and Lin, F. and Reiter, R. and Scherl, R.}, TITLE = {Distributed Software Agents and Communication in the Situation Calculus}, BOOKTITLE = {In Proc. Intelligent Computer Communication (ICC'95)}, PAGES = {}, ADDRESS = {Cluj-Napoca, Romania}, KEY = {CogRobo}, MONTH = {June}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/distribagents.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/distribagents.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/distribagents.ps}, YEAR = 1995 }
@PHDTHESIS{Pinto94-Phd, AUTHOR = {Pinto, Javier}, TITLE = {Temporal Reasoning in the Situation Calculus}, SCHOOL = {Department of Computer Science, University of Toronto}, ADDRESS = {Toronto, Canada}, KEY = {CogRobo}, MONTH = {January}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/jpThesis.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/jpThesis.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/jpThesis.ps}, YEAR = 1994 }
@INPROCEEDINGS{Soutchanski01, AUTHOR = {Soutchanski, Mikhail}, TITLE = {An On-line Decision-Theoretic Golog Interpreter}, BOOKTITLE = {Proc. IJCAI-01}, PAGES = {}, ADDRESS = {Seattle, Washington}, KEY = {CogRobo}, MONTH = {August}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/onlinedtgi.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/onlinedtgi.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/onlinedtgi.ps}, YEAR = 2001 }
@INPROCEEDINGS{Lakemeyer99, AUTHOR = {Lakemeyer, G. and Levesque, H.}, TITLE = {Query evaluation and progression in AOL knowledge bases}, BOOKTITLE = {Proc. IJCAI-99}, PAGES = {}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/query.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/query.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/query.ps}, YEAR = 1999 }
@INPROCEEDINGS{Liu02, AUTHOR = {Yongmei Liu}, TITLE = {A Hoare-Style Proof System for Robot Programs}, BOOKTITLE = {Proceedings of AAAI-02}, ADDRESS = {Edmonton, Canada}, KEY = {CogRobo}, MONTH = {July}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/hg.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/hg.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/hg.ps}, YEAR = 2002 }
@ARTICLE{Giuseppe00-ConGologAi, AUTHOR = {De Giacomo, Giuseppe and Lesp\'erance, Yves and Levesque, Hector}, TITLE = {Con{G}olog, A Concurrent Programming Language Based on the Situation Calculus}, JOURNAL = {Artificial Intelligence}, VOLUME = {121}, NUMBER = {1--2}, PAGES = {109--169}, KEY = {CogRobo}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/ConGologAIJ.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/ConGologAIJ.ps}, YEAR = 2000 }
@INPROCEEDINGS{Sardina01b, AUTHOR = {Sardina, Sebastian}, TITLE = {Local Conditional High-Level Robot Programs}, BOOKTITLE = {Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-01)}, VOLUME = {2250}, SERIES = {LNAI}, PAGES = {110--124}, ADDRESS = {La Habana, Cuba}, KEY = {CogRobo}, MONTH = {December}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/lchlrp-ext.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/lchlrp-ext.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/lchlrp-ext.ps}, YEAR = 2001 }
@TECHREPORT{Hindriks00b, AUTHOR = {Hindriks, Koen and Lesp\'erance, Yves and Levesque, Hector}, TITLE = {An Embedding of ConGolog in 3{APL}}, INSTITUTION = {Department of Computer Science, University Utrecht}, NUMBER = {UU-CS-2000-13}, KEY = {CogRobo}, YEAR = 2000 }
@INPROCEEDINGS{Kiringa02a, AUTHOR = {Kiringa, I.}, TITLE = {Specifying Event Logics for Active Databases}, BOOKTITLE = {Proceedings of the KR 8th International Workshop on Knowledge Representation Meets Databases (KRDB'02)}, EDITOR = {}, PAGES = {}, ADDRESS = {Toulouse}, PUBLISHER = {}, KEY = {CogRobo}, MONTH = {April}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/krdb02.ps.gz}, ORGANISATION = {}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/krdb02.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/krdb02.ps}, YEAR = 2002 }
@INPROCEEDINGS{Boutilier00-DTGolog, AUTHOR = {Craig Boutilier and Ray Reiter and Mikhail Soutchanski and Sebastian Thrun}, TITLE = {Decision-Theoretic, High-Level Agent Programming in the Situation Calculus}, BOOKTITLE = {Proceedings of the 7th Conference on Artificial Intelligence (AAAI-00) and of the 12th Conference on Innovative Applications of Artificial Intelligence ({IAAI}-00)}, PAGES = {355--362}, ADDRESS = {Menlo Park, CA}, PUBLISHER = {AAAI Press}, KEY = {CogRobo}, MONTH = JUL # { 30-- 3}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/dtgologaaai00.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/dtgologaaai00.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/dtgologaaai00.ps}, YEAR = 2000 }
@INPROCEEDINGS{Bacchus95, AUTHOR = {Bacchus, Fahiem and Halpern, Joseph Y. and Levesque, Hector J.}, TITLE = {Reasoning about Noisy Sensors in the Situation Calculus}, BOOKTITLE = {Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-95)}, PAGES = {1933--1940}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/noise.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/noise.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/noise.ps}, YEAR = 1995 }
@INPROCEEDINGS{Shapiro95, AUTHOR = {Shapiro, Steven and Lesp\'erance, Yves and Levesque, Hector}, TITLE = {Goals and Rational Action in the Situation Calculus - {A} Preliminary Report}, BOOKTITLE = {Working Notes of the AAAI Fall Symposium on Rational Agency: {C}oncepts, Theories, Models, and Applications}, PAGES = {117--122}, ADDRESS = {Cambridge, MA}, KEY = {CogRobo}, MONTH = {November}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/AAAIfall95.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/AAAIfall95.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/AAAIfall95.ps}, YEAR = 1995 }
@ARTICLE{Lin95c, AUTHOR = {Lin, F. and Shoham, Y.}, TITLE = {Provably correct theories of action}, JOURNAL = {Journal of ACM}, VOLUME = {42}, NUMBER = {2}, PAGES = {293-320}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/pcta.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/pcta.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/pcta.ps}, YEAR = 1995 }
@INCOLLECTION{shapiro02, AUTHOR = {Shapiro, Steven and Lesp\'{e}rance, Yves and Levesque, Hector J.}, TITLE = {The Cognitive Agents Specification Language and Verification Environment for Multiagent Systems}, BOOKTITLE = { Proc. of the First Int. Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-02)}, PUBLISHER = {ACM Press}, EDITOR = {Christiano Castelfranchi and W. L. Johnson}, PAGES = {19--26}, KEY = {CogRobo}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/aamas02.ps}, YEAR = 2002 }
@INPROCEEDINGS{Soutchanski00, AUTHOR = {Soutchanski, Mikhail}, TITLE = {An On-line Decision-Theoretic Golog Interpreter}, BOOKTITLE = {The 2nd International Cognitive Robotics Workshop (held in conjunction with ECAI-2000) }, PAGES = {}, ADDRESS = {Berlin, Germany}, KEY = {CogRobo}, MONTH = {August}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/onlinedtgi.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/onlinedtgi.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/onlinedtgi.ps}, YEAR = 2000 }
@INPROCEEDINGS{Boutilier00, AUTHOR = {Boutilier, Craig and Reiter, Ray and Soutchanski, Mikhail and Thrun, Sebastian}, TITLE = {Decision-Theoretic, High-Level Agent Programming in the Situation Calculus}, BOOKTITLE = {Workshop on Decision-Theoretic Planning, Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000)}, PAGES = {}, ADDRESS = {Breckenridge, Colorado}, KEY = {CogRobo}, MONTH = {Apr}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/dtgologKR00W.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/dtgologKR00W.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/dtgologKR00W.ps}, YEAR = 2000 }
@INPROCEEDINGS{Kiringa01a, AUTHOR = {Kiringa, I}, TITLE = {Simulation of Advanced Transaction Models Using GOLOG}, BOOKTITLE = {Proceedings of the 8th Biennial Workshop on Data Bases and Programming Languages (DBPL'01)}, EDITOR = {}, PAGES = {}, ADDRESS = {}, PUBLISHER = {}, NOTE = {}, KEY = {CogRobo}, MONTH = {}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/dbpl01.ps.gz}, ORGANISATION = {}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/dbpl01.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/dbpl01.ps}, YEAR = 2001 }
@PHDTHESIS{Funge98-Phd, AUTHOR = {Funge, John}, TITLE = {Making Them Behave: Cognitive Models for Computer Animation}, SCHOOL = {University of Toronto}, ADDRESS = {Toronto, Canada}, KEY = {CogRobo}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/fungeSc.pdf}, YEAR = 1998 }
@INPROCEEDINGS{Finzi00, AUTHOR = {Alberto Finzi and Fiora Pirri and Ray Reiter}, TITLE = {Open World Planning in the Situation Calculus}, BOOKTITLE = {Proceedings of the 7th Conference on Artificial Intelligence ({AAAI}-00) and of the 12th Conference on Innovative Applications of Artificial Intelligence ({IAAI}-00)}, PAGES = {754--760}, ADDRESS = {Menlo Park, CA}, PUBLISHER = {AAAI Press}, KEY = {CogRobo}, MONTH = JUL # { 30-- 3}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/openworld-aaai00.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/openworld-aaai00.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/openworld-aaai00.ps}, YEAR = 2000 }
@INPROCEEDINGS{Giuseppe98-Monitoring, AUTHOR = {De Giacomo, Giuseppe and Reiter, Ray and Soutchanski, Mikhail}, TITLE = {Execution Monitoring of High-Level Robot Programs}, BOOKTITLE = {Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR'98)}, PAGES = {453--465}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/monitoring.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/monitoring.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/monitoring.ps}, YEAR = 1998 }
@INPROCEEDINGS{Lesperance98-Reactivity, AUTHOR = {Lesp\'erance, Y. and Tam, K. and Jenkin, M.}, TITLE = {Reactivity in a Logic-Based Robot Programming Framework}, BOOKTITLE = {Cognitive Robotics - Papers from the 1998 AAAI Fall Symposium}, PAGES = {98--105}, ADDRESS = {Orlando, FL.}, PUBLISHER = {AAAII Press}, KEY = {CogRobo}, MONTH = {October}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/ATAL99.pdf}, YEAR = 1998 }
@ARTICLE{Lin97b, AUTHOR = {Fangzhen, Lin and Reiter, Ray}, TITLE = {How to Progress a Database}, JOURNAL = {Artificial Intelligence}, VOLUME = {92}, PAGES = {131--167}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/progress.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/progress.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/progress.ps}, YEAR = 1997 }
@INPROCEEDINGS{Lin94b, AUTHOR = {F. Lin and R. Reiter}, TITLE = {How to progress a database (and why) {I}: {F}ormal foundations}, BOOKTITLE = {In Proc. Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR-94)}, PAGES = {}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/progress1.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/progress1.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/progress1.ps}, YEAR = 1994 }
@INPROCEEDINGS{Pint93, AUTHOR = {Pinto, J. and Reiter, R.}, TITLE = {Temporal Reasoning in Logic Programming: {A} Case for the Situation Calculus}, BOOKTITLE = {Proc. of the 10th International Conference on Logic Programming}, PAGES = {}, ADDRESS = {Budapest, Hungary}, KEY = {CogRobo}, MONTH = {June}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/temporal.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/temporal.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/temporal.ps}, YEAR = 1993 }
@INPROCEEDINGS{Lin96b, AUTHOR = {Lin, F. and Shoham, Y.}, TITLE = {On non-forgetting and minimal learning}, BOOKTITLE = {Proc. of the 1993 International Coll. on Cognitive Science}, EDITOR = {Asher, N. and Korta, K. and Ezquerro, J.}, PAGES = {}, PUBLISHER = {Kluwer Academic Publishers}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/persist.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/persist.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/persist.ps}, YEAR = 1996 }
@ARTICLE{Pinto98, AUTHOR = {Pinto, Javier}, TITLE = {Occurrences and narratives as constraints in the branching structure of the situation calculus}, JOURNAL = {Journal of Logic and Computation}, VOLUME = {8}, PAGES = {777--808}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/occurrence.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/occurrence.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/occurrence.ps}, YEAR = 1998 }
@INPROCEEDINGS{Giuseppe99-GAT, AUTHOR = {De Giacomo, Giuseppe and Levesque, Hector}, TITLE = {Projection using Regression and Sensors}, BOOKTITLE = {Proceedingsof the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI-99)}, PAGES = {160--165}, ADDRESS = {Stockholm, Sweden}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/projection.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/projection.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/projection.ps}, YEAR = 1999 }
@INPROCEEDINGS{Lesperance00, AUTHOR = {Lesp\'erance, Yves and Ng, Ho-Kong}, TITLE = {Integrating Planning into Reactive High-Level Robot Programs}, BOOKTITLE = {In Proceedings of the Second International Cognitive Robotics Workshop}, PAGES = {49--54}, ADDRESS = {Berlin, Germany}, KEY = {CogRobo}, MONTH = {August}, YEAR = 2000 }
@ARTICLE{Pinto95, AUTHOR = {Pinto, J. and Reiter, R.}, TITLE = {Reasoning about time in the situation calculus}, JOURNAL = {Annals of Mathematics and Artificial Intelligence}, VOLUME = {14}, PAGES = {2510--268}, KEY = {CogRobo}, MONTH = {September}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/minker.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/minker.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/minker.ps}, TNUMBER = {2-4}, YEAR = 1995 }
@INPROCEEDINGS{Reiter93c, AUTHOR = {Reiter, R.}, TITLE = {In formalizing database updates: preliminary report}, BOOKTITLE = {Proc. of the 3rd International Conference on Extending Database Technology}, PAGES = {10--20}, ADDRESS = {Vienna, Austria}, NOTE = {Invited paper}, KEY = {CogRobo}, MONTH = {March}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/edbt.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/edbt.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/edbt.ps}, YEAR = 1992 }
@INPROCEEDINGS{Petrick02, AUTHOR = {Petrick, Ron and Levesque, Hector}, TITLE = {Knowledge Equivalence in Combined Action Theories}, BOOKTITLE = {Proceedings of KR-2002}, ADDRESS = {Toulouse, France}, KEY = {CogRobo}, MONTH = {April}, OPTEDITOR = {}, OPTNUMBER = {}, OPTPAGES = {}, OPTPUBLISHER = {}, OPTSERIES = {}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/kr2002-ron.ps.gz}, OPTVOLUME = {}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/kr2002-ron.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/kr2002-ron.ps}, YEAR = 2002 }
@ARTICLE{Lin94-StateConstraints, AUTHOR = {Lin, Fangzhen and Reiter, Ray}, TITLE = {State Constraints Revisited}, JOURNAL = {Journal of Logic and Computation}, VOLUME = {4}, NUMBER = {5}, PAGES = {655--678}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/constraint.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/constraint.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/constraint.ps}, YEAR = 1994 }
@INPROCEEDINGS{Levesque98-HighLevel, AUTHOR = {Levesque, Hector and Reiter, Ray}, TITLE = {High-level Robotic Control: Beyond Planning. A Position Paper.}, BOOKTITLE = {AIII 1998 Spring Symposium: Integrating Robotics Research: Taking the Next Big Leap}, KEY = {CogRobo}, MONTH = {March}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/aaaisymp98.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/aaaisymp98.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/aaaisymp98.ps}, YEAR = 1998 }
@ARTICLE{Pirri99-ContSitCalc, AUTHOR = {Pirri, Fiora and Reiter, Ray}, TITLE = {Some Contributions to the Metatheory of the Situation Calculus}, JOURNAL = {Journal of the ACM}, VOLUME = {46}, NUMBER = {3}, PAGES = {261--325}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/metatheory.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/metatheory.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/metatheory.ps}, YEAR = 1999 }
@INPROCEEDINGS{Kelley96a, AUTHOR = {Kelley, T.}, TITLE = {Reasoning about physical systems with the situation calculus}, BOOKTITLE = {Proc. of the Third Symposium on Logical Formalizations of Commonsense Reasoning}, PAGES = {}, ADDRESS = {Stanford, CA}, KEY = {CogRobo}, MONTH = {Jan}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/toilet.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/toilet.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/toilet.ps}, YEAR = 1996 }
@INPROCEEDINGS{Scherl95, AUTHOR = {Scherl, R. and Levesque, H. J. and Lesp\'erance, Y.}, TITLE = {The Situation Calculus with Sensing and Indexical Knowledge}, BOOKTITLE = {Proceedings of BISFAI'95: The Fourth Bar-Ilan Symposium on Foundations of Artificial Intelligence}, EDITOR = {Moshe Koppel and Eli Shamir}, PAGES = {86-95}, ADDRESS = {Ramat Gan and Jerusalem, Israel}, KEY = {CogRobo}, MONTH = {June}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/indexicals.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/indexicals.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/indexicals.ps}, YEAR = 1995 }
@ARTICLE{Reiter93, AUTHOR = {Reiter, Ray}, TITLE = {Proving Properties of States in the Situation Calculus}, JOURNAL = {Artificial Intelligence}, VOLUME = {64}, PAGES = {337--351}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/induction.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/induction.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/induction.ps}, YEAR = 1993 }
@INPROCEEDINGS{Shapiro97, AUTHOR = {Shapiro, S. and Lesp\'erance, Y. and Levesque, H. J.}, TITLE = {Specifying Communicative Multi-Agent Systems with ConGolog}, BOOKTITLE = {In Working Notes of the AAAI Fall 1997 Symposium on Communicative Action in Humans and Machines}, PAGES = {72--82}, ADDRESS = {Cambridge, MA}, PUBLISHER = {AAAI Press}, KEY = {CogRobo}, MONTH = {Novemeber}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/AAAIfall97.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/AAAIfall97.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/AAAIfall97.ps}, YEAR = 1997 }
@INPROCEEDINGS{LLL04, AUTHOR = {Yongmei Liu and Gerhard Lakemeyer and Hector J. Levesque}, TITLE = {A Logic of Limited Belief for Reasoning with Disjunctive Information}, BOOKTITLE = {Proc. KR-04}, PAGES = {587--597}, ADDRESS = {Whistler, Canada}, KEY = {CogRobo}, MONTH = {June}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/lll-kr2004.pdf}, YEAR = 2004 }
@PHDTHESIS{Kiringa03-Phd, AUTHOR = {Kiringa, Iluju}, TITLE = {Logical Foundations of Active Databases}, SCHOOL = {Department of Computer Science, University of Toronto}, ADDRESS = {Toronto, Canada}, KEY = {CogRobo}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/phdKiringa.pdf}, YEAR = 2003 }
@INCOLLECTION{Lakemeyer99-sGolog, AUTHOR = {Lakemeyer, Gerhard}, TITLE = {On Sensing and Off-Line Interpreting in {G}olog}, BOOKTITLE = {Logical Foundations for Cognitive Agents, Contributions in Honor of Ray Reiter}, PUBLISHER = {Springer}, EDITOR = {Levesque, H. and Pirri, F.}, PAGES = {173--187}, ADDRESS = {Berlin}, KEY = {CogRobo}, YEAR = 1999 }
@INPROCEEDINGS{Lin96a, AUTHOR = {Lin, F.}, TITLE = {Embracing causality in specifying the indeterminate effects of actions}, BOOKTITLE = {Proc. at AAAI-96}, PAGES = {}, PUBLISHER = {AAAI Press}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/indtm.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/indtm.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/indtm.ps}, YEAR = 1996 }
@INPROCEEDINGS{Giuseppe97-NonTermProc, AUTHOR = {De Giacomo, Giuseppe and Ternovskaia, Eugenia and Reiter, Ray}, TITLE = {Non-Terminating Processes in the Situation Calculus}, BOOKTITLE = {Working Notes of Robots, Softbots, Immobots: Theories of Action, Planning and Control. AAAI-97 Workshop}, KEY = {CogRobo}, MONTH = {July 28}, YEAR = 1997 }
@ARTICLE{Borgida95, AUTHOR = {Borgida, A. and Mylopoulos, J. and Reiter, R.}, TITLE = {On the Frame Problem in Procedure Specifications}, JOURNAL = {IEEE Transactions on Software Engineering}, VOLUME = {21}, NUMBER = {10}, PAGES = {785--798}, KEY = {CogRobo}, MONTH = {October}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/ieee-tse.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/ieee-tse.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/ieee-tse.ps}, YEAR = 1995 }
@ARTICLE{SGLL04, AUTHOR = {Sardina, Sebastian and De Giacomo, Giuseppe and Lesp\'ence, Yves and Levesque, Hector}, TITLE = {On the Semantics of Deliberation in {I}ndi{G}olog -- From Theory to Implementation}, JOURNAL = {Annals of Mathematics and Artificial Intelligence}, VOLUME = {41}, NUMBER = {2--4}, PAGES = {259--299}, NOTE = {Previous version appeared in Proc. of KR-2002}, KEY = {CogRobo}, MONTH = {August}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/sgll-amai04.pdf}, YEAR = 2004 }
@INCOLLECTION{Reiter91-SolFP, AUTHOR = {Reiter, Ray}, TITLE = {The Frame Problem in the Situation Calculus: A Simple Solution (sometimes) and a Completeness Result for Goal Regression}, BOOKTITLE = {Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy}, PUBLISHER = {Academic Press}, EDITOR = {Vladimir Lifschitz}, PAGES = {359--380}, ADDRESS = {San Diego, CA}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/simple.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/simple.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/simple.ps}, YEAR = 1991 }
@ARTICLE{Lin97c, AUTHOR = {Lin, F.}, TITLE = {An Ordering on Subgoals for Planning}, JOURNAL = {Annals of Mathematics and Artificial Intelligence. Special Issue in Honor of Professor Michael Gelfond}, VOLUME = {21}, PAGES = {321--342}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/ordergelfond.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/ordergelfond.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/ordergelfond.ps}, YEAR = 1997 }
@BOOK{Reiter01-Book, AUTHOR = {Reiter, Raymond}, TITLE = {Knowledge in Action. {L}ogical Foundations for Specifying and Implementing Dynamical Systems}, PUBLISHER = {MIT Press}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/kia/index.html}, YEAR = 2001 }
@INPROCEEDINGS{Lesperance94b, AUTHOR = {Lesp\'erance, Y. and Levesque, H. J.}, TITLE = {An Argument for Indexical Representations in Temporal Reasoning}, BOOKTITLE = {Proceedings of the Tenth Biennial Conference of the Canadian Society for Computational Studies of Intelligence}, EDITOR = {Renee Elio}, PAGES = {271--277}, ADDRESS = {Banff, Canada}, KEY = {CogRobo}, MONTH = {May}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/indextempo.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/indextempo.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/indextempo.ps}, YEAR = 1994 }
@INPROCEEDINGS{Lesperance99b, AUTHOR = {Lesp\'erance, Yves and Kelly, Todd G. and Mylopoulos, John and Yu, Eric S.K.}, TITLE = {Modeling Dynamic Domains with {C}on{G}olog}, BOOKTITLE = {Proceedings of CAiSE-99}, PAGES = {}, ADDRESS = {Heidelberg, Germany}, KEY = {CogRobo}, MONTH = {June}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/bpr99.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/bpr99.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/bpr99.ps}, YEAR = 1999 }
@ARTICLE{Reiter01, AUTHOR = {Reiter, Ray}, TITLE = {On Knowledge-Based Programming with Sensing in the Situation Calculus}, JOURNAL = {ACM Transactions on Computational Logic (TOCL)}, VOLUME = {2}, NUMBER = {4}, PAGES = {433--457}, KEY = {CogRobo}, MONTH = {October}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/kbprogramming.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/kbprogramming.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/kbprogramming.ps}, YEAR = 2001 }
@INPROCEEDINGS{McIlraith97b, AUTHOR = {McIlraith, Sheila A.}, TITLE = {Representing Actions and State Constraints in Model-Based Diagnosis}, BOOKTITLE = {In Proceedings of the National Conference on Artificial Intelligence (AAAI-97)}, PAGES = {43--49}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/sheila-aaai97.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/sheila-aaai97.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/sheila-aaai97.ps}, YEAR = 1997 }
@TECHREPORT{DeGiacomo98, AUTHOR = {De Giacomo, G. and Levesque, H. J.}, TITLE = {An incremental interpreter for high-level programs with sensing}, INSTITUTION = {Department of Computer Science, University of Toronto}, ADDRESS = {Toronto, Canada}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/incr-exe.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/incr-exe.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/incr-exe.ps}, YEAR = 1998 }
@INPROCEEDINGS{Boutilier01, AUTHOR = {Craig Boutilier and Ray Reiter and Bob Price}, TITLE = {Symbolic Dynamic Programming for {First-Order} {MDPs}}, BOOKTITLE = {Proceedings of the seventeenth International Conference on Artificial Intelligence (IJCAI-01)}, EDITOR = {Bernhard Nebel}, PAGES = {690--700}, ADDRESS = {San Francisco, CA}, PUBLISHER = {Morgan Kaufmann Publishers, Inc.}, KEY = {CogRobo}, MONTH = AUG # { 4--10}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/dtregression.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/dtregression.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/dtregression.ps}, YEAR = 2001 }
@INPROCEEDINGS{Funge98, AUTHOR = {Funge, John}, TITLE = {Interval-valued Epistemic ({IVE}) Fluents}, BOOKTITLE = {AIII Fall Symposium on Cognitive Robotics}, PAGES = {44--51}, ADDRESS = {Orlando, FL.}, KEY = {CogRobo}, MONTH = {October}, YEAR = 1998 }
@ARTICLE{Yu96, AUTHOR = {Yu, E. S. K. and Mylopoulos, J. and Lesp{\'e}rance, Y.}, TITLE = {AI Models for Business Process Reengineering}, JOURNAL = {IEEE Expert}, VOLUME = {11}, PAGES = {16--23}, KEY = {CogRobo}, YEAR = 1996 }
@INPROCEEDINGS{Levesque00-Legolog, AUTHOR = {Levesque, Hector and Pagnucco, Maurice}, TITLE = {Le{G}olog: {I}nexpensive Experiments in Cognitive Robotics}, BOOKTITLE = {Proceedings of the Second International Cognitive Robotics Workshop}, PAGES = {}, ADDRESS = {Berlin, Germany}, KEY = {CogRobo}, MONTH = {August}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/crw00.ps}, YEAR = 2000 }
@INPROCEEDINGS{Liu03, AUTHOR = {Liu, Yongmei and Levesque, Hector}, TITLE = {A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases}, BOOKTITLE = {Proc. IJCAI-03}, PAGES = {83--88}, ADDRESS = {Acapulco, Mexico}, KEY = {CogRobo}, MONTH = {August}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/liu03trac.ps}, YEAR = 2003 }
@INCOLLECTION{shapiro01, AUTHOR = {Steven Shapiro and Yves Lesp\'{e}rance}, TITLE = {Modeling Multiagent Systems with the Cognitive Agents Specification Language --- A Feature Interaction Resolution Application}, BOOKTITLE = {Intelligent Agents Volume VII --- Proceedings of the 2000 Workshop on Agent Theories, Architectures, and Languages (ATAL-00)}, PUBLISHER = {Springer-Verlag}, EDITOR = {Christiano Castelfranchi and Yves Lesp\'{e}rance}, VOLUME = 1986, SERIES = {LNAI}, PAGES = {244--259}, ADDRESS = {Berlin}, KEY = {CogRobo}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/atal00.ps}, YEAR = 2001 }
@ARTICLE{Funge99, AUTHOR = {Funge, John}, TITLE = {Representing Knowledge within the Situation Calculus using Interval-valued Epitemic Fluents}, JOURNAL = {Journal of Reliable Computing}, VOLUME = {5}, NUMBER = {1}, PAGES = {}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/reliable99.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/reliable99.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/reliable99.ps}, YEAR = 1999 }
@ARTICLE{Lin98-WhatRobotsDo, AUTHOR = {Lin, Fangzhen and Levesque, Hector J.}, TITLE = {What Robots Can Do: {R}obot Programs and Effective Achievability}, JOURNAL = {Artificial Intelligence}, VOLUME = 101, PAGES = {201--226}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/aij-robots.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/aij-robots.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/aij-robots.ps}, YEAR = 1998 }
@INPROCEEDINGS{Scherl93-KnowProdAct, AUTHOR = {Scherl, R. and Levesque, Hector}, TITLE = {The Frame Problem and Knowledge-Producing Actions}, BOOKTITLE = {Proceedings of AAAI-93}, PAGES = {689--695}, ADDRESS = {Washington, DC}, PUBLISHER = {AAAI Press/The MIT Press}, KEY = {CogRobo}, MONTH = {July}, YEAR = 1993 }
@INPROCEEDINGS{Gabaldon02, AUTHOR = {Alfredo Gabaldon}, TITLE = {Programming Hierarchical Task Networks in the Situation Calculus}, BOOKTITLE = {{AIPS}'02 Workshop on On-line Planning and Scheduling}, ADDRESS = {Toulouse, France}, KEY = {CogRobo}, MONTH = {April}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/htn-opw.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/htn-opw.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/htn-opw.ps}, YEAR = 2002 }
@ARTICLE{Levesque97-Golog, AUTHOR = {Levesque, H. and Reiter, R. and Lesp\'erance, Y. and Lin, F. and Scherl, R.}, TITLE = {{GOLOG}: {A} Logic Programming Language for Dynamic Domains}, JOURNAL = {Journal of Logic Programming}, VOLUME = {31}, PAGES = {59--84}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/GOLOGlang.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/GOLOGlang.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/GOLOGlang.ps}, YEAR = 1997 }
@INPROCEEDINGS{Lesperance97, AUTHOR = {Lesp\'erance, Y. and Levesque, H. J. and Ruman, S.}, TITLE = {An Experiment in Using Golog to Build a Personal Banking Assistant}, BOOKTITLE = {Intelligent Agent Systems: Theoretical and Practical Issues}, EDITOR = {Rao, L. and Wobcke, W.}, VOLUME = {1209}, SERIES = {Lectures Notes in Artificial Intelligence (LNAI)}, PAGES = {27--43}, PUBLISHER = {Springer-Verlag}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/bankingAgt.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/bankingAgt.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/bankingAgt.ps}, YEAR = 1997 }
@INCOLLECTION{Lesperance95a, AUTHOR = {Lesp{\'e}rance, Yves and Levesque, Hector J. and Lin, Fangzhen and Marcu, Daniel and Reiter, Raymond and Scherl, Richard B.}, TITLE = {Foundations of a Logical Approach to Agent Programming}, BOOKTITLE = {Intelligent Agents II. Proceedings of the 1995 Workshop on Agent Theories, Architectures, and Languages (ATAL-95)}, PUBLISHER = {Springer-Verlag}, EDITOR = {Woolridge, M and Muller, J. and Tambe, M.}, PAGES = {331-346}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/agentprog.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/agentprog.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/agentprog.ps}, YEAR = 1995 }
@INPROCEEDINGS{Reiter00, AUTHOR = {Reiter, Ray}, TITLE = {Narratives as Programs}, BOOKTITLE = {Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR2000)}, EDITOR = {Cohn, A. G. and Giunchiglia, F. and Selman, B.}, PAGES = {}, ADDRESS = {San Francisco, CA}, PUBLISHER = {Morgan Kaufmann}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/narrativesKR00.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/narrativesKR00.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/narrativesKR00.ps}, YEAR = 2000 }
@INPROCEEDINGS{Reiter98, AUTHOR = {Reiter, Ray}, TITLE = {Sequential, Temporal GOLOG}, BOOKTITLE = {Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR'98)}, PAGES = {547--556}, ADDRESS = {Trento, Italy}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/reiterkr98.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/reiterkr98.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/reiterkr98.ps}, YEAR = 1998 }
@INPROCEEDINGS{McIlraith97c, AUTHOR = {McIlraith, Sheila A.}, TITLE = {Explanatory Diagnosis: {C}onjecturing actions to explain obsevations}, BOOKTITLE = {In Proceedings of the Eighth International Workshop on Principles of Diagnosis (DX'97)}, PAGES = {69--78}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/sheila-dx97.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/sheila-dx97.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/sheila-dx97.ps}, YEAR = 1997 }
@INPROCEEDINGS{Lakemeyer98, AUTHOR = {Lakemeyer, G. and Levesque, H. J.}, TITLE = {{AOL}: {A} logic of acting, sensing, knowing, and only knowing}, BOOKTITLE = {Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR'98)}, PAGES = {316--327}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/aol-kr98.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/aol-kr98.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/aol-kr98.ps}, YEAR = 1998 }
@INPROCEEDINGS{Lin95b, AUTHOR = {Lin, F. and Reiter, R.}, TITLE = {How to progress a database II: The STRIPS connection}, BOOKTITLE = {In Proc. IJCAI-95}, PAGES = {}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/progress2.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/progress2.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/progress2.ps}, YEAR = 1995 }
@INPROCEEDINGS{shapiro04, AUTHOR = {Shapiro, Steven and Pagnucco, Maurice}, TITLE = {Iterated Belief Change and Exogenous Actions in the Situation Calculus}, BOOKTITLE = {Proceedings of the 16th European Conference on Artificial Intelligence (ECAI-04)}, EDITOR = {L\'opez de M\'antaras, R. and Saitta, L.}, PAGES = {878--882}, ADDRESS = {Amsterdam}, PUBLISHER = {IOS Press}, KEY = {CogRobo}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/interbeliefecai04.pdf}, YEAR = 2004 }
@ARTICLE{Lesperance01-KnowHowSit, AUTHOR = {Lesp\'erance, Y. and Levesque, H. and Lin, F. and Scherl, R.}, TITLE = {Ability and Knowing How in the Situation Calculus}, JOURNAL = {Studia Logica}, VOLUME = {66}, NUMBER = {1}, PAGES = {165--186}, KEY = {CogRobo}, MONTH = {October}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/abilityInSC.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/abilityInSC.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/abilityInSC.ps}, YEAR = 2000 }
@INPROCEEDINGS{Lesperance93, AUTHOR = {Lesp\'erance, Y.}, TITLE = {An Approach to Modeling Indexicality in Action and Communication}, BOOKTITLE = {In Reasoning about Mental States: {F}ormal Theories and Applications, Papers from the 1993 AAAI Spring Symposium}, PAGES = {79--85}, ADDRESS = {Stanford, CA}, PUBLISHER = {AAAI Press}, KEY = {CogRobo}, MONTH = {March}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/indexcomm.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/indexcomm.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/indexcomm.ps}, YEAR = 1993 }
@INCOLLECTION{Giuseppe99-IncremInt, AUTHOR = {De Giacomo, Giuseppe and Levesque, Hector}, TITLE = {An Incremental Interpreter for High-Level Programs with Sensing}, BOOKTITLE = {Logical foundation for cognitive agents: contributions in honor of {R}ay {R}eiter}, PUBLISHER = {Springer}, EDITOR = {Hector J. Levesque and Fiora Pirri}, PAGES = {86--102}, ADDRESS = {Berlin}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/DeLe99ray.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/DeLe99ray.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/DeLe99ray.ps}, YEAR = 1999 }
@INCOLLECTION{Lesperance99a, AUTHOR = {Lesp\'erance, Y. and Levesque, H. J. Reiter, R.}, TITLE = {A Situation Calculus Approach to Modeling and Programming Agents}, BOOKTITLE = {Foundations and Theories of Rational Agency}, PUBLISHER = {Kluwer}, EDITOR = {Rao A. and Wooldridge, M.}, PAGES = {}, KEY = {CogRobo}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/FTRA.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/FTRA.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/FTRA.ps}, YEAR = 1999 }
@INPROCEEDINGS{Lin94a, AUTHOR = {F. Lin and R. Reiter}, TITLE = {Forget It!}, BOOKTITLE = {Proc. of AAAI Fall Symposium on Relevance}, PAGES = {}, ADDRESS = {New Orleans, USA}, KEY = {CogRobo}, MONTH = {Novemeber}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/forgetting.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/forgetting.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/forgetting.ps}, YEAR = 1994 }
@INPROCEEDINGS{Giuseppe97-ConGolog1, AUTHOR = {De Giacomo, Giuseppe and Lesp\'erance, Yves and Levesque, Hector}, TITLE = {Reasoning About Concurrent Execution, Prioritized Interrupts, and Exogenous Actions in the Situation Calculus}, BOOKTITLE = {Proceedings of the Fifteenth International Joint Conference on AI (IJCAI-97)}, PAGES = {1221--1226}, ADDRESS = {Nagoya}, KEY = {CogRobo}, MONTH = {August}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/congologIJCAI97.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/congologIJCAI97.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/congologIJCAI97.ps}, YEAR = 1997 }
@INPROCEEDINGS{Lakemeyer04, AUTHOR = {Lakemeyer, Gerhard and Levesque, Hector}, TITLE = {Situations, si! Situation terms, no!}, BOOKTITLE = {Proceedings of KR-2004}, KEY = {CogRobo}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, OPTKEY = {}, OPTMONTH = {}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, OPTPUBLISHER = {}, OPTSERIES = {}, OPTVOLUME = {}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/kr04-levlak.pdf}, YEAR = 2004 }
@INCOLLECTION{Lesperance94a, AUTHOR = {Lesp{\'e}rance, Yves and Levesque, Hector J. and Lin, Fangzhen and Marcu, Daniel and Reiter, Raymond and Scherl, Richard B.}, TITLE = {A Logical Approach to High-Level Robot Programming. A Progress Report}, BOOKTITLE = {Control of the Physical World by Intelligent Systems, Papers from the 1994 AAAI Fall Symposium}, PUBLISHER = {Benjamin Kuipers}, ADDRESS = {New Orlands, L.A.}, KEY = {CogRobo}, MONTH = {November}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/robotprog.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/robotprog.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/robotprog.ps}, YEAR = 1994 }
@ARTICLE{Reiter95, AUTHOR = {Reiter, R.}, TITLE = {On specifying database updates}, JOURNAL = {Journal of Logic Programming}, VOLUME = {25}, NUMBER = {1}, PAGES = {53--91}, KEY = {CogRobo}, MONTH = {October}, OPTURL = {http://www.cs.toronto.edu/cogrobo/Papers/updates.ps.gz}, PDF = {http://www.cs.toronto.edu/cogrobo/Papers/updates.pdf}, PS = {http://www.cs.toronto.edu/cogrobo/Papers/updates.ps}, YEAR = 1995 }
This file has been generated by bibtex2html 1.75