\begin{thebibliography}{}

\bibitem[\protect\citename{Costello and McCarthy }1999]{CostelloMcC99}
Costello, T., and J.~McCarthy.
\newblock 1999.
\newblock \htmladdnormallinkfoot{Useful Counterfactuals}
  {http://www-formal.stanford.edu/jmc/counterfactuals.html}.
\newblock {\em Electronic Transactions on Artificial Intelligence}.
\newblock submitted 1999 July.

\bibitem[\protect\citename{Dennett }1978]{Dennett78}
Dennett, D. 1978.
\newblock {\em Brainstorms: Philosophical Essays on Mind and Psychology}.
\newblock Cambridge: Bradford Books/MIT Press.

\bibitem[\protect\citename{Dennett }1984]{Dennett84}
Dennett, D. 1984.
\newblock {\em Elbow room : the varieties of free will worth wanting}.
\newblock MIT Press.

\bibitem[\protect\citename{McCarthy }1979]{McC79concepts}
McCarthy, J. 1979.
\newblock First order theories of individual concepts and propositions.
\newblock In D.~Michie (Ed.), {\em Machine Intelligence}, Vol.~9. Edinburgh:
  Edinburgh University Press.
\newblock Reprinted in \cite{McC90}.

\bibitem[\protect\citename{McCarthy }1990]{McC90}
McCarthy, J. 1990.
\newblock {\em Formalizing Common Sense: Papers by John McCarthy}.
\newblock Ablex Publishing Corporation.

\bibitem[\protect\citename{McCarthy }1996]{McC96}
McCarthy, J. 1996.
\newblock \htmladdnormallinkfoot{Making Robots Conscious of their Mental
  States} {http://www-formal.stanford.edu/jmc/consciousness.html}.
\newblock In S.~Muggleton (Ed.), {\em Machine Intelligence 15}. Oxford
  University Press.
\newblock to appear in 2000. The web version is improved from that presented at
  Machine Intelligence 15 in 1995.

\bibitem[\protect\citename{McCarthy }1999a]{McC99b}
McCarthy, J.
\newblock 1999a.
\newblock \htmladdnormallinkfoot{Logical theories with approximate
  concepts---draft} {http://www-formal.stanford.edu/jmc/approximate.html}.
\newblock {\em submitted but web only for now}.

\bibitem[\protect\citename{McCarthy }1999b]{McC99f}
McCarthy, J. 1999b.
\newblock \htmladdnormallinkfoot{Philosophical and Scientific Presuppositions
  of Logical Ai} {http://www-formal.stanford.edu/jmc/phil2.html}.
\newblock In H.~J. Levesque and F.~Pirri (Eds.), {\em Logical Foundations for
  Cognitive Agents: Contributions in Honor of Ray Reiter}, 72--78.
  Springer-Verlag.

\bibitem[\protect\citename{McCarthy and Hayes }1969]{McCHay69}
McCarthy, J., and P.~J. Hayes. 1969.
\newblock \htmladdnormallinkfoot{Some Philosophical Problems from the
  Standpoint of Artificial Intelligence}
  {http://www-formal.stanford.edu/jmc/mcchay69.html}.
\newblock In B.~Meltzer and D.~Michie (Eds.), {\em Machine Intelligence 4},
  463--502. Edinburgh University Press.

\bibitem[\protect\citename{Shanahan }1997]{Shanahan97}
Shanahan, M. 1997.
\newblock {\em Solving the Frame Problem, a mathematical investigation of the
  common sense law of inertia}.
\newblock M.I.T. Press.

\bibitem[\protect\citename{Shannon }1938]{Shannon38}
Shannon, C.~E.
\newblock 1938.
\newblock A symbolic analysis of relay and switching circuits.
\newblock {\em Transactions American Institute of Electrical Engineers}
  57:713--723.
\newblock I think this is the article in which Shannon showed that most boolean
  functions require many relay contacts.

\bibitem[\protect\citename{Suppes }1994]{Suppes94}
Suppes, P.
\newblock 1994.
\newblock Voluntary motion, biological computation and free will.
\newblock {\em Midwest Studies in Philosophy} XIX:452--467.

\end{thebibliography}
