\begin{thebibliography}{}

\bibitem[\protect\citeauthoryear{Adams}{1975}]{adams_ew:1975a}
Ernest~W. Adams.
\newblock {\em The Logic of Conditionals}.
\newblock D. Reidel Publishing Co., Dordrecht, 1975.

\bibitem[\protect\citeauthoryear{Aiello \bgroup \em et al.\egroup
  }{1996}]{aiello-etal:1996a}
Luigia~Carlucci Aiello, Jon Doyle, and Stuart Shapiro, editors.
\newblock {\em {KR}'96: Principles of Knowledge Representation and Reasoning}.
\newblock Morgan Kaufmann, San Francisco, 1996.

\bibitem[\protect\citeauthoryear{Akman \bgroup \em et al.\egroup
  }{2001}]{akman-etal:2001a}
Varol Akman, Paolo Bouquet, Richmond Thomason, and Roger~A. Young, editors.
\newblock {\em Modeling and Using Context}.
\newblock Springer-Verlag, Berlin, 2001.

\bibitem[\protect\citeauthoryear{Alcourr\'on}{1995}]{alcourron:1995a}
Carlos~E. Alcourr\'on.
\newblock Defeasible logics: Demarcation and affinities.
\newblock In Gabriella Crocco, Luis~Fari\ nas~del Cerro, and A.~Herzig,
  editors, {\em Conditionals: From Philosophy to Computer Science}, pages
  67--102. Oxford University Press, Oxford, 1995.

\bibitem[\protect\citeauthoryear{Allen \bgroup \em et al.\egroup
  }{1991}]{allen_jf-etal:1991a}
James~F. Allen, Richard Fikes, and Erik Sandewall, editors.
\newblock {\em {KR}'91: Principles of Knowledge Representation and Reasoning}.
\newblock Morgan Kaufmann, San Mateo, California, 1991.

\bibitem[\protect\citeauthoryear{Allwein and
  Barwise}{1996}]{allwein-barwise:1996a}
Gerard Allwein and Jon Barwise, editors.
\newblock {\em Logical Reasoning With Diagrams}.
\newblock Oxford University Press, Oxford, 1996.

\bibitem[\protect\citeauthoryear{Amarel}{1968}]{amarel:1968a1}
Saul Amarel.
\newblock On representations of problems of reasoning about actions.
\newblock In D.~Mitchie, editor, {\em Machine Intelligence 3}, pages 131--171.
  Ellis Horwood, Chichester, England, 1968.

\bibitem[\protect\citeauthoryear{Antoniou}{1997}]{antoniou:1997a}
Grigoris Antoniou.
\newblock {\em Nonmonotonic Reasoning}.
\newblock The {MIT} Press, Cambridge, Massachusetts, 1997.

\bibitem[\protect\citeauthoryear{Arlo-Costa and
  Shapiro}{1992}]{arlocosta-shapiro:1992a}
Horacio Arlo-Costa and Scott Shapiro.
\newblock Maps between nonmonotonic logic and conditional logic.
\newblock In Bernhard Nebel, Charles Rich, and William Swartout, editors, {\em
  {KR}'92. Principles of Knowledge Representation and Reasoning: Proceedings of
  the Third International Conference}, pages 553--564. Morgan Kaufmann, San
  Mateo, California, 1992.

\bibitem[\protect\citeauthoryear{Asher and
  Lascarides}{1994}]{asher-lascarides:1994a}
Nicholas Asher and Alex Lascarides.
\newblock Intentions and information in discourse.
\newblock In James Pustejovsky, editor, {\em Proceedings of the Thirty-Second
  Meeting of the Association for Computational Linguistics}, pages 35--41, San
  Francisco, 1994. Association for Computational Linguistics, Morgan Kaufmann.

\bibitem[\protect\citeauthoryear{Asher and
  Lascarides}{1997}]{asher-lascarides:1995b2}
Nicholas Asher and Alex Lascarides.
\newblock Lexical disambiguation in a discourse context.
\newblock In James Pustejovsky and Brian Boguraev, editors, {\em Lexical
  Semantics: The Problem of Polysemy}, pages 69--108. Oxford University Press,
  Oxford, 1997.

\bibitem[\protect\citeauthoryear{Asher and Morreau}{1991}]{asher-morreau:1991a}
Nicholas Asher and Michael Morreau.
\newblock Commonsense entailment: a modal theory of nonmonotonic reasoning.
\newblock In J.~Mylopoulos and R.~Reiter, editors, {\em Proceedings of the
  Twelfth International Joint Conference on Artificial Intelligence}, pages
  387--392, Los Altos, California, 1991. Morgan Kaufmann.

\bibitem[\protect\citeauthoryear{Asher}{1995}]{asher:1995a}
Nicholas Asher.
\newblock Commonsense entailment: A conditional logic for some generics.
\newblock In Gabriella Crocco, Luis~Fari\ nas~del Cerro, and A.~Herzig,
  editors, {\em Conditionals: From Philosophy to Computer Science}, pages
  103--145. Oxford University Press, Oxford, 1995.

\bibitem[\protect\citeauthoryear{Austin}{1961}]{austin:1961x}
John~L. Austin.
\newblock A plea for excuses.
\newblock In {J.O.} {U}rmson and {G.J.} {W}arnock, editors, {\em Philosophical
  Papers}. Oxford University Press, Oxford, 1961.

\bibitem[\protect\citeauthoryear{Bacchus \bgroup \em et al.\egroup
  }{1999}]{bacchus-etal:1999a}
Fahiem Bacchus, Joseph~Y. Halpern, and Hector~J. Levesque.
\newblock Reasoning about noisy sensors and effectors in the situation
  calculus.
\newblock {\em Artificial Intelligence}, 111(1--2):171--208, 1999.

\bibitem[\protect\citeauthoryear{Bach}{1989}]{bach_e:1989a}
Emmon Bach.
\newblock {\em Informal Lectures on Formal Semantics}.
\newblock State University of New York Press, Albany, NY, 1989.

\bibitem[\protect\citeauthoryear{Baker}{1989}]{baker_ab:1989a}
Andrew~B. Baker.
\newblock A simple solution to the {Y}ale shooting problem.
\newblock In Ronald~J. Brachman, Hector~J. Levesque, and Raymond Reiter,
  editors, {\em {KR}'89: Principles of Knowledge Representation and Reasoning},
  pages 11--20. Morgan Kaufmann, San Mateo, California, 1989.

\bibitem[\protect\citeauthoryear{Baral and Gelfond}{2000}]{baral-gelfond:2000a}
Chitta Baral and Michael Gelfond.
\newblock Reasoning agents in dynamic domains.
\newblock In Jack Minker, editor, {\em Logic-Based Artificial Intelligence},
  pages 257--279. Kluwer Academic Publishers, Dordrecht, 2000.

\bibitem[\protect\citeauthoryear{Baral \bgroup \em et al.\egroup
  }{2000}]{baral-etal:2000a}
Chitta Baral, Sheila McIlraith, and Tran~Cao San.
\newblock Formulating diagnostic reasoning using an action language with
  narratives and sensing.
\newblock In Anthony~G. Cohn, Fausto Giunchiglia, and Bart Selman, editors,
  {\em {KR}2000: Principles of Knowledge Representation and Reasoning}, pages
  311--322, San Francisco, 2000. Morgan Kaufmann.

\bibitem[\protect\citeauthoryear{Baral}{1995}]{baral:1995a}
Chitta Baral.
\newblock Reasoning about actions: Non-deterministic effects, constraints, and
  qualification.
\newblock In Chris Mellish, editor, {\em Proceedings of the Fourteenth
  International Joint Conference on Artificial Intelligence}, pages 2017--2023,
  San Francisco, 1995. Morgan Kaufmann.

\bibitem[\protect\citeauthoryear{{Belnap, Jr.}}{1996}]{belnap:1996a}
Nuel~D. {Belnap, Jr.}
\newblock Agents in branching time.
\newblock In Jack Copeland, editor, {\em Logic and Reality: Essays on the
  Legacy of {A}rthur {P}rior}, pages 239--271. Oxford University Press, Oxford,
  1996.

\bibitem[\protect\citeauthoryear{Benferat \bgroup \em et al.\egroup
  }{1997}]{benferat-etal:1997a}
Salem Benferat, Didier Dubois, and Henri Prade.
\newblock Nonmonotonic reasoning, conditional objects, and possibility theory.
\newblock {\em Artificial Intelligence}, 92(1--2):259--276, 1997.

\bibitem[\protect\citeauthoryear{Besnard}{1992}]{besnard:1992a}
Philippe Besnard.
\newblock {\em Default Logic}.
\newblock Springer-Verlag, Berlin, 1992.

\bibitem[\protect\citeauthoryear{Birnbaum}{1991}]{birnbaum:1991a}
Lawrence Birnbaum.
\newblock Rigor mortis: A response to {N}ilsson's `{L}ogic and artificial
  intelligence'.
\newblock {\em Artificial Intelligence}, 47(1--3):57--77, 1991.

\bibitem[\protect\citeauthoryear{Boolos}{1993}]{boolos:1993a}
George Boolos.
\newblock {\em The Logic of Provability}.
\newblock Cambridge Universoti Press, Cambridge, England, 1993.

\bibitem[\protect\citeauthoryear{Bouquet \bgroup \em et al.\egroup
  }{1999}]{bouquet-etal:1999a}
Paolo Bouquet, Luigi Serafini, Patrick Br\'ezillon, Massimo Benerecetti, and
  Francesca Castellani, editors.
\newblock {\em Modeling and Using Contexts: Proceedings of the Second
  International and Interdisciplinary Conference, {CONTEXT}'99}.
\newblock Springer-Verlag, Berlin, 1999.

\bibitem[\protect\citeauthoryear{Boutilier \bgroup \em et al.\egroup
  }{1996}]{boutilier-etal:1996a}
Craig Boutilier, Thomas Dean, and Steve Hanks.
\newblock Planning under uncertainty: Structural assumptions and computational
  leverage.
\newblock In Malik Ghallab and Alfredo Milani, editors, {\em New Directions in
  {AI} Planning}, pages 157--171. IOS Press, Amsterdam, 1996.

\bibitem[\protect\citeauthoryear{Boutilier}{1992}]{boutilier:1992a}
Craig Boutilier.
\newblock Conditional logics for default reasoning and belief revision.
\newblock Technical Report KRR--TR--92--1, Computer Science Department,
  University of Toronto, Toronto, Ontario, 1992.

\bibitem[\protect\citeauthoryear{Boutilier}{1996}]{boutilier:1996a}
Craig Boutilier.
\newblock Iterated revision and minimal change of conditional beliefs.
\newblock {\em Journal of Philosophical Logic}, 25(3):263--305, 1996.

\bibitem[\protect\citeauthoryear{Brachman \bgroup \em et al.\egroup
  }{1989}]{brachman-etal:1989b}
Ronald~J. Brachman, Hector~J. Levesque, and Raymond Reiter, editors.
\newblock {\em {KR}'89: Principles of Knowledge Representation and Reasoning}.
\newblock Morgan Kaufmann, San Mateo, California, 1989.

\bibitem[\protect\citeauthoryear{Brachman \bgroup \em et al.\egroup
  }{1991}]{brachman-etal:1991a}
Ronald~J. Brachman, Deborah~L. McGuinness, Peter~F. Patel-Schneider, and
  Lori~A. Resnik.
\newblock Living with {C}{\sc lassic}: When and how to use a {K}{\sc l}-{O}{\sc
  ne}-like language.
\newblock In John~F. Sowa, editor, {\em Principles of Semantic Networks}, pages
  401--456. Morgan Kaufmann, San Mateo, California, 1991.

\bibitem[\protect\citeauthoryear{Brewka \bgroup \em et al.\egroup
  }{1997}]{brewka-etal:1997a}
Gerhard Brewka, J\"urgen Dix, and Kurt Konolige.
\newblock {\em Nonmonotonic Reasoning: An Overview}.
\newblock CSLI Publications, Stanford, 1997.

\bibitem[\protect\citeauthoryear{Brewka}{1991}]{brewka:1991b}
Gerhard Brewka.
\newblock {\em Nonmonotonic Reasoning: Logical Foundations of Commonsense}.
\newblock Cambridge University Press, Cambridge, England, 1991.

\bibitem[\protect\citeauthoryear{Buchanan and
  Shortliffe}{1984}]{buchanan-shortliffe:1984a}
Bruce Buchanan and Edward~H. Shortliffe.
\newblock {\em Rule-Based Expert Systems: The {MYCIN} Experiments of the
  {S}tanford Heuristic Programming Project}.
\newblock Addison Wesley, Reading, Massachusetts, 1984.

\bibitem[\protect\citeauthoryear{Burger and Bhanu}{1992}]{burger_w-bhanu:1992a}
Wilhelm Burger and Bir Bhanu.
\newblock {\em Qualitative Motion Planning}.
\newblock Kluwer Academic Publishers, Dordrecht, 1992.

\bibitem[\protect\citeauthoryear{Burgess}{1984}]{burgess_jp:1984c}
John~P. Burgess.
\newblock Basic tense logic.
\newblock In Dov Gabbay and Franz Guenther, editors, {\em Handbook of
  Philosophical Logic, Volume {II}: Extensions of Classical Logic}, pages
  89--133. D. Reidel Publishing Co., Dordrecht, 1984.

\bibitem[\protect\citeauthoryear{Burkhard \bgroup \em et al.\egroup
  }{1998}]{burkhard_hd-etal:1998a}
Hans-Dieter Burkhard, Markus Hannebauer, and Jan Wendler.
\newblock Belief-desire-intention deliberation in artificial soccer.
\newblock {\em The {AI} Magazine}, 1998(3):87--93, 1998.

\bibitem[\protect\citeauthoryear{Buszkowski}{1996}]{buszkowski:1996a}
Wojciech Buszkowski.
\newblock Mathematical linguistics and proof theory.
\newblock In Johan {van Benthem} and Alice {ter Meulen}, editors, {\em Handbook
  of Logic and Language}, pages 683--736. Elsevier, Amsterdam, 1996.

\bibitem[\protect\citeauthoryear{Carlson and
  Pelletier}{1995}]{carlson_gn-pelletier:1995a}
Greg~N. Carlson and Francis~Jeffrey Pelletier, editors.
\newblock {\em The Generic Book}.
\newblock Chicago University Press, Chicago, IL, 1995.

\bibitem[\protect\citeauthoryear{Carnap}{1955}]{carnap:1955a}
Rudolph Carnap.
\newblock Meaning and synonymy in natural languages.
\newblock {\em Philosophical Studies}, 7:33--47, 1955.
\newblock Reprinted in \cite{carnap:1956a}, pp.~233--247.

\bibitem[\protect\citeauthoryear{Carnap}{1956}]{carnap:1956a}
Rudolph Carnap.
\newblock {\em Meaning and Necessity}.
\newblock Chicago University Press, Chicago, 2 edition, 1956.
\newblock (First edition published in 1947.).

\bibitem[\protect\citeauthoryear{Casati and Varzi}{1996}]{casati-varzi:1996a}
Roberto Casati and Achille~C. Varzi.
\newblock {\em Holes and Other Superficialities}.
\newblock The {MIT} Press, Cambridge, Massachusetts, 1996.

\bibitem[\protect\citeauthoryear{Casati and Varzi}{1999}]{casati-varzi:1999a}
Roberto Casati and Achille~C. Varzi.
\newblock {\em Parts and Places: The Structures of Spatial Representation}.
\newblock The {MIT} Press, Cambridge, Massachusetts, 1999.

\bibitem[\protect\citeauthoryear{Chellas}{1975}]{chellas:1975a}
Brian Chellas.
\newblock Basic conditional logic.
\newblock {\em Journal of Philosophical Logic}, 4(2):133--154, 1975.

\bibitem[\protect\citeauthoryear{Chen}{1990}]{chen_s:1990a}
Su-Shing Chen, editor.
\newblock {\em Advances in Spatial Reasoning, Volume 1}.
\newblock Ablex, Norwood, New Jersey, 1990.

\bibitem[\protect\citeauthoryear{Clancey}{1983}]{clancey:1983a}
William~J. Clancey.
\newblock The epistemology of a rule-based expert system: a framework for
  explanation.
\newblock {\em Artificial Intelligence}, 20:215--251, 1983.

\bibitem[\protect\citeauthoryear{Clark}{1978}]{clark_kl:1978a1}
Keith~L. Clark.
\newblock Negation as failure.
\newblock In H.~Gallaire and Jack Minker, editors, {\em Logic and Data Bases},
  pages 293--322. Plenum Press, New York, 1978.

\bibitem[\protect\citeauthoryear{Clarke}{1981}]{clarke_b:1981a}
Bowman~L. Clarke.
\newblock A calculus of individuals based on `connection'\,.
\newblock {\em Notre {D}ame Journal of Formal Logic}, 22(3):204--218, 1981.

\bibitem[\protect\citeauthoryear{Clarke}{1985}]{clarke_b:1985a}
Bowman~L. Clarke.
\newblock Individuals and points.
\newblock {\em Notre {D}ame Journal of Formal Logic}, 26(1):61--75, 1985.

\bibitem[\protect\citeauthoryear{Cohen and
  Levesque}{1990}]{cohen_pr1-levesque:1990a}
Philip~R. Cohen and Hector~J. Levesque.
\newblock Intention is choice with commitment.
\newblock {\em Artificial Intelligence}, 42(3):213--261, 1990.

\bibitem[\protect\citeauthoryear{Cohn \bgroup \em et al.\egroup
  }{1997}]{cohn_ag-etal:1997a}
Anthony~G. Cohn, Brandon Bennett, John Gooday, and Nicholas~M. Gotts.
\newblock Representing and reasoning with qualitative spatial relations.
\newblock In Oliviero Stock, editor, {\em Spatial and Temporal Reasoning},
  pages 97--134. Kluwer Academic Publishers, Dordrecht, 1997.

\bibitem[\protect\citeauthoryear{Cohn \bgroup \em et al.\egroup
  }{1998}]{cohn_ag-etal:1998a}
Anthony~G. Cohn, Lenhart Schubert, and Stuart~C. Shapiro, editors.
\newblock {\em {KR}'89: Principles of Knowledge Representation and Reasoning}.
\newblock Morgan Kaufmann, San Francisco, 1998.

\bibitem[\protect\citeauthoryear{Cohn \bgroup \em et al.\egroup
  }{2000}]{cohn_ag-etal:2000a}
Anthony~G. Cohn, Fausto Giunchiglia, and Bart Selman, editors.
\newblock {\em {KR}2000: Principles of Knowledge Representation and Reasoning}.
\newblock Morgan Kaufmann, San Francisco, 2000.

\bibitem[\protect\citeauthoryear{Cohn}{1996}]{cohn_ag-:1997a}
Anthony~G. Cohn.
\newblock Qualitative spatial representation and reasoning techniques.
\newblock In Gerhard Brewka, Christopher Habel, and Bernhard Nebel, editors,
  {\em {KI}-97, Advances in Artificial Intelligence}, pages 1--30.
  Springer-Verlag, Berin, 1996.

\bibitem[\protect\citeauthoryear{Copeland}{1996}]{copeland:1997a}
B.~Jack Copeland.
\newblock Arthur {P}rior's life and legacy.
\newblock In Jack Copeland, editor, {\em Logic and Reality: Essays on the
  Legacy of {A}rthur {P}rior}, pages 1--40. Oxford University Press, Oxford,
  1996.

\bibitem[\protect\citeauthoryear{Davis}{1988}]{davis_m:1988a}
Martin Davis.
\newblock Mathematical logic and the origin of modern computers.
\newblock In Rolf Herkin, editor, {\em The Universal {T}uring Machine: A
  Half-Century Survey}, pages 149--174. Oxford University Press, Oxford, 1988.

\bibitem[\protect\citeauthoryear{Davis}{1991}]{davis_e:1991a}
Ernest Davis.
\newblock {\em Common Sense Reasoning}.
\newblock Morgan Kaufmann, San Francisco, 1991.

\bibitem[\protect\citeauthoryear{DeJong and
  Bennett}{1989}]{dejong_g-bennett:1997a}
Gerald~D. DeJong and Scott~W. Bennett.
\newblock Permissive planning: Extending classical planning to uncertain task
  domains.
\newblock {\em Artificial Intelligence}, 89(1--2):173--217, 1989.

\bibitem[\protect\citeauthoryear{Delgrande}{1998}]{delgrande:1998b}
James~P. Delgrande.
\newblock Conditional logics for defeasible logics.
\newblock In Dov~M. Gabbay and Philippe Smets, editors, {\em Handbook of
  Defeasible Reasoning and Uncertainty Management Systems, Volume 2}, pages
  135--174. Kluwer Academic Publishers, Dordrecht, 1998.

\bibitem[\protect\citeauthoryear{Dennett}{1987}]{dennett:1987a}
Daniel Dennett.
\newblock Cognitive wheels: The frame problem of {AI}.
\newblock In Zenon Pylyshyn, editor, {\em The Robot's Dilemma: The Frame
  Problem in Artificial Intelligence}, pages 41--64. Ablex Publishing Co.,
  Norwood, New Jersey, 1987.

\bibitem[\protect\citeauthoryear{Dowty}{1977}]{dowty:1977a}
David~R. Dowty.
\newblock Toward a semantic analysis of verb aspect and the {E}nglish
  `imperfective' progressive.
\newblock {\em Linguistics and Philosophy}, 1(1):45--77, 1977.

\bibitem[\protect\citeauthoryear{Doyle and
  Thomason}{1999}]{doyle-thomason_rh:1999a}
Jon Doyle and Richmond~H. Thomason.
\newblock Background to qualitative decision theory.
\newblock {\em {AI} Magazine}, 20(2):55--68, 1999.

\bibitem[\protect\citeauthoryear{Doyle \bgroup \em et al.\egroup
  }{1994}]{doyle_j-etal:1994a}
Jon Doyle, Erik Sandewall, and Pietro Torasso, editors.
\newblock {\em {KR}'94: Principles of Knowledge Representation and Reasoning}.
\newblock Morgan Kaufmann, San Francisco, 1994.

\bibitem[\protect\citeauthoryear{Doyle}{1979}]{doyle_j:1979b1}
Jon Doyle.
\newblock A truth maintenance system.
\newblock {\em Artificial Intelligence}, 12(3):231--272, 1979.

\bibitem[\protect\citeauthoryear{Elkan}{1991}]{elkan:1991b}
Charles Elkan.
\newblock Reasoning about action in first-order logic.
\newblock In {\em Proceedings of the Conference of the {C}anadian {S}ociety for
  {C}omputational {S}tudies of {I}ntelligence ({CSCSI})}, pages 221--227, San
  Francisco, 1991. Canadian Society for Computational Studies of Intelligence,
  Morgan Kaufman.

\bibitem[\protect\citeauthoryear{Elkan}{1995}]{elkan:1995a}
Charles Elkan.
\newblock On solving the qualification problem.
\newblock In {\em Working Notes of the {AAAI} Spring Symposium on Extending
  Theories of Action: Formal Theories and Applications}, Menlo Park,
  California, 1995. American Association for Artificial Intelligence.

\bibitem[\protect\citeauthoryear{Fagin \bgroup \em et al.\egroup
  }{1984}]{fagin-etal:1984b}
Ronald Fagin, Joseph~Y. Halpern, and Moshe~Y. Vardi.
\newblock A model theoretic analysis of knowledge.
\newblock In {\em Proceedings of the Twenty-Fifth Annual Symposium on the
  Foundations of Computer Science}, pages 268--278, 1984.

\bibitem[\protect\citeauthoryear{Fagin \bgroup \em et al.\egroup
  }{1995}]{fagin-etal:1995b}
Ronald Fagin, Joseph~Y. Halpern, Yoram Moses, and Moshe~Y. Vardi.
\newblock {\em Reasoning about Knowledge}.
\newblock The {MIT} Press, Cambridge, Massachusetts, 1995.

\bibitem[\protect\citeauthoryear{Fensel \bgroup \em et al.\egroup
  }{2002}]{fensel-etal:2002a}
Dieter Fensel, Fausto Giunchiglia, Deborah McGuinness, and Mary-Anne Williams,
  editors.
\newblock {\em {KR2002}: Principles of Knowledge Representation and Reasoning}.
\newblock Morgan Kaufmann, San Francisco, California, 2002.

\bibitem[\protect\citeauthoryear{Fikes}{1996}]{fikes:1996a}
Richard Fikes.
\newblock Ontologies: What are they, and where's the research?
\newblock In Luigia~Carlucci Aiello, Jon Doyle, and Stuart Shapiro, editors,
  {\em {KR}'96: Principles of Knowledge Representation and Reasoning}, pages
  652--654. Morgan Kaufmann, San Francisco, California, 1996.

\bibitem[\protect\citeauthoryear{Finger}{1987}]{finger_j:1987a}
Jeffrey~J. Finger.
\newblock {\em Exploiting Constraints in Design Synthesis}.
\newblock Ph.{D}. dissertation, Department of Computer Science, Stanford
  University, Stanford, California, 1987.

\bibitem[\protect\citeauthoryear{Fodor}{1987}]{fodor_ja:1987b}
Jerry~A. Fodor.
\newblock Modules, frames, fridgeons, sleeping dogs, and the music of the
  spheres.
\newblock In Zenon Pylyshyn, editor, {\em The Robot's Dilemma: The Frame
  Problem in Artificial Intelligence}, pages 139--149. Ablex Publishing Co.,
  Norwood, New Jersey, 1987.

\bibitem[\protect\citeauthoryear{Forbus \bgroup \em et al.\egroup
  }{1991}]{forbus-etal:1991a}
Kenneth~D. Forbus, Paul Nielsen, and Boi Faltings.
\newblock Qualitative spatial reasoning: The {C}{\sc lock} project.
\newblock {\em Artificial Intelligence}, 51(1--3):417--471, 1991.

\bibitem[\protect\citeauthoryear{Forbus}{1988}]{forbus:1988a}
Kenneth~D. Forbus.
\newblock Qualitative physics: Past, present, and future.
\newblock In Howard~E. Shrobe, editor, {\em Exploring Artificial Intelligence},
  pages 239--296. Morgan Kaufmann, San Mateo, California, 1988.

\bibitem[\protect\citeauthoryear{Ford and Pylyshyn}{1996}]{ford-pylyshyn:1996a}
Kenneth~M. Ford and Zenon Pylyshyn, editors.
\newblock {\em The Robot's Dilemma Revisited: The Frame Problem in Artificial
  Intelligence}.
\newblock Ablex Publishing Co., Norwood, New Jersey, 1996.

\bibitem[\protect\citeauthoryear{Gabbay \bgroup \em et al.\egroup
  }{1994}]{gabbay-etal:1994a}
Dov Gabbay, Christopher~J. Hogger, and J.~A. Robinson, editors.
\newblock {\em Handbook of Logic in Artificial Intelligence and Logic
  Programming, Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning}.
\newblock Oxford University Press, Oxford, 1994.

\bibitem[\protect\citeauthoryear{Gabbay}{1995}]{gabbay:1995a}
Dov~M. Gabbay.
\newblock Conditional implications and non-monotonic consequence.
\newblock In Gabriella Crocco, Luis~Fari\ nas~del Cerro, and A.~Herzig,
  editors, {\em Conditionals: From Philosophy to Computer Science}, pages
  337--359. Oxford University Press, Oxford, 1995.

\bibitem[\protect\citeauthoryear{Galton}{1997}]{galton:1997a}
Anthony Galton.
\newblock Space, time, and movement.
\newblock In Oliviero Stock, editor, {\em Spatial and Temporal Reasoning},
  pages 321--352. Kluwer Academic Publishers, Dordrecht, 1997.

\bibitem[\protect\citeauthoryear{G\"ardenfors and
  Makinson}{1994}]{gardenfors-makinson:1994a}
Peter G\"ardenfors and David Makinson.
\newblock Nonmonotonic inferences based on expectations.
\newblock {\em Artificial Intelligence}, 65(2):197--245, 1994.
\newblock Uses selection functions and "expectation relations" to model
  expectations. Relations between theory revision and nonmonotonic logic.

\bibitem[\protect\citeauthoryear{Geanakopolos}{1994}]{geanakopolos:1994b}
John Geanakopolos.
\newblock Common knowledge.
\newblock In Robert Aumann and S.~Hart, editors, {\em Handbook of Game Theory,
  Volume 2}, chapter~40. Elsevier Science Publishers, Amsterdam, 1994.

\bibitem[\protect\citeauthoryear{Geffner}{1990}]{geffner:1990a}
Hector Geffner.
\newblock Causal theories of nonmonotonic reasoning.
\newblock In Thomas Dietterich and William Swartout, editors, {\em Proceedings
  of the Eighth National Conference on Artificial Intelligence}, pages
  524--530, Menlo Park, CA, 1990. American Association for Artificial
  Intelligence, AAAI Press.

\bibitem[\protect\citeauthoryear{Geffner}{1992}]{geffner:1992c}
Hector Geffner.
\newblock {\em Default Reasoning: Causal and Conditional Theories}.
\newblock {MIT} Press, Cambridge, Massachusetts, 1992.

\bibitem[\protect\citeauthoryear{Gelfond and
  Lifschitz}{1998}]{gelfond-lifschitz:1998a}
$\mbox{Michael Gelfond and Vladimir Lifschitz.  Action  \hspace*{9ex}}$
Languages. $\mbox{{\em Electronic Transactions on {AI}}, 3, 1998.
 Available at \hspace*{29ex}}$ http://www.ep.liu.se/rs/cis/1998/016/.

\bibitem[\protect\citeauthoryear{Genesereth and
  Nilsson}{1987}]{genesereth-nilsson_nj:1987a}
Michael Genesereth and Nils~J. Nilsson.
\newblock {\em Logical Foundations of Artificial Intelligence}.
\newblock Morgan Kaufmann, San Mateo, California, 1987.

\bibitem[\protect\citeauthoryear{Ginsberg}{1987}]{ginsberg:1987a}
Matthew~L. Ginsberg, editor.
\newblock {\em Readings in Nonmonotonic Reasoning}.
\newblock Morgan Kaufmann, Los Altos, California, 1987.
\newblock (Out of print.).

\bibitem[\protect\citeauthoryear{Giunchiglia and
  Lifschitz}{1998}]{giunchiglia_e-lifschitz:1998a}
Enrico Giunchiglia and Vladimir Lifschitz.
\newblock An action language based on causal explanation.
\newblock In Ted Senator and Bruce Buchanan, editors, {\em Proceedings of the
  Fourteenth National Conference on Artificial Intelligence and the Ninth
  Innovative Applications of Artificial Intelligence Conference}, pages
  623--628, Menlo Park, California, 1998. American Association for Artificial
  Intelligence, AAAI Press.

\bibitem[\protect\citeauthoryear{Giunchiglia \bgroup \em et al.\egroup
  }{1997}]{giunchiglia_e-etal:1997a}
Enrico Giunchiglia, G.~Neelakantan Kartha, and Vladimir Lifschitz.
\newblock Representing action: Indeterminacy and ramifications.
\newblock {\em Artificial Intelligence}, 95(2):409--438, 1997.

\bibitem[\protect\citeauthoryear{Glasgow \bgroup \em et al.\egroup
  }{1995}]{glasgow-etal:1995a}
Janice Glasgow, N.~Hari Narayanan, and B.~Chandrasekaran, editors.
\newblock {\em Diagrammatic Reasoning}.
\newblock The {MIT} Press, Cambridge, Massachusetts, 1995.

\bibitem[\protect\citeauthoryear{Golden and Weld}{1996}]{golden-weld:1996a}
Keith Golden and Daniel Weld.
\newblock Representing sensing actions: The middle ground revisited.
\newblock In Luigia~Carlucci Aiello, Jon Doyle, and Stuart Shapiro, editors,
  {\em {KR}'96: Principles of Knowledge Representation and Reasoning}, pages
  174--185. Morgan Kaufmann, San Francisco, California, 1996.

\bibitem[\protect\citeauthoryear{Goodman}{1946}]{goodman_n:1946a}
Nelson Goodman.
\newblock {\em Fact, Fiction and Forecast}.
\newblock Harvard University Press, fourth edition, 1946.

\bibitem[\protect\citeauthoryear{Gotts}{1994}]{gotts:1994a}
N.M. Gotts.
\newblock How far can we `{C}'? defining a doughnut using connection alone.
\newblock In Jon Doyle, Erik Sandewall, and Pietro Torasso, editors, {\em
  {KR}'94: Principles of Knowledge Representation and Reasoning}, pages
  246--257. Morgan Kaufmann, San Francisco, California, 1994.

\bibitem[\protect\citeauthoryear{Gotts}{1996}]{gotts:1996a}
N.M. Gotts.
\newblock Topology from a single primitive relation: Defining topological
  properties and relations in terms of connection.
\newblock Technical Report 96.24, School of Computer Studies, University of
  Leeds, Leeds, 1996.

\bibitem[\protect\citeauthoryear{Guha}{1991}]{guha:1991a}
Ramanathan~V. Guha.
\newblock Contexts: a formalization and some applications.
\newblock Technical Report STAN-CS-91-1399, Stanford Computer Science
  Department, Stanford, California, 1991.

\bibitem[\protect\citeauthoryear{Gustaffson and
  Doherty}{1996}]{gustaffson_j-doherty:1996a}
Joakim Gustaffson and Patrick Doherty.
\newblock Embracing occlusion in specifying the indirect effects of actions.
\newblock In Luigia~Carlucci Aiello, Jon Doyle, and Stuart Shapiro, editors,
  {\em {KR}'96: Principles of Knowledge Representation and Reasoning}, pages
  87--98. Morgan Kaufmann, San Francisco, California, 1996.

\bibitem[\protect\citeauthoryear{Halpern and
  Moses}{1985}]{halpern-moses:1984a2}
Joseph~Y. Halpern and Yoram Moses.
\newblock Towards a theory of knowledge and ignorance.
\newblock In Krzysztof~R. Apt, editor, {\em Logics and Models of Concurrent
  Systems}, pages 459--476. Springer-Verlag, Berlin, 1985.

\bibitem[\protect\citeauthoryear{Halpern}{1986}]{halpern:1986c}
Joseph~Y. Halpern, editor.
\newblock {\em Theoretical Aspects of Reasoning about Knowledge: Proceedings of
  the First Conference ({TARK} 1986)}.
\newblock Morgan Kaufmann Publishers, Inc., Los Altos, California, 1986.

\bibitem[\protect\citeauthoryear{Hammer}{1995}]{hammer:1995a}
Eric~M. Hammer.
\newblock {\em Logic and Visual Information}.
\newblock CSLI Publications, Stanford, California, 1995.

\bibitem[\protect\citeauthoryear{Hanks and
  McDermott}{1985}]{hanks-mcdermott_d:1985a}
Steven Hanks and Drew McDermott.
\newblock Temporal reasoning and default logics.
\newblock Technical Report YALEU/CSD/RR\#430, Department of Computer Science,
  Yale University, New Haven, Connecticut, 1985.

\bibitem[\protect\citeauthoryear{Hanks and
  McDermott}{1986}]{hanks-mcdermott_d:1986a}
Steven Hanks and Drew McDermott.
\newblock Default reasoning, nonmonotonic logics and the frame problem.
\newblock In Tom Kehler and Stan Rosenschein, editors, {\em Proceedings of the
  Fifth National Conference on Artificial Intelligence}, pages 328--333, Los
  Altos, California, 1986. American Association for Artificial Intelligence,
  Morgan Kaufmann.

\bibitem[\protect\citeauthoryear{Hanks and
  McDermott}{1987}]{hanks-mcdermott_d:1987b}
Steven Hanks and Drew McDermott.
\newblock Non-monotonic logics and temporal projection.
\newblock {\em Artificial Intelligence}, 33(3):379--412, 1987.

\bibitem[\protect\citeauthoryear{Haugeland}{1981}]{haugeland:1981b}
John Haugeland.
\newblock Semantic engines: An introduction to mind design.
\newblock In John Haugeland, editor, {\em Mind Design}, pages 1--34. The {MIT}
  Press, Cambridge, Massachusetts, 1981.

\bibitem[\protect\citeauthoryear{Haugh}{1987}]{haugh:1987a}
Brian Haugh.
\newblock Simple causal minimization for temporal persistence and projection.
\newblock In Kenneth Forbus and Howard Shrobe, editors, {\em Proceedings of the
  Seventh National Conference on Artificial Intelligence}, pages 218--223,
  Menlo Park, California, 1987. American Association for Artificial
  Intelligence, AAAI Press.

\bibitem[\protect\citeauthoryear{Hintikka}{1962}]{hintikka:1962a}
Jaakko Hintikka.
\newblock {\em Knowledge and Belief}.
\newblock Cornell University Press, Ithaca, New York, 1962.

\bibitem[\protect\citeauthoryear{Hintikka}{1970}]{hintikka:1970e}
Jaakko Hintikka.
\newblock Objects of knowledge and belief: Aquaintances and public figures.
\newblock {\em The Journal of Philosophy}, 67(21):869--883, 1970.

\bibitem[\protect\citeauthoryear{Hintikka}{1986}]{hintikka:1986a}
Jaakko Hintikka.
\newblock Reasoning about knowledge in philosophy: The paradigm of epistemic
  logic.
\newblock In Joseph~Y. Halpern, editor, {\em Theoretical Aspects of Reasoning
  about Knowledge: Proceedings of the First Conference}, pages 63--80, Los
  Altos, California, 1986. Morgan Kaufmann Publishers, Inc.

\bibitem[\protect\citeauthoryear{Hobbs \bgroup \em et al.\egroup
  }{1993}]{hobbs-etal:1993a}
Jerry Hobbs, Mark Stickel, Douglas Appelt, and Paul Martin.
\newblock Interpretation as abduction.
\newblock {\em Artificial Intelligence}, 63(1--2):69--142, 1993.

\bibitem[\protect\citeauthoryear{Horty}{1994}]{horty:1994a}
John~F. Horty.
\newblock Some direct theories of nonmonotonic inheritance.
\newblock In Dov Gabbay, Christopher~J. Hogger, and J.~A. Robinson, editors,
  {\em Handbook of Logic in Artificial Intelligence and Logic Programming,
  Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning}, pages 111--187.
  Oxford University Press, 1994.

\bibitem[\protect\citeauthoryear{Horty}{2001}]{horty:2001a}
John~F. Horty.
\newblock {\em Agency and Deontic Logic}.
\newblock Oxford University Press, Oxford, 2001.

\bibitem[\protect\citeauthoryear{Israel}{1991}]{israel_d:1991a}
David~J. Israel.
\newblock A short sketch of the life and career of john {M}c{C}arthy.
\newblock In Vladimir Lifschitz, editor, {\em Artificial Intelligence and
  Mathematical Theory of Computation: Papers in Honor of {J}ohn {M}c{C}arthy}.
  Academic Press, San Diego, California, 1991.

\bibitem[\protect\citeauthoryear{Iwasaki and Simon}{1986}]{iwasaki-simon:1986a}
Yumi Iwasaki and Herbert Simon.
\newblock Causality in device behavior.
\newblock {\em Artificial Intelligence}, 29(1):3--32, 1986.

\bibitem[\protect\citeauthoryear{Kapur and Mundy}{1988}]{kapur_d-etal:1988a}
Deepak Kapur and Joseph~L. Mundy.
\newblock Geometric reasoning and artificial intelligence: Introduction to the
  special volume.
\newblock {\em Artificial Intelligence}, 37(1--3):1--11, 1988.

\bibitem[\protect\citeauthoryear{Konolige and
  Pollack}{1993}]{konolige-pollack:1990a}
Kurt Konolige and Martha Pollack.
\newblock A representationalist theory of intention.
\newblock In Ruzena Bajcsy, editor, {\em Proceedings of the Thirteenth
  International Joint Conference on Artificial Intelligence}, San Mateo,
  California, 1993. Morgan Kaufmann.

\bibitem[\protect\citeauthoryear{Konolige}{1986}]{konolige:1986a}
Kurt Konolige.
\newblock What awareness isn't: A sentential view of implicit and explicit
  belief.
\newblock In Joseph~Y. Halpern, editor, {\em Theoretical Aspects of Reasoning
  about Knowledge: Proceedings of the First Conference}, pages 241--250, Los
  Altos, California, 1986. Morgan Kaufmann Publishers, Inc.

\bibitem[\protect\citeauthoryear{Konolige}{1988}]{konolige:1988a}
Kurt Konolige.
\newblock On the relation between default and autoepistemic logic.
\newblock {\em Artificial Intelligence}, 35(3):343--382, 1988.
\newblock (See also errata, Artificial Intelligence {\bf 41}(1): 115.).

\bibitem[\protect\citeauthoryear{Konolige}{1994}]{konolige:1994b}
Kurt Konolige.
\newblock Autoepistemic logic.
\newblock In Dov Gabbay, Christopher~J. Hogger, and J.~A. Robinson, editors,
  {\em Handbook of Logic in Artificial Intelligence and Logic Programming,
  Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning}, pages 217--295.
  Oxford University Press, Oxford, 1994.

\bibitem[\protect\citeauthoryear{Kosslyn}{1990}]{kosslyn:1990a}
Stephen~Michael Kosslyn.
\newblock Visual cognition: Introduction.
\newblock In Daniel~N. Osherson and Howard Lasnik, editors, {\em An Invitation
  to Cognitive Science. Volume 2: Visual Cognition and Action}, pages 3--4. The
  {MIT} Press, Cambridge, Massachusetts, 1990.

\bibitem[\protect\citeauthoryear{Kowalski and
  Sergot}{1986}]{kowalski-sergot:1986a}
Robert~A. Kowalski and Marek~J. Sergot.
\newblock A logic-based calculus of events.
\newblock {\em New Generation Computing}, 4:67--95, 1986.

\bibitem[\protect\citeauthoryear{Krifka \bgroup \em et al.\egroup
  }{1995}]{krifka-etal:1995a}
Manfred Krifka, Francis~Jeffrey Pelletier, Gregory Carlson, Alice {ter Meulen},
  Gennaro Chierchia, and Godehard Link.
\newblock Genericity: An introduction.
\newblock In Gregory Carlson and Francis~Jeffrey Pelletier, editors, {\em The
  Generic Book}, pages 1--124. Chicago University Press, Chicago, IL, 1995.

\bibitem[\protect\citeauthoryear{Kuipers}{1993}]{kuipers:1993a}
Benjamin Kuipers.
\newblock Reasoning with qualitative models.
\newblock {\em Artificial Intelligence}, 59(1--2):125--132, 1993.

\bibitem[\protect\citeauthoryear{Lakemeyer}{1997}]{lakemeyer:1994a}
Gerhard Lakemeyer.
\newblock Limited reasoning in first-order knowledge bases.
\newblock {\em Artificial Intelligence}, 71(2):213--255, 1997.

\bibitem[\protect\citeauthoryear{Lascarides}{1992}]{lascarides:1992a}
Alex Lascarides.
\newblock The progressive and the imperfective paradox.
\newblock {\em Synt\`hese}, 87(6):401--447, 1992.

\bibitem[\protect\citeauthoryear{Laux and Wansing}{1995}]{laux-wansing:1995a}
Armin Laux and Heinrich Wansing, editors.
\newblock {\em Knowledge and Belief in Philosophy and Artificial Intelligence}.
\newblock Akedemie Verlag, Berlin, 1995.

\bibitem[\protect\citeauthoryear{Lehmann and
  Magidor}{1992}]{lehmann_d-magidor:1992b1}
Daniel Lehmann and Menachem Magidor.
\newblock What does a conditional knowledge base entail?
\newblock {\em Artificial intelligence}, 55(1):1--60, 1992.

\bibitem[\protect\citeauthoryear{Lenat and Guha}{1989}]{lenat-guha:1989a}
Douglas~B. Lenat and R.V. Guha.
\newblock {\em Building Large Knowledge-Based Systems: Representation and
  Inference in the {CYC} Project.}
\newblock Addison-Wesley Publishing Company, Reading, Massachusetts, 1989.

\bibitem[\protect\citeauthoryear{Le\'sniewski}{1916}]{lesniewski:1916a}
Stanis{\l}aw Le\'sniewski.
\newblock Podstawy og\'olnej teorii mnogo\'sci {I}, 1916.
\newblock English Title: ``Foundations of a general set theory {I}.''.

\bibitem[\protect\citeauthoryear{Levesque and
  Lakemeyer}{2000}]{levesque-lakemeyer:2000a}
Hector Levesque and Gerhard Lakemeyer.
\newblock {\em The Logic of Knowledge Bases}.
\newblock The {MIT} Press, Cambridge, Massachusetts, 2000.

\bibitem[\protect\citeauthoryear{Levesque}{1984}]{levesque:1984b}
Hector~J. Levesque.
\newblock A logic of implicit and explicit belief.
\newblock In {\em Proceedings of the Fourth National Conference on Artificial
  Intelligence}, pages 198--202. American Association for Artificial
  Intelligence, 1984.

\bibitem[\protect\citeauthoryear{Levesque}{1987}]{levesque:1987a}
Hector~J. Levesque.
\newblock Taking issue: Guest editor's introduction.
\newblock {\em Computational Intelligence}, 3(3):149--150, 1987.

\bibitem[\protect\citeauthoryear{Levy}{2000}]{levy_ay:2000a}
Alon~Y. Levy.
\newblock Logic-based techniques in data integration.
\newblock In Jack Minker, editor, {\em Logic-Based Artificial Intelligence},
  pages 575--595. Kluwer Academic Publishers, Dordrecht, 2000.

\bibitem[\protect\citeauthoryear{Lifschitz}{1987}]{lifschitz:1987c}
Vladimir Lifschitz.
\newblock Formal theories of action: Preliminary report.
\newblock In John McDermott, editor, {\em Proceedings of the Tenth
  International Joint Conference on Artificial Intelligence}, Los Altos,
  California, 1987. Morgan Kaufmann.

\bibitem[\protect\citeauthoryear{Lifschitz}{1990a}]{lifschitz:1990c}
Vladimir Lifschitz, editor.
\newblock {\em Formalizing Common Sense: Papers by {J}ohn {M}c{C}arthy}.
\newblock Ablex Publishing Corporation, Norwood, New Jersey, 1990.

\bibitem[\protect\citeauthoryear{Lifschitz}{1990b}]{lifschitz:1990d}
Vladimir Lifschitz.
\newblock Understanding common sense: {M}c{C}arthy's research in artificial
  intelligence.
\newblock In Vladimir Lifschitz, editor, {\em Formalizing Common Sense: Papers
  by {J}ohn {M}c{C}arthy}, pages 1--8. Ablex Publishing Corporation, Norwood,
  New Jersey, 1990.

\bibitem[\protect\citeauthoryear{Lifschitz}{1997}]{lifschitz:1997a}
Vladimir Lifschitz.
\newblock On the logic of causal explanation.
\newblock {\em Artificial Intelligence}, 96(2):451--465, 1997.

\bibitem[\protect\citeauthoryear{Lifschitz}{1998}]{lifschitz:1998a}
Vladimir Lifschitz.
\newblock Situation calculus and causal logic.
\newblock In Anthony~G. Cohn, Lenhart Schubert, and Stuart~C. Shapiro, editors,
  {\em {KR}'98: Principles of Knowledge Representation and Reasoning}, pages
  536--546. Morgan Kaufmann, San Francisco, California, 1998.

\bibitem[\protect\citeauthoryear{Lin}{1995}]{lin_fz:1995a}
Fangzhen Lin.
\newblock Embracing causality in specifying the indirect effects of actions.
\newblock In Chris Mellish, editor, {\em Proceedings of the Fourteenth
  International Joint Conference on Artificial Intelligence}, pages 1985--1991,
  San Francisco, 1995. Morgan Kaufmann.

\bibitem[\protect\citeauthoryear{Lormand}{1996}]{lormand:1996a}
Eric Lormand.
\newblock The holorobophobe's dilemma.
\newblock In Kenneth~M. Ford and Zenon Pylyshyn, editors, {\em The Robot's
  Dilemma Revisited: The Frame Problem in Artificial Intelligence}, pages
  61--88. Ablex Publishing Co., Norwood, New Jersey, 1996.

\bibitem[\protect\citeauthoryear{{\L}ukasiewicz}{1970}]{lukasiewicz_j:1970a}
Jan {\L}ukasiewicz.
\newblock {\em Jan {\L}ukasiewicz, Selected Writings}.
\newblock North-Holland, 1970.
\newblock Edited by Ludwik Borowski.

\bibitem[\protect\citeauthoryear{Lukaszewicz}{1990}]{lukasiewicz_w:1990a}
Witold Lukaszewicz.
\newblock {\em Non-Monotonic Reasoning: Formalization of Commonsense
  Reasoning}.
\newblock Ellis Horwood, New York, 1990.

\bibitem[\protect\citeauthoryear{Marek and
  Truszczy\'nski}{1989}]{marek-truszynski:1989a}
Wictor Marek and Miros{\l}aw Truszczy\'nski.
\newblock Relating autoepistemic and default logics.
\newblock In Ronald~J. Brachman, Hector~J. Levesque, and Raymond Reiter,
  editors, {\em {KR}'89: Principles of Knowledge Representation and Reasoning},
  pages 276--288. Morgan Kaufmann, San Mateo, California, 1989.

\bibitem[\protect\citeauthoryear{Marek and
  Truszczy\'nski}{1991}]{marek-truszcynski:1991a}
Victor Marek and Miros{\l}aw Truszczy\'nski.
\newblock Autoepistemic logic.
\newblock {\em Journal of the Association for Computing Machinery},
  38(3):588--619, 1991.

\bibitem[\protect\citeauthoryear{Marek and
  Truszczy\'nski}{1994}]{marek-truszcynski:1994a}
Wictor Marek and Miros{\l}aw Truszczy\'nski.
\newblock {\em Nonmonotonic Logic: Context-Dependent Reasoning}.
\newblock Springer-Verlag, Berlin, 1994.

\bibitem[\protect\citeauthoryear{McCain and
  Turner}{1995}]{mccain-turner_h:1995a}
Norman McCain and Hudson Turner.
\newblock A causal theory of ramifications and qualifications.
\newblock In Chris Mellish, editor, {\em Proceedings of the Fourteenth
  International Joint Conference on Artificial Intelligence}, pages 1978--1984,
  San Francisco, 1995. Morgan Kaufmann.

\bibitem[\protect\citeauthoryear{McCain and
  Turner}{1997}]{mccain-turner_h:1997a}
Norman McCain and Hudson Turner.
\newblock Causal theories of action and change.
\newblock In Howard Shrobe and Ted Senator, editors, {\em Proceedings of the
  Thirteenth National Conference on Artificial Intelligence and the Eighth
  Innovative Applications of Artificial Intelligence Conference}, pages
  460--465, Menlo Park, California, 1997. American Association for Artificial
  Intelligence, AAAI Press.

\bibitem[\protect\citeauthoryear{McCarthy and
  Buva\v{c}}{1998}]{mccarthy_j1-buvac:1995a2}
John McCarthy and Sa\v{s}a Buva\v{c}.
\newblock Formalizing context (expanded notes).
\newblock In Atocha Aliseda, Rob {van Glabbeek}, and Dag Westerst{\aa}hl,
  editors, {\em Computing Natural Language}, pages 13--50. {CSLI} Publications,
  Stanford, California, 1998.

\bibitem[\protect\citeauthoryear{McCarthy and
  Hayes}{1969}]{mccarthy_j1-hayes_pj1:1969a1}
John McCarthy and Patrick~J. 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[\protect\citeauthoryear{McCarthy}{1959}]{mccarthy_j1:1959a1}
John McCarthy.
\newblock Programs with common sense.
\newblock In {\em Proceedings of the {T}eddington Conference on the
  Mechanization of Thought Processes}, pages 75--91, London, 1959. Her
  Majesty's Stationary Office.

\bibitem[\protect\citeauthoryear{McCarthy}{1979}]{mccarthy_j1:1979c1}
John McCarthy.
\newblock First order theories of individual concepts and propositions.
\newblock In J.E. Hayes, D.~Mitchie, and L.I. Mikulich, editors, {\em Machine
  Intelligence 9}, pages 129--148. Ellis Horwood, Chichester, England, 1979.

\bibitem[\protect\citeauthoryear{McCarthy}{1980}]{mccarthy_j1:1980a}
John McCarthy.
\newblock Circumscription: A form of non-monotonic reasoning.
\newblock {\em Artificial Intelligence}, 13:27--39, 1980.

\bibitem[\protect\citeauthoryear{McCarthy}{1983}]{mccarthy_j1:1963a}
John McCarthy.
\newblock Situations, actions, and causal laws.
\newblock Technical Report Memo 2, Stanford Artificial Intelligence Project,
  Stanford University, 1983.

\bibitem[\protect\citeauthoryear{McCarthy}{1986}]{mccarthy_j1:1986a1}
John McCarthy.
\newblock Applications of circumscription to formalizing common sense
  knowledge.
\newblock {\em Artificial Intelligence}, 13:27--39, 1986.

\bibitem[\protect\citeauthoryear{McCarthy}{1987}]{mccarthy_j1:1977a5}
John McCarthy.
\newblock Epistemological problems of artificial intelligence.
\newblock In Matthew~L. Ginsberg, editor, {\em Readings in Nonmonotonic
  Reasoning}, pages 46--55. Morgan Kaufmann, Los Altos, California, 1987.

\bibitem[\protect\citeauthoryear{McCarthy}{1993a}]{mccarthy_j1:1993a}
John McCarthy.
\newblock History of circumscription.
\newblock {\em Artificial Intelligence}, 59:23--26, 1993.

\bibitem[\protect\citeauthoryear{McCarthy}{1993b}]{mccarthy_j1:1993b}
John McCarthy.
\newblock Notes on formalizing contexts.
\newblock In Ruzena Bajcsy, editor, {\em Proceedings of the Thirteenth
  International Joint Conference on Artificial Intelligence}, pages 555--560,
  San Mateo, California, 1993. Morgan Kaufmann.

\bibitem[\protect\citeauthoryear{McCarthy}{1999}]{mccarthy_j1:1999a}
John McCarthy.
\newblock Elaboration tolerance, 1999.\\
\newblock http://www-formal.stanford.edu/jmc/elaboration.html.

\bibitem[\protect\citeauthoryear{McDermott and
  Doyle}{1980}]{mcdermott_d-doyle_j:1980a}
Drew McDermott and Jon Doyle.
\newblock Non-monotonic logic {I}.
\newblock {\em Artificial Intelligence}, 13:41--72, 1980.

\bibitem[\protect\citeauthoryear{McDermott}{1982}]{mcdermott_d:1982a}
Drew McDermott.
\newblock Nonmonotonic logic {II}: Nonmonotonic modal theories.
\newblock {\em Journal of the Association for Computing Machinery},
  29(1):33--57, 1982.

\bibitem[\protect\citeauthoryear{McDermott}{1987}]{mcdermott_d:1987a}
Drew McDermott.
\newblock Critique of pure reason.
\newblock {\em Computational Intelligence}, 3(3):149--160, 1987.

\bibitem[\protect\citeauthoryear{Meyer and {van der
  Hoek}}{1995}]{meyer_jjc-vanderhoek:1995a}
{John-Jules Ch.} Meyer and Wiebe {van der Hoek}.
\newblock {\em Epistemic Logic for {AI} and Computer Science}.
\newblock Cambridge University Press, Cambridge, 1995.

\bibitem[\protect\citeauthoryear{Minker}{1997}]{minker:1997a}
Jack Minker.
\newblock Logic and databases: Past, present and future.
\newblock {\em {AI} Magazine}, 18(3):21--47, 1997.

\bibitem[\protect\citeauthoryear{Minker}{2000a}]{minker:2000b}
Jack Minker.
\newblock Introduction to logic-based artificial intelligence.
\newblock In Jack Minker, editor, {\em Logic-Based Artificial Intelligence},
  pages 3--33. Kluwer Academic Publishers, Dordrecht, 2000.

\bibitem[\protect\citeauthoryear{Minker}{2000b}]{minker_j:2000a}
Jack Minker, editor.
\newblock {\em Logic-Based Artificial Intelligence}.
\newblock Kluwer Academic Publishers, Dordrecht, 2000.

\bibitem[\protect\citeauthoryear{Minsky}{1974}]{minsky:1974a1}
Marvin Minsky.
\newblock A framework for representing knowledge.
\newblock Technical Report 306, Artificial Intelligence Laboratory, {MIT},
  1974.
\newblock Republished in several places, including \cite{haugeland:1981b}.

\bibitem[\protect\citeauthoryear{Moore}{1985}]{moore_rc:1985a3}
Robert~C. Moore.
\newblock A formal theory of knowledge and action.
\newblock In Jerry~R. Hobbs and Robert~C. Moore, editors, {\em Formal Theories
  of the Commonsense World}, pages 319--358. Ablex Publishing Corporation,
  Norwood, New Jersey, 1985.

\bibitem[\protect\citeauthoryear{Moore}{1993}]{moore_rc:1993b}
Robert~C. Moore.
\newblock Autoepistemic logic revisited.
\newblock {\em Artificial Intelligence}, 59(1--2):27--30, 1993.

\bibitem[\protect\citeauthoryear{Moore}{1995a}]{moore_jd:1995a}
Johanna Moore.
\newblock {\em Participating in Explanatory Dialogues}.
\newblock The {MIT} Press, 1995.

\bibitem[\protect\citeauthoryear{Moore}{1995b}]{moore_rc:1995a}
Robert~C. Moore.
\newblock {\em Logic and Representation}.
\newblock Cambridge University Press, Cambridge, England, 1995.

\bibitem[\protect\citeauthoryear{Morgenstern and
  Stein}{1994}]{morgenstern-stein:1994a}
Leora Morgenstern and Lynn Stein.
\newblock Motivated action theory: a formal theory of causal reasoning.
\newblock {\em Artificial Intelligence}, 71(1):1--42, 1994.

\bibitem[\protect\citeauthoryear{Morgenstern}{1996}]{morgenstern:1996a}
Leora Morgenstern.
\newblock The problem with solutions to the frame problem.
\newblock In Kenneth~M. Ford and Zenon Pylyshyn, editors, {\em The Robot's
  Dilemma Revisited: The Frame Problem in Artificial Intelligence}, pages
  99--133. Ablex Publishing Co., Norwood, New Jersey, 1996.

\bibitem[\protect\citeauthoryear{Nakashima \bgroup \em et al.\egroup
  }{1997}]{nakashima-etal:1997a}
Hideyuki Nakashima, Hitoshi Matsubara, and Ichiro Osawa.
\newblock Causality as a key to the frame problem.
\newblock {\em Artificial Intelligence}, 91(1):37--50, 1997.

\bibitem[\protect\citeauthoryear{Nebel \bgroup \em et al.\egroup
  }{1992}]{nebel-etal:1992a}
Bernhard Nebel, Charles Rich, and William Swartout, editors.
\newblock {\em {KR}': Principles of Knowledge Representation and Reasoning}.
\newblock Morgan Kaufmann, San Francisco, 1992.

\bibitem[\protect\citeauthoryear{Nilsson}{1991}]{nilsson_nj:1991a}
Nils~J. Nilsson.
\newblock Logic and artificial intelligence.
\newblock {\em Artificial Intelligence}, 47(1--3):31--56, 1991.

\bibitem[\protect\citeauthoryear{Nilsson}{1995}]{nilsson:1995a}
Nils~J. Nilsson.
\newblock Eye on the prize, 1995.
\newblock Available at\\ http://robotics.Stanford.EDU/\user nilsson/.

\bibitem[\protect\citeauthoryear{Ohrstrom and
  Hasle}{1995}]{ohrstrom-hasle:1995a}
Peter Ohrstrom and Per~F.V. Hasle.
\newblock {\em Temporal Logic from Ancient Ideas to Artificial Intelligence}.
\newblock Kluwer Academic Publishers, Dordrecht, 1995.

\bibitem[\protect\citeauthoryear{Osborne and
  Rubenstein}{1994}]{osborne_mj-rubenstein:1994a}
Martin~J. Osborne and Ariel Rubenstein.
\newblock {\em A Course in Game Theory}.
\newblock The {MIT} Press, Cambridge, Massachusetts, 1994.

\bibitem[\protect\citeauthoryear{Osherson and
  Lasnik}{1990}]{osherson-lasnik:1990b}
Daniel~N. Osherson and Howard Lasnik, editors.
\newblock {\em An Invitation to Cognitive Science. Volume 2: Visual Cognition
  and Action}.
\newblock The {MIT} Press, Cambridge, Massachusetts, 1990.

\bibitem[\protect\citeauthoryear{Pearl}{1994}]{pearl:1994b}
Judea Pearl.
\newblock From {A}dams' conditionals to default expressions, causal
  conditionals, and counterfactuals.
\newblock In Ellery Eells and Brian Skyrms, editors, {\em Probability and
  Conditionals: Belief Revision and Rational Decision}, pages 47--74. Cambridge
  University Press, Cambridge, England, 1994.

\bibitem[\protect\citeauthoryear{Pearl}{2000}]{pearl:2000a}
Judea Pearl.
\newblock {\em Causality: Models, Reasoning, and Inference}.
\newblock Cambridge University Press, Cambridge, England, 2000.

\bibitem[\protect\citeauthoryear{Perlis}{1985}]{perlis:1985a}
Donald Perlis.
\newblock Languages with self-reference {I}: Foundations.
\newblock {\em Artificial Intelligence}, 25:301--322, 1985.

\bibitem[\protect\citeauthoryear{Pirri and Finzi}{1999}]{pirri-finzi:1999a}
Fiora Pirri and Alberto Finzi.
\newblock A preliminary approach to perception in theory of agents.
\newblock In Michael Thielscher, editor, {\em Proceedings of the {IJCAI}-99
  Workshop on Nonmonotonic Reasoning, Action and Change}, pages 49--56, Murray
  Hill, New Jersey, 1999. IJCAI, International Joint Conference on Artificial
  Intelligence.

\bibitem[\protect\citeauthoryear{Pollack}{1992}]{pollack:1992a}
Martha Pollack.
\newblock The uses of plans.
\newblock {\em Artificial Intelligence}, 57(1):43--68, 1992.

\bibitem[\protect\citeauthoryear{Pollock}{1995}]{pollock:1995a}
John~L. Pollock.
\newblock {\em Cognitive Carpentry: A Manual for How to Build a Person}.
\newblock The {MIT} Press, Cambridge, Massachusetts, 1995.

\bibitem[\protect\citeauthoryear{Prior}{1956}]{prior:1956b}
Arthur Prior.
\newblock {\em Time and Modality}.
\newblock Oxford University Press, Oxford, 1956.

\bibitem[\protect\citeauthoryear{Prior}{1967}]{prior:1967a}
Arthur Prior.
\newblock {\em Past, Present and Future}.
\newblock Oxford University Press, Oxford, 1967.

\bibitem[\protect\citeauthoryear{Prior}{1968}]{prior:1968a}
Arthur Prior.
\newblock {\em Papers on Time and Tense}.
\newblock Oxford University Press, Oxford, 1968.

\bibitem[\protect\citeauthoryear{Pylyshyn}{1987}]{pylyshyn:1987a}
Zenon Pylyshyn, editor.
\newblock {\em The Robot's Dilemma: The Frame Problem in Artificial
  Intelligence}.
\newblock Ablex Publishing Co., Norwood, New Jersey, 1987.

\bibitem[\protect\citeauthoryear{Quine}{1960}]{quine:1960a}
Willard~V.O Quine.
\newblock Variables explained away.
\newblock In Willard~V. Quine, editor, {\em Selected Logic Papers}, pages
  227--235. Harvard University Press, Cambridge, Massachusetts, 1960.

\bibitem[\protect\citeauthoryear{Rao and
  Georgeff}{1991}]{rao_as-georgeff:1991a}
Anand~S. Rao and Michael~P. Georgeff.
\newblock Modeling rational agents within a {BDI}-architecture.
\newblock In James~F. Allen, Richard Fikes, and Erik Sandewall, editors, {\em
  {KR}'91: Principles of Knowledge Representation and Reasoning}, pages
  473--484. Morgan Kaufmann, San Mateo, California, 1991.

\bibitem[\protect\citeauthoryear{Reiter}{1978}]{reiter_r:1978a1}
Raymond Reiter.
\newblock On closed world data bases.
\newblock In H.~Gallaire and J.~Minker, editors, {\em Logic and Data Bases},
  pages 55--76. Plenum Press, New York, 1978.

\bibitem[\protect\citeauthoryear{Reiter}{1980}]{reiter_r:1980a1}
Raymond Reiter.
\newblock A logic for default reasoning.
\newblock {\em Artificial Intelligence}, 13:81--32, 1980.

\bibitem[\protect\citeauthoryear{Reiter}{1993}]{reiter_r:1993a}
Raymond Reiter.
\newblock Proving properties of states in the situation calculus.
\newblock {\em Artificial Intelligence}, 64:337--351, 1993.

\bibitem[\protect\citeauthoryear{Reiter}{2001}]{reiter_r:2001a}
Raymond Reiter.
\newblock {\em Knowledge in Action: Logical Foundations for Specifying and
  Implementing Dynamical Systems}.
\newblock The {MIT} Press, Cambridge, Massachusetts, 2001.

\bibitem[\protect\citeauthoryear{Renz and Nebel}{1999}]{renz-nebel:1999a}
Jochen Renz and Bernhard Nebel.
\newblock On the complexity of qualitative spatial reasoning: A maximal
  tractable fragment of the region connection calculus.
\newblock {\em Artificial Intelligence}, 108(1--2):69--123, 1999.

\bibitem[\protect\citeauthoryear{Rosenschein and
  Kaelbling}{1995}]{rosenschein_sj-kaelbling:1995a}
Stanley~J. Rosenschein and Leslie~Pack Kaelbling.
\newblock A situated view of representation and control.
\newblock {\em Artificial Intelligence}, 73(1--2):149--173, 1995.

\bibitem[\protect\citeauthoryear{Rosenschein}{1989}]{rosenschein_sj:1989a}
Stanley~J. Rosenschein.
\newblock Synthesizing information-tracking automata from environment
  descriptions.
\newblock In Ronald~J. Brachman, Hector~J. Levesque, and Raymond Reiter,
  editors, {\em {KR}'89: Principles of Knowledge Representation and Reasoning},
  pages 386--393. Morgan Kaufmann, San Mateo, California, 1989.

\bibitem[\protect\citeauthoryear{Rounds}{1996}]{rounds:1996a}
William~C. Rounds.
\newblock Feature logics.
\newblock In Johan {van Benthem} and Alice {ter Meulen}, editors, {\em Handbook
  of Logic and Language}, pages 475--533. Elsevier, Amsterdam, 1996.

\bibitem[\protect\citeauthoryear{Russell and
  Wefald}{1991}]{russell_sj-wefald:1991a}
Stuart~J. Russell and Eric Wefald.
\newblock {\em Do the Right Thing}.
\newblock The {MIT} Press, Cambridge, Massachusetts, 1991.

\bibitem[\protect\citeauthoryear{Russell}{1957}]{russell_b:1957a}
Bertrand Russell.
\newblock {\em Mysticism and Logic}.
\newblock Doubleday, Garden City, New York, 1957.

\bibitem[\protect\citeauthoryear{Sadek}{1992}]{sadek:1992a}
M.D. Sadek.
\newblock A study in the logic of intention.
\newblock In Bernhard Nebel, Charles Rich, and William Swartout, editors, {\em
  {KR}'92. Principles of Knowledge Representation and Reasoning: Proceedings of
  the Third International Conference}, pages 462--473. Morgan Kaufmann, San
  Mateo, California, 1992.

\bibitem[\protect\citeauthoryear{Sandewall}{1972}]{sandewall:1972a}
Eric Sandewall.
\newblock An approach to the frame problem, and its implementation.
\newblock In D.~Michie and B.~Meltzer, editors, {\em Machine Intelligence 7},
  pages 195--204. Edinburgh University Press, 1972.

\bibitem[\protect\citeauthoryear{Sandewall}{1994}]{sandewall:1994a}
Erik Sandewall.
\newblock {\em Features and Fluents: A Systematic Approach to the
  Representation of Knowledge About Dynamical Systems}.
\newblock Oxford University Press, Oxford, 1994.

\bibitem[\protect\citeauthoryear{Schlechta}{1997}]{schlechta:1997a}
Karl Schlechta.
\newblock {\em Nonmonotonic Logics}.
\newblock Springer-Verlag, Berin, 1997.

\bibitem[\protect\citeauthoryear{Schubert}{1990}]{schubert:1990a}
Lenhart Schubert.
\newblock Monotonic solution of the frame problem in the situation calculus; an
  efficient method for worlds with fully specified actions.
\newblock In Henry Kyburg, Ronald Loui, and Greg Carlson, editors, {\em
  Knowledge Representation and Defeasible Reasoning}, pages 23--67. Kluwer
  Academic Publishers, Dordrecht, 1990.

\bibitem[\protect\citeauthoryear{Seligman and Moss}{1996}]{seligman-moss:1996a}
Jerry Seligman and Lawrence~S. Moss.
\newblock Situation theory.
\newblock In Johan {van Benthem} and Alice {ter Meulen}, editors, {\em Handbook
  of Logic and Language}, pages 239--307. Elsevier, Amsterdam, 1996.

\bibitem[\protect\citeauthoryear{Shanahan}{1997}]{shanahan:1997a}
Murray Shanahan.
\newblock {\em Solving the Frame Problem}.
\newblock The {MIT} Press, Cambridge, Massachusetts, 1997.

\bibitem[\protect\citeauthoryear{Shieber}{1992}]{shieber:1992a}
Stuart Shieber.
\newblock {\em Constraint-Based Grammar Formalisms: Parsing and Type Inference
  for Natural and Computer Languages}.
\newblock The {MIT} Press, Cambridge, Massachusetts, 1992.

\bibitem[\protect\citeauthoryear{Shoham}{1988}]{shoham:1988a}
Yoav Shoham.
\newblock {\em Reasoning About Change: Time and Causation From the Standpoint
  of Artificial Intelligence}.
\newblock The {MIT} Press, Cambridge, Massachusetts, 1988.

\bibitem[\protect\citeauthoryear{Simon}{1952}]{simon_ha:1952a}
Herbert Simon.
\newblock On the definition of the causal relation.
\newblock {\em The Journal of Philosophy}, 49:517--528, 1952.

\bibitem[\protect\citeauthoryear{Simon}{1966}]{simon_ha:1966a}
Herbert Simon.
\newblock On reasoning about action.
\newblock Technical Report Complex Information Processing Paper \#87, Carnegie
  Institute of Technology, Pittsburgh, Pennsylvania, 1966.

\bibitem[\protect\citeauthoryear{Simon}{1977}]{simon_ha:1977a}
Herbert~A. Simon.
\newblock {\em Models of Discovery}.
\newblock D. Reidel Publishing Co., Dordrecht, 1977.

\bibitem[\protect\citeauthoryear{Simon}{1982a}]{simon_ha:1982a}
Herbert~A. Simon.
\newblock {\em Models of Bounded Rationality, Volume 1}.
\newblock The {MIT} Press, Cambridge, Massachusetts, 1982.

\bibitem[\protect\citeauthoryear{Simon}{1982b}]{simon_ha:1982b}
Herbert~A. Simon.
\newblock {\em Models of Bounded Rationality, Volume 2}.
\newblock The {MIT} Press, Cambridge, Massachusetts, 1982.

\bibitem[\protect\citeauthoryear{Simons}{1987}]{simons_p:1987a}
Peter Simons.
\newblock {\em Parts: A Study in Ontology}.
\newblock Oxford University Press, Oxford, 1987.

\bibitem[\protect\citeauthoryear{Stalnaker}{1993}]{stalnaker:1993c}
Robert~C. Stalnaker.
\newblock A note on non-monotonic modal logic.
\newblock {\em Artificial Intelligence}, 64(2):183--196, 1993.
\newblock Widely circulated in manuscipt form, 1980 to 1992.

\bibitem[\protect\citeauthoryear{Steedman}{1995}]{steedman:1995a}
Mark Steedman.
\newblock Dynamic semantics for tense and aspect.
\newblock In Chris Mellish, editor, {\em Proceedings of the Fourteenth
  International Joint Conference on Artificial Intelligence}, pages 1292--1298,
  San Francisco, 1995. Morgan Kaufmann.

\bibitem[\protect\citeauthoryear{Steedman}{1998}]{steedman:1998a}
Mark Steedman.
\newblock The productions of time.
\newblock Unpublished manuscript, University of Edinburgh. Available from
  http://www.cogsci.ed.ac.uk/~steedman/papers.html., 1998.

\bibitem[\protect\citeauthoryear{Stefik}{1995}]{stefik:1995a}
Mark~J. Stefik.
\newblock {\em An Introduction to Knowledge Systems}.
\newblock Morgan Kaufmann, San Francisco, 1995.

\bibitem[\protect\citeauthoryear{Stock}{1997}]{stock:1997a}
Oliviero Stock, editor.
\newblock {\em Spatial and Temporal Reasoning}.
\newblock Kluwer Academic Publishers, Dordrecht, 1997.

\bibitem[\protect\citeauthoryear{Stone}{1998}]{stone_m:1998a}
Matthew Stone.
\newblock {\em Modality in Dialogue: Planning, Pragmatics and Computation}.
\newblock Ph.{D}. dissertation, Computer Science Department, University of
  Pennsylvania, Philadelphia, Pennsylvania, 1998.

\bibitem[\protect\citeauthoryear{Thielscher}{1989}]{thielscher:1997a}
Michael Thielscher.
\newblock Ramification and causality.
\newblock {\em Artificial Intelligence}, 89(1--2):317--364, 1989.

\bibitem[\protect\citeauthoryear{Thielscher}{1996}]{thielscher:1996a}
Michael Thielscher.
\newblock Causality and the qualification problem.
\newblock In Luigia~Carlucci Aiello, Jon Doyle, and Stuart Shapiro, editors,
  {\em {KR}'96: Principles of Knowledge Representation and Reasoning}, pages
  51--62. Morgan Kaufmann, San Francisco, California, 1996.

\bibitem[\protect\citeauthoryear{Thielscher}{2000}]{thielscher:2000a}
Michael Thielscher.
\newblock Representing the knowledge of a robot.
\newblock In Anthony~G. Cohn, Fausto Giunchiglia, and Bart Selman, editors,
  {\em {KR}2000: Principles of Knowledge Representation and Reasoning}, pages
  109--120, San Francisco, 2000. Morgan Kaufmann.

\bibitem[\protect\citeauthoryear{Thomason}{1992}]{thomason_rh:1992a}
Richmond~H. Thomason.
\newblock {NETL} and subsequent path-based inheritance theories.
\newblock In Fritz Lehmann, editor, {\em Semantic Networks in Artificial
  Intelligence}, pages 179--204. Pergamon Press, Oxford, 1992.

\bibitem[\protect\citeauthoryear{Turner}{1999}]{turner_h:1999a}
Hudson Turner.
\newblock A logic of universal causation.
\newblock {\em Artificial Intelligence}, 113(1--2):87--123, 1999.

\bibitem[\protect\citeauthoryear{{van Benthem} and {ter
  Meulen}}{1996}]{vanbenthem-termeulen:1996a}
Johan {van Benthem} and Alice {ter Meulen}.
\newblock {\em Handbook of Logic and Language}.
\newblock Elsevier Science Publishers, Amsterdam, 1996.

\bibitem[\protect\citeauthoryear{{van Benthem}}{1983}]{vanbenthem:1983a}
Johan {van Benthem}.
\newblock {\em The Logic of Time}.
\newblock D. Reidel Publishing Company, Dordrecht, 1983.

\bibitem[\protect\citeauthoryear{{van der Torre}}{1997}]{vandertorre-tan:1997b}
Leendert~W.N. {van der Torre}.
\newblock {\em Reasoning about Obligations: Defeasibility in Preference-Based
  Deontic Logic}.
\newblock Thesis Publishers, Amsterdam, 1997.

\bibitem[\protect\citeauthoryear{{{v}on Wright}}{1983}]{vonwright:1983a}
Georg~Henrik {{v}on Wright}.
\newblock {\em Practical Reason: Philosophical Papers, Volume 1}.
\newblock Cornell University Press, Ithaca, 1983.

\bibitem[\protect\citeauthoryear{Weld and de Kleer}{1990}]{weld-dekleer:1990a}
Daniel~S. Weld and Johan de~Kleer, editors.
\newblock {\em Qualitative Reasoning about Physical Systems}.
\newblock Morgan Kaufmann, San Mateo, California, 1990.

\bibitem[\protect\citeauthoryear{Wilson}{1998}]{wilson_rh:1998a}
Randall~H. Wilson.
\newblock Geometric reasoning about assembly tools.
\newblock {\em Artificial Intelligence}, 98(1--2):237--279, 1998.

\bibitem[\protect\citeauthoryear{Wobcke \bgroup \em et al.\egroup
  }{1998}]{wobcke-etal:1998a}
Wayne Wobcke, Maurice Pagnucco, and C.~Zhang, editors.
\newblock {\em Agents and Multi-Agent Systems---Formalisms, Methodologies, and
  Applications}.
\newblock Springer-Verlag, Berlin, 1998.

\bibitem[\protect\citeauthoryear{Wolter and
  Zakharyaschev}{2000}]{wolter-zakharyaschev:2000a}
Frank Wolter and Michael Zakharyaschev.
\newblock Spatio-temporal representation and reasoning based on {RCC-8}.
\newblock In Anthony~G. Cohn, Fausto Giunchiglia, and Bart Selman, editors,
  {\em {KR}2000: Principles of Knowledge Representation and Reasoning}, pages
  3--14, San Francisco, 2000. Morgan Kaufmann.

\bibitem[\protect\citeauthoryear{Woods and
  Schmolze}{1992}]{woods_wa-schmolze:1992a}
William~A. Woods and James~G. Schmolze.
\newblock The {KL-O}{\sc ne} family.
\newblock In Fritz Lehmann, editor, {\em Semantic Networks in Artificial
  Intelligence}, pages 133--177. Pergamon Press, Oxford, 1992.

\bibitem[\protect\citeauthoryear{Yeap and Jeffries}{1999}]{yeap-jeffreys:1999a}
Wai~K. Yeap and Margaret~E. Jeffries.
\newblock Computing a representation of the local environment.
\newblock {\em Artificial Intelligence}, 107(2):265--301, 1999.

\end{thebibliography}