@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