\begin{thebibliography}{10}

\bibitem{BK2000}
F.~Bacchus and F.~Kabanza.
\newblock Using temporal logics to express search control knowledge for
  planning.
\newblock {\em Artificial Intelligence}, 16:123--191, 2000.

\bibitem{Baker91}
A.~B. Baker.
\newblock Nonmonotonic reasoning in the framework of the situation calculus.
\newblock {\em Artificial Intelligence}, 49:5--23, 1991.

\bibitem{Burstall69}
R.~M. Burstall.
\newblock Formal description of program structure and semantics in first-order
  logic.
\newblock In B.~Meltzer and D.~Michie, editors, {\em Machine Intelligence 5},
  pages 79--98. Edinburgh University Press, Edinburgh, 1969.

\bibitem{Clark78}
K.~L. Clark.
\newblock Negation as failure.
\newblock In H.~Gallaire and J.~Minker, editors, {\em Logics and Databases},
  pages 293--322. Plenum Press, New York, 1978.

\bibitem{Finger86}
J.~Finger.
\newblock {\em Exploiting Constraints in Design Synthesis}.
\newblock PhD thesis, Department of Computer Science, Stanford University,
  Stanford, CA, 1986.

\bibitem{Ginsberg87}
M.~L. Ginsberg.
\newblock {\em Readings in Nonmonotonic Reasoning}.
\newblock Morgan Kaufmann, San Mateo, CA, 1987.

\bibitem{GinsbergSmith88}
M.~L. Ginsberg and D.~E. Smith.
\newblock Reasoning about action {II}: the qualification problem.
\newblock {\em Artificial Intelligence}, 35:311--342, 1988.

\bibitem{Green69}
C.~C. Green.
\newblock Application of theorem proving to problem solving.
\newblock In {\em Proceedings of the International Joint Conference on
  Artificial Intelligence (IJCAI--69)}, pages 219--239, 1969.

\bibitem{Haas87}
A.~R. Haas.
\newblock The case for domain-specific frame axioms.
\newblock In F.~M. Brown, editor, {\em The Frame Problem in Artificial
  Intelligence. Proceedings of the 1987 Workshop on Reasoning about Action},
  pages 343--348, San Jose, CA, 1987. Morgan Kaufmann Publishers, Inc.

\bibitem{HanksMcDermott87}
S.~Hanks and D.~McDermott.
\newblock Nonmonotonic logic and temporal projection.
\newblock {\em Artificial Intelligence}, 33:379--412, 1987.

\bibitem{Harel79}
D.~Harel.
\newblock {\em First-Order Dynamic Logic}.
\newblock Springer-Verlag: Lecture Notes in Computer Science 68, New York,
  1979.

\bibitem{golog}
H.~Levesque, R.~Reiter, Y.~Lesp\'erance, F.~Lin, and R.~Scherl.
\newblock {GOLOG}: A logic programming language for dynamic domains.
\newblock {\em Journal of Logic Programming, Special issue on Reasoning about
  Action and Change}, 31:59--84, 1997.

\bibitem{Lifschitz:pointwise}
V.~Lifschitz.
\newblock Pointwise circumscription.
\newblock In {\em Proceedings of the Fifth National Conference on Artificial
  Intelligence (AAAI--86)}, pages 406--410, Philadelphia, PA, 1986.

\bibitem{Lifschitz:action}
V.~Lifschitz.
\newblock Formal theories of action.
\newblock In {\em Proceedings of the Tenth International Joint Conference on
  Artificial Intelligence (IJCAI--87)}, pages 966--972, 1987.

\bibitem{Lin:causality}
F.~Lin.
\newblock Embracing causality in specifying the indirect effects of actions.
\newblock In {\em Proceedings of the Fourteenth International Joint Conference
  on Artificial Intelligence (IJCAI--95), IJCAI Inc. Distributed by Morgan
  Kaufmann, San Mateo, CA.}, pages 1985--1993, 1995.

\bibitem{Lin:cut}
F.~Lin.
\newblock Applications of the situation calculus to formalizing control and
  strategic information: the prolog cut operator.
\newblock {\em Artificial Intelligence}, 103:273--294, 1998.

\bibitem{Lin:search}
F.~Lin.
\newblock Search algorithms in the situation calculus.
\newblock In H.~Levesque and F.~Pirri, editors, {\em Logical Foundations for
  Cognitive Agents: Contributions in Honor of Ray Reiter}, pages 213--233.
  Springer, Berlin, 1999.

\bibitem{Lin:jair03}
F.~Lin.
\newblock Compiling causal theories to successor state axioms and {STRIPS}-like
  systems.
\newblock {\em Journal of Artificial Intelligence Research}, 19:279--314, 2003.

\bibitem{LinReiter:constraint}
F.~Lin and R.~Reiter.
\newblock State constraints revisited.
\newblock {\em Journal of Logic and Computation, Special {I}ssue on {A}ctions
  and {P}rocesses}, 4(5):655--678, 1994.

\bibitem{LinReiter:lp}
F.~Lin and R.~Reiter.
\newblock Rules as actions: A situation calculus semantics for logic programs.
\newblock {\em J. of Logic Programming}, 31(1-3):299--330, 1997.

\bibitem{LinShoham95}
F.~Lin and Y.~Shoham.
\newblock Provably correct theories of action.
\newblock {\em Journal of the ACM}, 42(2):293--320, 1995.

\bibitem{MannaWaldinger81}
Z.~Manna and R.~Waldinger.
\newblock Problematic features of programming languages: A situational-calculus
  approach.
\newblock {\em Acta Informatica}, 16:371--426, 1981.

\bibitem{MannaWaldinger87}
Z.~Manna and R.~Waldinger.
\newblock The deductive synthesis of imperative {LISP} programs.
\newblock In {\em Proceedings of the Sixth National Conference on Artificial
  Intelligence (AAAI--87)}, pages 155--160, Seattle, WA, 1987.

\bibitem{McCainTurner97}
N.~McCain and H.~Turner.
\newblock Causal theories of action and change.
\newblock In {\em Proceedings of the 14th National Conference on Artificial
  Intelligence (AAAI--97), AAAI Press, Menlo Park, CA.}, pages 460--465, 1997.

\bibitem{McCarthy63}
J.~McCarthy.
\newblock Situations, actions and causal laws.
\newblock In M.~Minsky, editor, {\em Semantic Information Processing}, pages
  410--417. MIT Press, Cambridge, Mass., 1968.

\bibitem{McCarthy77}
J.~McCarthy.
\newblock Epistemological problems of {A}rtificial {I}ntelligence.
\newblock In {\em IJCAI-77}, pages 1038--1044. Cambridge, MA, 1977.

\bibitem{McCarthy86}
J.~McCarthy.
\newblock Applications of circumscription to formalizing commonsense knowledge.
\newblock {\em Artificial Intelligence}, 28:89--118, 1986.

\bibitem{McCarthy02}
J.~McCarthy.
\newblock Actions and other events in situation calculus.
\newblock In {\em Proceedings of the Eighth International Conference on
  Principles of Knowledge Representation and Reasoning (KR2002)}, pages
  615--628, 2002.

\bibitem{McCarthyHayes69}
J.~McCarthy and P.~Hayes.
\newblock Some philosophical problems from the standpoint of artificial
  intelligence.
\newblock In B.~Meltzer and D.~Michie, editors, {\em Machine Intelligence 4},
  pages 463--502. Edinburgh University Press, Edinburgh, 1969.

\bibitem{Nilsson80}
N.~J. Nilsson.
\newblock {\em Principles of {A}rticifial {I}ntelligence}.
\newblock Morgan Kaufmann, Los Altos, CA., 1980.

\bibitem{Pednault89}
E.~P. Pednault.
\newblock {ADL}: Exploring the middle ground between {STRIPS} and the situation
  calculus.
\newblock In {\em Proceedings of the First International Conference on
  Principles of Knowledge Representation and Reasoning (KR'89)}, pages
  324--332. Morgan Kaufmann Publishers, Inc., 1989.

\bibitem{PirriReiter99}
F.~Pirri and R.~Reiter.
\newblock Some contributions to the metatheory of the situation calculus.
\newblock {\em J. ACM}, 46(3):325--361, 1999.

\bibitem{Reiter91}
R.~Reiter.
\newblock The frame problem in the situation calculus: a simple solution
  (sometimes) and a completeness result for goal regression.
\newblock In V.~Lifschitz, editor, {\em Artificial Intelligence and
  Mathematical Theory of Computation: Papers in Honor of John McCarthy}, pages
  418--420. Academic Press, San Diego, CA, 1991.

\bibitem{Reiter:book}
R.~Reiter.
\newblock {\em Knowledge in Action: Logical Foundations for Specifying and
  Implementing Dynamical Systems}.
\newblock The MIT Press, 2001.

\bibitem{Sandewall:book}
E.~Sandewall.
\newblock {\em Features and Fluents. A Systematic Approach to the
  Representation of Knowledge about Dynamical Systems. Volume I}.
\newblock Oxford University Press, 1994.

\bibitem{Schubert90}
L.~K. Schubert.
\newblock Monotonic solution to the frame problem in the situation calculus: an
  efficient method for worlds with fully specified actions.
\newblock In H.~Kyberg, R.~Loui, and G.~Carlson, editors, {\em Knowledge
  Representation and Defeasible Reasoning}, pages 23--67. Kluwer Academic
  Press, Boston, MA, 1990.

\bibitem{Shoham88}
Y.~Shoham.
\newblock Chronological ignorance: experiments in nonmonotonic temporal
  reasoning.
\newblock {\em Artificial Intelligence}, 36:279--331, 1988.

\bibitem{Thielscher97}
M.~Thielscher.
\newblock Ramification and causality.
\newblock {\em Artificial Intelligence}, 89:317--364, 1997.

\end{thebibliography}