Return-Path: <@cs.cmu.edu:ginsberg%CS.Stanford.EDU@t.stanford.edu>
Received: from cs.cmu.edu by A.GP.CS.CMU.EDU id ar01100; 14 Sep 92 13:51:47 EDT
Received: from t.stanford.edu by CS.CMU.EDU id aa29859; 14 Sep 92 13:14:46 EDT
Received:  by T.Stanford.EDU (4.1/25-T-eef) id AA00560; Mon, 14 Sep 92 10:14:00 PDT
Date: Mon, 14 Sep 92 10:14:00 PDT
From: Matthew L. Ginsberg <ginsberg@CS.Stanford.EDU>
Message-Id: <9209141714.AA00560@T.Stanford.EDU>
To: mkant@cs.cmu.edu
Subject: Re: comments on AI FAQ

What follows is the current bibliography for my intro book.  The Pearl
book is in there, and a bunch of other refs as well.  Hopefully, you
can figure out from the titles whether they're KR or not ...

						Matt

\begin{thebibliography}{}

\bibitem[\protect\citeauthoryear{Abramson and Yung}{1989}]{Abramson:nqueen}
B.~Abramson and M.~Yung.
\newblock Divide and conquer under global constraints: {A} solution to the
  n-queens problem.
\newblock {\em J. Parallel and Distributed Computing}, 61:649--662, 1989.

\bibitem[\protect\citeauthoryear{Allen \bgroup \em et al.\egroup
  }{1990}]{Allen}
James Allen, James Hendler, and Austin Tate.
\newblock {\em Readings in Planning}.
\newblock Morgan Kaufmann, San Mateo, CA, 1990.

\bibitem[\protect\citeauthoryear{Allen \bgroup \em et al.\egroup
  }{1991}]{Kautz:plans}
James~F. Allen, Henry~A. Kautz, Richard~N. Pelavin, and Josh~D. Tenenberg.
\newblock {\em Reasoning about Plans}.
\newblock Morgan Kaufmann, San Mateo, CA, 1991.

\bibitem[\protect\citeauthoryear{Allen}{1987}]{Allen:NLP}
James Allen.
\newblock {\em Natural Language Understanding}.
\newblock Benjamin Cummings, Menlo Park, CA, 1987.

\bibitem[\protect\citeauthoryear{Aloimonos and
  Rosenfeld}{1991}]{Aloimonos:vision}
Yiannia Aloimonos and Azriel Rosenfeld.
\newblock Computer vision.
\newblock {\em Science}, 253:1249--1254, 1991.

\bibitem[\protect\citeauthoryear{Aloimonos \bgroup \em et al.\egroup
  }{1988}]{Aloimonos:active}
J.Y. Aloimonos, I.~Weiss, and A.~Bandyopadhyay.
\newblock Active vision.
\newblock {\em Intl. J. Computer Vision}, 1:333--356, 1988.

\bibitem[\protect\citeauthoryear{Anantharaman \bgroup \em et al.\egroup
  }{1990}]{Campbell:singular}
Thomas Anantharaman, Murray~S. Campbell, and Feng hsiung Hsu.
\newblock Singular extensions: {A}dding selectivity to brute-force searching.
\newblock {\em Artificial Intelligence}, 43:99--109, 1990.

\bibitem[\protect\citeauthoryear{Bajczy}{1988}]{Bajcsy:active}
R.~Bajczy.
\newblock Active perception.
\newblock {\em Proc. IEEE}, 76:996--1005, 1988.

\bibitem[\protect\citeauthoryear{Baker}{1991}]{Baker:yale}
Andrew~B. Baker.
\newblock Nonmonotonic reasoning in the framework of situation calculus.
\newblock {\em Artificial Intelligence}, 49:5--23, 1991.

\bibitem[\protect\citeauthoryear{Ballard and Brown}{1982}]{Ballard:vision}
Dana~H. Ballard and Christopher~M. Brown.
\newblock {\em Computer Vision}.
\newblock Prentice-Hall, Englewood Cliffs, NJ, 1982.

\bibitem[\protect\citeauthoryear{Ballard}{1981}]{Ballard:transform}
Dana~H. Ballard.
\newblock Generalizing the {H}ough transform to detect arbitrary shapes.
\newblock {\em Pattern Recognition}, 13:111--122, 1981.

\bibitem[\protect\citeauthoryear{Ballard}{1991}]{Ballard:active}
Dana~H. Ballard.
\newblock Animate vision.
\newblock {\em Artificial Intelligence}, 48:57--86, 1991.

\bibitem[\protect\citeauthoryear{Bayes}{1763}]{Bayes:prob}
T.~Bayes.
\newblock An essay towards solving a problem in the doctrine of chances.
\newblock {\em Phil. Trans.}, 3:370--418, 1763.

\bibitem[\protect\citeauthoryear{Bell}{1937}]{Bell}
Eric~Temple Bell.
\newblock {\em Men of Mathematics}.
\newblock Simon and Schuster, New York, 1937.

\bibitem[\protect\citeauthoryear{Berliner and Beal}{1990}]{Berliner:chess}
Hans~J. Berliner and Don~F. Beal.
\newblock Special issue on computer chess.
\newblock {\em Artificial Intelligence}, 43:1--123, 1990.

\bibitem[\protect\citeauthoryear{Berliner}{1980}]{Berliner:bg}
Hans~J. Berliner.
\newblock Backgammon computer program beats world champion.
\newblock {\em Artificial Intelligence}, 14:205--220, 1980.

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

\bibitem[\protect\citeauthoryear{Blumer \bgroup \em et al.\egroup
  }{1989}]{Blumer:VC}
A.~Blumer, A.~Ehrenfeucht, D.~Haussler, and M.K. Warmuth.
\newblock Learnability and the {V}apnik-{C}hervonenkis dimension.
\newblock {\em J. ACM}, 1989.

\bibitem[\protect\citeauthoryear{Bond and Gasser}{1988}]{Bond}
Alan~H. Bond and Les Gasser.
\newblock {\em Readings in Distributed Artificial Intelligence}.
\newblock Morgan Kaufmann, San Mateo, CA, 1988.

\bibitem[\protect\citeauthoryear{Boyer}{1971}]{Boyer:lock}
R.S. Boyer.
\newblock {\em Locking: A Restriction of Resolution}.
\newblock PhD thesis, University of Texas at Austin, Austin, TX, 1971.

\bibitem[\protect\citeauthoryear{Brachman and Levesque}{1985}]{Brachman}
Ronald~J. Brachman and Hector~J. Levesque.
\newblock {\em Readings in Knowledge Representation}.
\newblock Morgan Kaufmann, San Mateo, CA, 1985.

\bibitem[\protect\citeauthoryear{Brachman and Schmolze}{1985}]{Brachman:klone}
Ronald~J. Brachman and James~G. Schmolze.
\newblock An overview of the {KL-ONE} knowledge representation system.
\newblock {\em Cog. Sci.}, 9:171--216, 1985.

\bibitem[\protect\citeauthoryear{Brachman \bgroup \em et al.\egroup
  }{1983}]{Brachman:krypton}
Ronald~J. Brachman, Richard~E. Fikes, and Hector~J. Levesque.
\newblock {KRYPTON: A} functional approach to knowledge representation.
\newblock {\em IEEE Computer}, 16:67--73, 1983.

\bibitem[\protect\citeauthoryear{Brachman}{1985}]{Brachman:trees}
Ronald~J. Brachman.
\newblock ``{I} lied about the trees'' or, defaults and definitions in
  knowledge representation.
\newblock {\em AI Magazine}, 6(3):80--93, 1985.

\bibitem[\protect\citeauthoryear{Brady}{1982}]{Brady:vision}
J.~Michael Brady.
\newblock Computational approaches to image understanding.
\newblock {\em {ACM} Computing Surveys}, 14:3--71, 1982.

\bibitem[\protect\citeauthoryear{Buchanan and Shortliffe}{1984}]{MYCIN}
B.~G. Buchanan and E.~H. Shortliffe.
\newblock {\em Rule-Based Expert Systems: The MYCIN Experiments of the Stanford
  Heuristic Programming Project}.
\newblock Addison-Wesley, Reading, Mass., 1984.

\bibitem[\protect\citeauthoryear{Campbell and Higgins}{1984}]{Campbell:color}
Douglas~M. Campbell and John~C. Higgins, editors.
\newblock {\em Mathematics: People, Problems, Results}.
\newblock Wadsworth, Belmont, CA, 1984.

\bibitem[\protect\citeauthoryear{Campbell \bgroup \em et al.\egroup
  }{1982}]{molybdenum}
A.N. Campbell, V.F. Hollister, R.O. Duda, and P.E. Hart.
\newblock Recognition of a hidden mineral.
\newblock {\em Science}, 217:927--929, 1982.

\bibitem[\protect\citeauthoryear{Canny}{1986}]{Canny:edge}
John~F. Canny.
\newblock A computational approach to edge detection.
\newblock {\em IEEE PAMI}, 8:679--698, 1986.

\bibitem[\protect\citeauthoryear{Carbonell}{1989}]{Carbonell:AIJ}
Jaime~G. Carbonell.
\newblock Special volume on machine learning.
\newblock {\em Artificial Intelligence}, 40:1--395, 1989.

\bibitem[\protect\citeauthoryear{Chang and Lee}{1973}]{Chang}
C.L. Chang and R.C.T. Lee.
\newblock {\em Symbolic Logic and Mechanical Theorem Proving}.
\newblock Academic Press, New York, 1973.

\bibitem[\protect\citeauthoryear{Chapman}{1987}]{Chapman:plan}
David Chapman.
\newblock Planning for conjunctive goals.
\newblock {\em Artificial Intelligence}, 32:333--377, 1987.

\bibitem[\protect\citeauthoryear{Charniak and McDermott}{1985}]{Charniak:intro}
Eugene Charniak and Drew McDermott.
\newblock {\em Artificial Intelligence}.
\newblock Addison-Wesley, Reading, MA, 1985.

\bibitem[\protect\citeauthoryear{Charniak}{1991}]{Charniak:influence}
Eugene Charniak.
\newblock Bayesian networks without tears.
\newblock {\em AI Magazine}, 12(4):50--63, 1991.

\bibitem[\protect\citeauthoryear{Cheeseman}{1988}]{Cheeseman:bash}
Peter Cheeseman.
\newblock An inquiry into computer understanding.
\newblock {\em Computational Intelligence}, 4, 1988.

\bibitem[\protect\citeauthoryear{Clocksin and Mellish}{1987}]{Clocksin:prolog}
W.~F. Clocksin and C.~S. Mellish.
\newblock {\em Programming in {P}rolog}.
\newblock Springer-{V}erlag, Berlin, 3 edition, 1987.

\bibitem[\protect\citeauthoryear{Clowes}{1971}]{Clowes:waltz}
M.B. Clowes.
\newblock On seeing things.
\newblock {\em Artificial Intelligence}, 2:79--116, 1971.

\bibitem[\protect\citeauthoryear{Cox}{1946}]{Cox:prob}
R.~Cox.
\newblock Probability frequency and reasonable expectation.
\newblock {\em Am. J. Phys.}, 14:1--13, 1946.

\bibitem[\protect\citeauthoryear{Craig}{1989}]{Craig:robots}
John~J. Craig.
\newblock {\em Introduction to Robotics}.
\newblock Addison-Wesley, Reading, MA, 1989.

\bibitem[\protect\citeauthoryear{Darwiche and Ginsberg}{1992}]{Darwiche:prob}
Adnan~Y. Darwiche and Matthew~L. Ginsberg.
\newblock A symbolic generalization of probability theory.
\newblock In {\em Proceedings of the Tenth National Conference on Artificial
  Intelligence}, pages 622--627, 1992.

\bibitem[\protect\citeauthoryear{Davis}{1990}]{Davis:commonsense}
Ernest Davis.
\newblock {\em Representation of Commonsense Reasoning}.
\newblock Morgan Kaufmann, San Mateo, CA, 1990.

\bibitem[\protect\citeauthoryear{{de Kleer} and
  Williams}{1987}]{deKleer:diagnosis}
Johan {de Kleer} and Brian~C. Williams.
\newblock Diagnosing multiple faults.
\newblock {\em Artificial Intelligence}, 32:97--130, 1987.

\bibitem[\protect\citeauthoryear{{de Kleer}}{1984}]{deKleer:choices}
Johan {de Kleer}.
\newblock Choices without backtracking.
\newblock In {\em Proceedings of the Fourth National Conference on Artificial
  Intelligence}, pages 79--85, 1984.

\bibitem[\protect\citeauthoryear{{de Kleer}}{1986}]{deKleer:atms}
Johan {de Kleer}.
\newblock An assumption-based truth maintenance system.
\newblock {\em Artificial Intelligence}, 28:127--162, 1986.

\bibitem[\protect\citeauthoryear{Dean and Boddy}{1988a}]{Dean:planning}
Thomas Dean and Mark Boddy.
\newblock An analysis of time-dependent planning.
\newblock In {\em Proceedings of the Seventh National Conference on Artificial
  Intelligence}, pages 49--54, 1988.

\bibitem[\protect\citeauthoryear{Dean and Boddy}{1988b}]{Dean:nonlin}
Thomas Dean and Mark Boddy.
\newblock Reasoning about partially ordered events.
\newblock {\em Artificial Intelligence}, 36:375--399, 1988.

\bibitem[\protect\citeauthoryear{Dechter and Meiri}{1989}]{Dechter:experiment}
Rina Dechter and Itay Meiri.
\newblock Experimental evaluation of preprocessing techniques in constraint
  satisfaction problems.
\newblock In {\em Proceedings of the Eleventh International Joint Conference on
  Artificial Intelligence}, pages 271--277, 1989.

\bibitem[\protect\citeauthoryear{Deming}{1963}]{Bayes-book}
W.E. Deming, editor.
\newblock {\em Two Papers by Bayes}.
\newblock Hafner, New York, 1963.

\bibitem[\protect\citeauthoryear{Dempster}{1968}]{Dempster}
A.~P. Dempster.
\newblock A generalization of {B}ayesian inference.
\newblock {\em J. Roy. Stat. Soc. {\it B}}, 30:205--247, 1968.

\bibitem[\protect\citeauthoryear{Dietterich}{1989}]{Dietterich:learn}
Thomas~G. Dietterich.
\newblock Machine learning.
\newblock Technical Report 89-30-6, Oregon State University Dept. of Computer
  Science, Corvallis, OR, 1989.

\bibitem[\protect\citeauthoryear{Doyle and Patil}{1991}]{Doyle:complexity}
Jon Doyle and Ramesh~S. Patil.
\newblock Two theses of knowledge representation: language restrictions,
  taxonomic classification, and the utility of representation services.
\newblock {\em Artificial Intelligence}, 48:261--297, 1991.

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

\bibitem[\protect\citeauthoryear{Dreyfus}{1965}]{Dreyfus:alchemy}
Hubert~L. Dreyfus.
\newblock {\em Alchemy and Artificial Intelligence}.
\newblock Rand Corp., Santa Monica, CA, 1965.

\bibitem[\protect\citeauthoryear{Dreyfus}{1979}]{Dreyfus:hopeless}
Hubert~L. Dreyfus.
\newblock {\em What Computers Can't Do: The Limits of Artificial Intelligence}.
\newblock Harper \& Row, New York, 1979.

\bibitem[\protect\citeauthoryear{Duda \bgroup \em et al.\egroup
  }{1976}]{Duda:prospector}
R.O. Duda, P.E. Hart, and N.J. Nilsson.
\newblock Subjective {B}ayesian methods for rule-based inference systems.
\newblock In {\em Proceedings 1976 National Computer Conference}, pages
  1075--1082. {AFIPS}, 1976.

\bibitem[\protect\citeauthoryear{Ehrenfeucht \bgroup \em et al.\egroup
  }{1988}]{Ehrenfeucht:VC}
A.~Ehrenfeucht, David Haussler, M.~Kearns, and Leslie Valiant.
\newblock A general lower bound on the number of examples needed for learning.
\newblock In {\em Proceedings of the 1988 Workshop on Computational Learning
  Theory}, pages 110--120, San Mateo, CA, 1988. Morgan Kaufmann.

\bibitem[\protect\citeauthoryear{Elkan}{1990}]{Elkan:frame}
Charles Elkan.
\newblock Incremental, approximate planning.
\newblock In {\em Proceedings of the Eighth National Conference on Artificial
  Intelligence}, pages 145--150, 1990.

\bibitem[\protect\citeauthoryear{Enderton}{1972}]{Enderton72}
H.~B. Enderton.
\newblock {\em A Mathematical Introduction to Logic}.
\newblock Academic Press, New York, 1972.

\bibitem[\protect\citeauthoryear{Escalada-Imaz and Ghallab}{1988}]{unify}
Gonzalo Escalada-Imaz and Malik Ghallab.
\newblock A practically efficient and almost linear unification algorithm.
\newblock {\em Artificial Intelligence}, 36:249--263, 1988.

\bibitem[\protect\citeauthoryear{Fagin \bgroup \em et al.\egroup
  }{1983}]{Fagin:update}
R.~Fagin, J.D. Ullman, and M.Y. Vardi.
\newblock On the semantics of updates in databases.
\newblock In {\em Proceedings Second {ACM} Symposium on Principles of Database
  Systems}, pages 352--365, Atlanta, Georgia, 1983.

\bibitem[\protect\citeauthoryear{Feigenbaum and
  Lenat}{1991}]{Feigenbaum:manifesto}
Edward~A. Feigenbaum and Douglas~B. Lenat.
\newblock On the thresholds of knowledge.
\newblock {\em Artificial Intelligence}, 47:139--159, 1991.

\bibitem[\protect\citeauthoryear{Feigenbaum and
  McCorduck}{1984}]{Feigenbaum:fifth}
Edward~A. Feigenbaum and Pamela McCorduck.
\newblock {\em The Fifth Generation: Artificial Intelligence and Japan's
  Computer Challenge to the World}.
\newblock New American Library, New York, 1984.

\bibitem[\protect\citeauthoryear{Fikes and Nilsson}{1971}]{Nilsson:strips}
R.E. Fikes and Nils~J. Nilsson.
\newblock {STRIPS}: {A} new approach to the application of theorem proving to
  problem solving.
\newblock {\em Artificial Intelligence}, 2:189--208, 1971.

\bibitem[\protect\citeauthoryear{Fikes \bgroup \em et al.\egroup
  }{1972}]{Fikes:Abstrips}
Richard Fikes, Peter~E. Hart, and Nils~J. Nilsson.
\newblock Learning and executing generalized robot plans.
\newblock {\em Artificial Intelligence}, 3:251--288, 1972.

\bibitem[\protect\citeauthoryear{Fikes \bgroup \em et al.\egroup
  }{1991}]{Fikes:electro}
Richard Fikes, Tom Gruber, Yumi Iwasaki, Alon Levy, and Pandu Nayak.
\newblock How things work project overview.
\newblock Technical Report 91-70, Knowledge Systems Laboratory, Stanford
  University, Stanford, CA, 1991.

\bibitem[\protect\citeauthoryear{Finger}{1987}]{Finger:thesis}
Jeffrey~J. Finger.
\newblock {\em Exploiting Constraints in Design Synthesis}.
\newblock PhD thesis, Stanford University, Stanford, CA, 1987.

\bibitem[\protect\citeauthoryear{Fischler and Firschein}{1987}]{Fischler}
Martin~A. Fischler and Oscar Firschein.
\newblock {\em Readings in Computer Vision}.
\newblock Morgan Kaufmann, San Mateo, CA, 1987.

\bibitem[\protect\citeauthoryear{Gardenf\"ors}{1988}]{Gardenfors:flux}
Peter Gardenf\"ors.
\newblock {\em Knowledge in Flux: {M}odeling the Dynamics of Epistemic States}.
\newblock MIT Press, 1988.

\bibitem[\protect\citeauthoryear{Gaschnig}{1979}]{Gaschnig:bj}
John Gaschnig.
\newblock Performance measurement and analysis of certain search algorithms.
\newblock Technical Report CMU-CS-79-124, Carnegie-Mellon University, 1979.

\bibitem[\protect\citeauthoryear{Geffner and Pearl}{1992}]{Geffner:inherit}
Hector Geffner and Judea Pearl.
\newblock Conditional entailment: {B}ridging two approaches to default
  reasoning.
\newblock {\em Artificial Intelligence}, 53:209--244, 1992.

\bibitem[\protect\citeauthoryear{Geffner}{1990}]{Geffner:thesis}
Hector Geffner.
\newblock {\em Default Reasoning, Minimality and Coherence}.
\newblock PhD thesis, UCLA, Los Angeles, CA, 1990.

\bibitem[\protect\citeauthoryear{Genesereth and
  Nilsson}{1987}]{Genesereth:logic}
Michael~R. Genesereth and Nils~J. Nilsson.
\newblock {\em Logical Foundations of Artificial Intelligence}.
\newblock Morgan Kaufmann, 1987.

\bibitem[\protect\citeauthoryear{Genesereth \bgroup \em et al.\egroup
  }{1986}]{Ginsberg:coop}
Michael~R. Genesereth, Matthew~L. Ginsberg, and Jeffrey~S. Rosenschein.
\newblock Cooperation without communication.
\newblock In {\em Proceedings of the Fifth National Conference on Artificial
  Intelligence}, pages 51--57, 1986.

\bibitem[\protect\citeauthoryear{Gentzen}{}]{Gentzen:sequent}
Gentzen.
\newblock Sequent calculus.

\bibitem[\protect\citeauthoryear{Ginsberg and
  Geddis}{1991}]{Ginsberg:metalevel}
Matthew~L. Ginsberg and Donald~F. Geddis.
\newblock Is there any need for domain-dependent control information?
\newblock In {\em Proceedings of the Ninth National Conference on Artificial
  Intelligence}, 1991.

\bibitem[\protect\citeauthoryear{Ginsberg and Harvey}{1990}]{Ginsberg:broaden}
Matthew~L. Ginsberg and Will~D. Harvey.
\newblock Iterative broadening.
\newblock In {\em Proceedings of the Eighth National Conference on Artificial
  Intelligence}, pages 216--220, 1990.

\bibitem[\protect\citeauthoryear{Ginsberg and Smith}{1988}]{Ginsberg:frame}
Matthew~L. Ginsberg and David~E. Smith.
\newblock Reasoning about action {I}: {A} possible worlds approach.
\newblock {\em Artificial Intelligence}, 35:165--195, 1988.

\bibitem[\protect\citeauthoryear{Ginsberg \bgroup \em et al.\egroup
  }{1990}]{Ginsberg:xw}
Matthew~L. Ginsberg, Michael Frank, Michael~P. Halpin, and Mark~C. Torrance.
\newblock Search lessons learned from crossword puzzles.
\newblock In {\em Proceedings of the Eighth National Conference on Artificial
  Intelligence}, pages 210--215, 1990.

\bibitem[\protect\citeauthoryear{Ginsberg}{1986}]{Ginsberg:cfact}
Matthew~L. Ginsberg.
\newblock Counterfactuals.
\newblock {\em Artificial Intelligence}, 30:35--79, 1986.

\bibitem[\protect\citeauthoryear{Ginsberg}{1987}]{Ginsberg:readings}
Matthew~L. Ginsberg.
\newblock {\em Readings in Nonmonotonic Reasoning}.
\newblock {M}organ {K}aufmann, San Mateo, CA, 1987.

\bibitem[\protect\citeauthoryear{Ginsberg}{1989}]{Ginsberg:badidea}
Matthew~L. Ginsberg.
\newblock Universal planning: {A}n (almost) universally bad idea.
\newblock {\em AI Magazine}, 10(4):40--44, 1989.

\bibitem[\protect\citeauthoryear{Ginsberg}{1991a}]{Ginsberg:compute}
Matthew~L. Ginsberg.
\newblock Computational considerations in reasoning about action.
\newblock In {\em Proceedings of the Second International Conference on
  Principles of Knowledge Representation and Reasoning}, Boston, MA, 1991.

\bibitem[\protect\citeauthoryear{Ginsberg}{1991b}]{Ginsberg:value}
Matthew~L. Ginsberg.
\newblock The computational value of nonmonotonic reasoning.
\newblock In {\em Proceedings of the Second International Conference on
  Principles of Knowledge Representation and Reasoning}, Boston, MA, 1991.

\bibitem[\protect\citeauthoryear{Ginsberg}{1992}]{Ginsberg:dynamic}
Matthew~L. Ginsberg.
\newblock Dynamic backtracking.
\newblock Technical report, Stanford University, 1992.

\bibitem[\protect\citeauthoryear{Godel}{1931}]{Godel:incomplete}
K.~Godel.
\newblock Uber {F}ormal {U}nentscheidbare {S}atze der {P}rincipia {M}athematica
  und {V}erwandter {S}ysteme {I}.
\newblock {\em Monatshefte fur Mathematik und Physik}, 38:173--198, 1931.

\bibitem[\protect\citeauthoryear{Green}{1969}]{Green:QA3}
C.~C. Green.
\newblock Theorem proving by resolution as a basis for question-answering
  systems.
\newblock In B.~Meltzer and D.~Mitchie, editors, {\em Machine Intelligence 4},
  pages 183--205. American Elsevier, New York, 1969.

\bibitem[\protect\citeauthoryear{Grosz and Sidner}{1986}]{Grosz:anaphora}
Barbara~J. Grosz and C.~Sidner.
\newblock Attention, intention, and the structure of discourse.
\newblock {\em Comp. Linguistics}, 12, 1986.

\bibitem[\protect\citeauthoryear{Grosz \bgroup \em et al.\egroup
  }{1986}]{Grosz}
Barbara~J. Grosz, Karen~Sparck Jones, and Bonnie~Lynn Webber.
\newblock {\em Readings in Natural Language Processing}.
\newblock Morgan Kaufmann, San Mateo, CA, 1986.

\bibitem[\protect\citeauthoryear{Guha and Lenat}{1990}]{Lenat:cyc}
Ramanathan~V. Guha and Douglas~B. Lenat.
\newblock {CYC}: {A} midterm report.
\newblock {\em AI Magazine}, 11(3):32--59, 1990.

\bibitem[\protect\citeauthoryear{Halpern and Moses}{1984}]{Halpern:common}
Joseph~Y. Halpern and Yoram Moses.
\newblock Knowledge and common knowledge in a distributed environment.
\newblock In {\em Proc. 3rd ACM Conf. on Principles of Distributed Computing},
  1984.

\bibitem[\protect\citeauthoryear{Hammond}{1990}]{Hammond:debug}
Kristian~J. Hammond.
\newblock Explaining and repairing plans that fail.
\newblock {\em Artificial Intelligence}, 45:173--228, 1990.

\bibitem[\protect\citeauthoryear{Hanks and McDermott}{1987}]{McDermott:qual}
Steve Hanks and Drew McDermott.
\newblock Nonmonotonic logics and temporal projection.
\newblock {\em Artificial Intelligence}, 33:379--412, 1987.

\bibitem[\protect\citeauthoryear{Harmon and King}{1985}]{King:expert}
Paul Harmon and David King.
\newblock {\em Expert Systems: Artificial Intelligence in Business}.
\newblock Wiley, New York, 1985.

\bibitem[\protect\citeauthoryear{Hart \bgroup \em et al.\egroup
  }{1968}]{Hart:astar}
P.~Hart, N.~Nilsson, and B.~Raphael.
\newblock A formal basis for the heuristic determination of minimum cost paths.
\newblock {\em IEEE Trans.~on SCC}, 4, 1968.

\bibitem[\protect\citeauthoryear{Haugeland}{1985}]{Haugeland}
John Haugeland.
\newblock {\em Artificial Intelligence: {T}he Very Idea}.
\newblock MIT Press, Cambridge, 1985.

\bibitem[\protect\citeauthoryear{Haussler}{1988}]{Haussler:bias}
David Haussler.
\newblock Quantifying inductive bias: {AI} learning algorithms and valiant's
  learning framework.
\newblock {\em Artificial Intelligence}, 36:177--221, 1988.

\bibitem[\protect\citeauthoryear{Hayes-Roth}{1984}]{Hayes-Roth:expert}
Frederick Hayes-Roth.
\newblock The knowledge based expert system: {A} tutorial.
\newblock {\em Computer}, 17(9):11--28, 1984.

\bibitem[\protect\citeauthoryear{Heckerman}{1986}]{Heckerman:mycin}
David Heckerman.
\newblock Probabilistic interpretations for {MYCIN}'s certainty factors.
\newblock In Laveen~N. Kanal and John~F. Lemmer, editors, {\em Uncertainty in
  Artificial Intelligence}. North-Holland, Amsterdam, 1986.

\bibitem[\protect\citeauthoryear{Hendrix \bgroup \em et al.\egroup
  }{1978}]{LIFER}
G.~G. Hendrix, E.~Sacerdoti, D.~Sagalowicz, and J.~Slocum.
\newblock Developing a nagtural language interface to complex data.
\newblock {\em ACM Trans. Database Systems}, 3:105--147, 1978.

\bibitem[\protect\citeauthoryear{Hobbs}{1986}]{Hobbs:quantify}
Jerry~R. Hobbs.
\newblock Resolving pronoun references.
\newblock In Barbara~J. Grosz, Karen~Sparck Jones, and Bonnie~Lynn Webber,
  editors, {\em Readings in Natural Language Processing}. Morgan Kaufmann, San
  Mateo, CA, 1986.

\bibitem[\protect\citeauthoryear{Hodges}{1983}]{Hodges}
Andrew Hodges.
\newblock {\em Alan Turing: {T}he Enigma}.
\newblock Simon and Schuster, New York, 1983.

\bibitem[\protect\citeauthoryear{Hofstadter}{1979}]{Hofstadter:GEB}
Douglas~R. Hofstadter.
\newblock {\em Godel, {E}scher, {B}ach: {A}n Eternal Golden Braid}.
\newblock Penguin, Harmondsworth, England, 1979.

\bibitem[\protect\citeauthoryear{Hopcroft and Ullman}{1979}]{Ullman:space}
J.E. Hopcroft and J.D. Ullman.
\newblock {\em Introduction to Automata Theory}.
\newblock Addison-Wesley, Reading, MA, 1979.

\bibitem[\protect\citeauthoryear{Horty and Thomason}{1988}]{Horty:monotonic}
John~F. Horty and Richmond~H. Thomason.
\newblock Mixing strict and defeasible inheritance.
\newblock In {\em Proceedings of the Seventh National Conference on Artificial
  Intelligence}, pages 427--432, 1988.

\bibitem[\protect\citeauthoryear{Horty \bgroup \em et al.\egroup
  }{1987}]{Horty:inherit}
John~F. Horty, Richmond~H. Thomason, and David~S. Touretzky.
\newblock A skeptical theory of inheritance in nonmonotonic semantic networks.
\newblock In {\em Proceedings of the Sixth National Conference on Artificial
  Intelligence}, pages 358--363, 1987.

\bibitem[\protect\citeauthoryear{Hough}{1962}]{Hough:transform}
P.V.C. Hough.
\newblock Method and means for recognizing complex patterns, 1962.
\newblock U.S. Patent 3069654.

\bibitem[\protect\citeauthoryear{Huet}{1975}]{unify2}
G.P. Huet.
\newblock A unification algorithm for typed lambda-calculus.
\newblock {\em Theor. Comput. Sci.}, 1:27--57, 1975.

\bibitem[\protect\citeauthoryear{Huffman}{1971}]{Huffman:waltz}
D.A. Huffman.
\newblock Impossible objects as nonsense sentences.
\newblock In B.~Meltzer and Donald Michie, editors, {\em Machine Intelligence
  6}. Edinburgh University Press, Edinburgh, 1971.

\bibitem[\protect\citeauthoryear{Hughes and Creswell}{1968}]{Hughes:modal}
George~E. Hughes and M.~J. Creswell.
\newblock {\em An Introduction to Modal Logic}.
\newblock Methuen, London, 1968.

\bibitem[\protect\citeauthoryear{Ikeuchi and Horn}{1981}]{Ikeuchi:shading}
K.~Ikeuchi and B.K.P. Horn.
\newblock Numerical shape from shading and occluding boundaries.
\newblock {\em Artificial Intelligence}, 17:141--184, 1981.

\bibitem[\protect\citeauthoryear{Kasturi and Jain}{1991a}]{Kasturi:advances}
Rangachar Kasturi and Ramesh~C. Jain, editors.
\newblock {\em Computer Vision: Advances and Applications}.
\newblock IEEE Computer Society Press, Los Alamitos, CA, 1991.

\bibitem[\protect\citeauthoryear{Kasturi and Jain}{1991b}]{Kasturi:principles}
Rangachar Kasturi and Ramesh~C. Jain, editors.
\newblock {\em Computer Vision: Principles}.
\newblock IEEE Computer Society Press, Los Alamitos, CA, 1991.

\bibitem[\protect\citeauthoryear{Kautz and Selman}{1991}]{Selman:complexity}
Henry~A. Kautz and Bart Selman.
\newblock Hard problems for simple default logics.
\newblock {\em Artificial Intelligence}, 49:243--279, 1991.

\bibitem[\protect\citeauthoryear{Kender}{1979}]{Kender:texture}
J.R. Kender.
\newblock Shape from texture: {A}n aggregation transform that maps a class of
  textures into surface orientation.
\newblock In {\em Proceedings of the Sixth International Joint Conference on
  Artificial Intelligence}, 1979.

\bibitem[\protect\citeauthoryear{Kirkpatrick \bgroup \em et al.\egroup
  }{1983}]{anneal}
S.~Kirkpatrick, Jr. C.D.~Gelatt, and M.P. Vecchi.
\newblock Optimization by simulated annealing.
\newblock {\em Science}, 220:4598, 1983.

\bibitem[\protect\citeauthoryear{Kirsh}{1991}]{AIJ47}
David Kirsh.
\newblock Special volume on foundations of artificial intelligence.
\newblock {\em Artificial Intelligence}, 47:1--346, 1991.

\bibitem[\protect\citeauthoryear{Knoblock}{1990}]{Knoblock:planner}
Craig~A. Knoblock.
\newblock Learning abstraction hierarchies for problem solving.
\newblock In {\em Proceedings of the Eighth National Conference on Artificial
  Intelligence}, pages 923--928, 1990.

\bibitem[\protect\citeauthoryear{Korf}{1985a}]{Korf:iterative}
Richard~E. Korf.
\newblock Depth-first iterative deepening: {A}n optimal admissible tree search.
\newblock {\em Artificial Intelligence}, 27:97--109, 1985.

\bibitem[\protect\citeauthoryear{Korf}{1985b}]{Korf:macro}
Richard~E. Korf.
\newblock Macro-operators: {A} weak method for learning.
\newblock {\em Artificial Intelligence}, 26:35--77, 1985.

\bibitem[\protect\citeauthoryear{Kowalski and Kuehner}{1971}]{Kowalski:SL}
R.~Kowalski and D.~Kuehner.
\newblock Linear resolution with selection function.
\newblock {\em Artificial Intelligence}, 2:227--260, 1971.

\bibitem[\protect\citeauthoryear{Kraus and Lehmann}{1988}]{Kraus:diplomacy}
Sarit Kraus and Daniel Lehmann.
\newblock Automated negotiator.
\newblock Manuscript, 1988.

\bibitem[\protect\citeauthoryear{Kripke}{1971}]{Kripke:pw}
Saul~A. Kripke.
\newblock Semantical considerations on modal logic.
\newblock In L.~Linsky, editor, {\em Reference and Modality}, pages 63--72.
  Oxford University Press, London, 1971.

\bibitem[\protect\citeauthoryear{Kuhn}{1962}]{Kuhn:revolution}
T.~S. Kuhn.
\newblock {\em The Structure of Scientific Revolutions}.
\newblock University of Chicago Press, Chicago, 1962.

\bibitem[\protect\citeauthoryear{Laird \bgroup \em et al.\egroup
  }{1987}]{Laird:SOAR}
John~E. Laird, Allen Newell, and Paul~S. Rosenbloom.
\newblock {SOAR}: {A}n architecture for general intelligence.
\newblock {\em Artificial Intelligence}, 33:1--64, 1987.

\bibitem[\protect\citeauthoryear{Lea}{1980}]{Hearsay}
Wayne~A. Lea.
\newblock {\em Trends in Speech Recognition}.
\newblock Prentice-Hall, Englewood Cliffs, NJ, 1980.

\bibitem[\protect\citeauthoryear{LeCun}{1985}]{LeCun:backprop}
Y.~LeCun.
\newblock Une procedure d'apprentissage pour reseau a seauil asymetrique.
\newblock In {\em Proceedings of Cognitiva 85}, pages 599--604, 1985.

\bibitem[\protect\citeauthoryear{Lee and Mahajan}{1990}]{Bill}
Kai-Fu Lee and Sanjoy Mahajan.
\newblock The development of a world class othello program.
\newblock {\em Artificial Intelligence}, 43:21--36, 1990.

\bibitem[\protect\citeauthoryear{Lenat and Brown}{1984}]{Lenat:success}
Douglas~B. Lenat and John~Seely Brown.
\newblock Why {AM} and {EURISKO} appear to work.
\newblock {\em Artificial Intelligence}, 23:269--294, 1984.

\bibitem[\protect\citeauthoryear{Lenat}{1982a}]{Lenat:AM}
Douglas~B. Lenat.
\newblock {AM}: Discovery in mathematics as heuristic search.
\newblock In Randall Davis and Douglas~B. Lenat, editors, {\em Knowledge-Based
  Systems in Artificial Intelligence}. McGraw-Hill International Book Company,
  San Francisco, 1982.

\bibitem[\protect\citeauthoryear{Lenat}{1982b}]{Lenat:H1}
Douglas~B. Lenat.
\newblock The nature of heuristics.
\newblock {\em Artificial Intelligence}, 19:189--249, 1982.

\bibitem[\protect\citeauthoryear{Lenat}{1983a}]{Lenat:H3}
Douglas~B. Lenat.
\newblock {EURISKO}: {A} program that learns new heuristics and domain
  concepts. {T}he nature of heuristics {III}: {P}rogram design and results.
\newblock {\em Artificial Intelligence}, 21:61--98, 1983.

\bibitem[\protect\citeauthoryear{Lenat}{1983b}]{Lenat:H2}
Douglas~B. Lenat.
\newblock Theory formation by heuristic search. {T}he nature of heuristics
  {II}: Background and examples.
\newblock {\em Artificial Intelligence}, 21:31--59, 1983.

\bibitem[\protect\citeauthoryear{Levesque}{1986}]{Levesque:vivid}
Hector~J. Levesque.
\newblock Making believers out of computers.
\newblock {\em Artificial Intelligence}, 30:81--108, 1986.

\bibitem[\protect\citeauthoryear{Levy and Newborn}{1987}]{Levy:chess}
David Levy and Monty Newborn.
\newblock {\em How Computers Play Chess}.
\newblock Computer Science Press, New York, 1987.

\bibitem[\protect\citeauthoryear{Loveland}{1978}]{Loveland}
D.W. Loveland.
\newblock {\em Automated Theorem Proving: A Logical Basis}.
\newblock North-Holland, New York, 1978.

\bibitem[\protect\citeauthoryear{Luce and Raiffa}{1957}]{games}
R.~Duncan Luce and Howard Raiffa.
\newblock {\em Games and Decisions: Introduction and Critical Survey}.
\newblock Wiley, New York, 1957.

\bibitem[\protect\citeauthoryear{MacGregor}{1990}]{Macgregor:loom}
Robert MacGregor.
\newblock Loom user's manual.
\newblock Technical Report ISI/WP-22, USC/Information Sciences Institute, Los
  Angeles, CA, 1990.

\bibitem[\protect\citeauthoryear{Makinson and
  Schlechta}{1991}]{Schlechta:paths}
David Makinson and Karl Schlechta.
\newblock Floating conclusions and zombie paths: {T}wo deep difficulties in the
  ``directly skeptical'' approach to defeasible inheritance nets.
\newblock {\em Artificial Intelligence}, 48:199--209, 1991.

\bibitem[\protect\citeauthoryear{Manna and Waldinger}{}]{Manna:tablog}
Zohar Manna and Richard Waldinger.
\newblock {TABLOG}.

\bibitem[\protect\citeauthoryear{Marr and Hildreth}{1980}]{Marr:edge}
David Marr and E.~Hildreth.
\newblock Theory of edge detection.
\newblock {\em J. Roy. Soc. B}, 270:187--217, 1980.

\bibitem[\protect\citeauthoryear{Martelli and Montanari}{1982}]{unify1}
A.~Martelli and U.~Montanari.
\newblock An efficient unification algorithm.
\newblock {\em ACM Trans. Program Lang. Syst.}, 4:258--282, 1982.

\bibitem[\protect\citeauthoryear{Martins and Shapiro}{1983}]{Martins:multiple}
Joao~P. Martins and Stuart~C. Shapiro.
\newblock Reasoning in multiple belief spaces.
\newblock In {\em Proceedings of the Eigth International Joint Conference on
  Artificial Intelligence}, pages 370--373, 1983.

\bibitem[\protect\citeauthoryear{McAllester}{1982}]{McAllester:RUP}
David~A. McAllester.
\newblock Reasoning utility package user's manual.
\newblock Technical Report AIM-667, MIT, 1982.

\bibitem[\protect\citeauthoryear{McCarthy and Hayes}{1969}]{McCarthy69}
John McCarthy and Patrick~J. Hayes.
\newblock Some philosophical problems from the standpoint of artificial
  intelligence.
\newblock In B.~Meltzer and D.~Mitchie, editors, {\em Machine Intelligence 4},
  pages 463--502. American Elsevier, New York, 1969.

\bibitem[\protect\citeauthoryear{McCarthy}{1977}]{McCarthy77}
John McCarthy.
\newblock Epistemological problems of artificial intelligence.
\newblock In {\em Proceedings of the Fifth International Joint Conference on
  Artificial Intelligence}, pages 1038--1044, Cambridge, MA, 1977.

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

\bibitem[\protect\citeauthoryear{McCorduck}{1979}]{McCorduck:think}
Pamela McCorduck.
\newblock {\em Machines who Think}.
\newblock W.H. Freeman and Company, New York, 1979.

\bibitem[\protect\citeauthoryear{McDonald}{1992}]{McDonald:generate}
D.~D. McDonald.
\newblock Natural language generation.
\newblock In Stuart~C. Shapiro, editor, {\em Encyclopedia of Artificial
  Intelligence}, pages 983--997. Wiley, New York, 1992.

\bibitem[\protect\citeauthoryear{Michalski and
  Kodratoff}{1988}]{Michalski:learn3}
Ryszard Michalski and Yves Kodratoff, editors.
\newblock {\em Machine Learning: An Artificial Intelligence Approach},
  volume~3.
\newblock Morgan Kaufmann, Los Altos, CA, 1988.

\bibitem[\protect\citeauthoryear{Michalski \bgroup \em et al.\egroup
  }{1983}]{Michalski:learn}
Ryszard~S. Michalski, Jaime~G. Carbonell, and Thomas~M. Mitchell, editors.
\newblock {\em Machine Learning: An Artificial Intelligence Approach}.
\newblock Tioga Publishing Company, Palo Alto, CA, 1983.

\bibitem[\protect\citeauthoryear{Michalski \bgroup \em et al.\egroup
  }{1986}]{Michalski:learn2}
Ryszard~S. Michalski, Jaime~G. Carbonell, and Thomas~M. Mitchell, editors.
\newblock {\em Machine Learning: An Artificial Intelligence Approach},
  volume~2.
\newblock Morgan Kaufmann, Los Altos, CA, 1986.

\bibitem[\protect\citeauthoryear{Minsky and Papert}{1969}]{Minsky:perceptrons}
Marvin Minsky and Seymour Papert.
\newblock {\em Perceptrons}.
\newblock MIT Press, Cambridge, 1969.

\bibitem[\protect\citeauthoryear{Minsky}{1975}]{Minsky:frames}
Marvin Minsky.
\newblock A framework for representing knowledge.
\newblock In Patrick Winston, editor, {\em The Psychology of Computer Vision},
  pages 211--277. McGraw-Hill, 1975.

\bibitem[\protect\citeauthoryear{Minton \bgroup \em et al.\egroup
  }{1989}]{Minton:EBL}
Steve Minton, Jaime~G. Carbonell, Craig~A. Knoblock, Daniel~R. Kuokka, Oren
  Etzioni, and Yolanda Gil.
\newblock Explanation-based learning: {A} problem solving perspective.
\newblock {\em Artificial Intelligence}, 40:63--118, 1989.

\bibitem[\protect\citeauthoryear{Minton \bgroup \em et al.\egroup
  }{1990}]{Minton:csp}
Steven Minton, Mark~D. Johnston, Andrew~B. Philips, and Philip Laird.
\newblock Solving large-scale constraint satisfaction and scheduling problems
  using a heuristic repair method.
\newblock In {\em Proceedings of the Eighth National Conference on Artificial
  Intelligence}, pages 17--24, 1990.

\bibitem[\protect\citeauthoryear{Minton \bgroup \em et al.\egroup
  }{1991}]{Minton:nonlin}
Steven Minton, John Bresina, and Mark Drummond.
\newblock Commitment strategies in planning: A comparative analysis.
\newblock In {\em Proceedings of the Ninth National Conference on Artificial
  Intelligence}, 1991.

\bibitem[\protect\citeauthoryear{Minton}{1988}]{Minton:prodigy}
Steven Minton.
\newblock {\em Learning Search Control Knowledge: An Explanation-Based
  Approach}.
\newblock Kluwer, Boston, 1988.

\bibitem[\protect\citeauthoryear{Minton}{1990}]{Minton:operational}
Steven Minton.
\newblock Quantitative results concerning the utility of explanation-based
  learning.
\newblock {\em Artificial Intelligence}, 42:363--391, 1990.

\bibitem[\protect\citeauthoryear{Mitchell}{1977}]{Mitchell:thesis}
Thomas~M. Mitchell.
\newblock {\em Version Spaces: An Approach to Concept Learning}.
\newblock PhD thesis, Stanford University, Stanford, CA, 1977.

\bibitem[\protect\citeauthoryear{Mitchell}{1982}]{Mitchell:version}
Thomas~M. Mitchell.
\newblock Generalization as search.
\newblock {\em Artificial Intelligence}, 18:203--226, 1982.

\bibitem[\protect\citeauthoryear{Moore}{1985}]{Moore:ae}
Robert Moore.
\newblock Semantical considerations on nonmonotonic logic.
\newblock {\em Artificial Intelligence}, 25:75--94, 1985.

\bibitem[\protect\citeauthoryear{Myers and Smith}{1988}]{Myers:persist}
Karen~L. Myers and David~E. Smith.
\newblock On the persistence of derived beliefs.
\newblock In {\em Proceedings of the Seventh National Conference on Artificial
  Intelligence}, 1988.

\bibitem[\protect\citeauthoryear{Newell and Simon}{1976}]{Newell:pssh}
Alan Newell and Herbert~A. Simon.
\newblock Computer science as empirical inquiry: {S}ymbols and search.
\newblock {\em Communications {ACM}}, 19, 1976.

\bibitem[\protect\citeauthoryear{Nilsson}{1986}]{Nilsson:prob}
Nils~J. Nilsson.
\newblock Probabilistic logic.
\newblock {\em Artificial Intelligence}, 28:71--87, 1986.

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

\bibitem[\protect\citeauthoryear{Patel-Schneider}{1989}]{pfps:complexity}
Peter~F. Patel-Schneider.
\newblock Undecidability of subsumption in {NIKL}.
\newblock {\em Artificial Intelligence}, 39:263--272, 1989.

\bibitem[\protect\citeauthoryear{Paterson and Wegman}{1978}]{unify3}
M.S. Paterson and M.N. Wegman.
\newblock Linear unification.
\newblock {\em J. Comput. Syst. Sci.}, 16:158--167, 1978.

\bibitem[\protect\citeauthoryear{Pattabhiraman and Cercone}{1991}]{CI:NLG}
T.~Pattabhiraman and Nick Cercone.
\newblock Special issue on natural language generation.
\newblock {\em Computational Intelligence}, 7, 1991.

\bibitem[\protect\citeauthoryear{Pearl}{1982}]{Pearl:ab}
Judea Pearl.
\newblock A solution for the branching factor of the alpha-beta pruning
  algorithm and its optimality.
\newblock {\em Comm. ACM}, 25(8):559--564, 1982.

\bibitem[\protect\citeauthoryear{Pearl}{1984}]{Pearl:search}
Judea Pearl.
\newblock {\em Heuristics: {I}ntelligent Search Strategies for Computer Problem
  Solving}.
\newblock Addison-Wesley, Reading, MA, 1984.

\bibitem[\protect\citeauthoryear{Pearl}{1988}]{Pearl:prob}
Judea Pearl.
\newblock {\em Probabilistic Reasoning in Intelligent Systems: {N}etworks of
  Plausible Inference}.
\newblock Morgan Kaufmann, San Mateo, CA, 1988.

\bibitem[\protect\citeauthoryear{Pentland}{1988}]{Pentland:shading}
Alex Pentland.
\newblock Shape from shading: {A} theory of human perception.
\newblock In {\em Proc. 2nd Intl. Conf. on Computer Vision}, Tampa, FL, 1988.

\bibitem[\protect\citeauthoryear{Phipps \bgroup \em et al.\egroup
  }{1991}]{NAIL}
Geoff Phipps, Marcia~A. Derr, and K.A. Ross.
\newblock Glue-{N}ail: {A} deductive database system.
\newblock {\em SIGMOD Bulletin}, pages 308--317, 1991.

\bibitem[\protect\citeauthoryear{Polya}{1945}]{Polya:solve}
George Polya.
\newblock {\em How to Solve It: A New Aspect of Mathematical Method}.
\newblock Princeton University Press, Princeton, 1945.

\bibitem[\protect\citeauthoryear{Poole \bgroup \em et al.\egroup
  }{1985}]{Poole:diagnosis}
D.~Poole, R.~Aleliunas, and R.~Goebel.
\newblock {THEORIST}: {A} logical reasoning system for defaults and diagnosis.
\newblock Technical report, University of Waterloo, 1985.

\bibitem[\protect\citeauthoryear{Poole}{1989}]{Poole:compare}
David Poole.
\newblock Normality and faults in logic-based diagnosis.
\newblock In {\em Proceedings of the Eleventh International Joint Conference on
  Artificial Intelligence}, pages 1304--1310, 1989.

\bibitem[\protect\citeauthoryear{Popl}{1973}]{Popl:abduction}
H.~E. Popl.
\newblock On the mechanization of abductive logic.
\newblock In {\em Proceedings of the Third International Joint Conference on
  Artificial Intelligence}, pages 147--152, 1973.

\bibitem[\protect\citeauthoryear{Pullum}{1991}]{Pullum:hoax}
Geoffrey~K. Pullum.
\newblock {\em The Great Eskimo Vocabulary Hoax, and Other Irreverent Essays on
  the Study of Language}.
\newblock University of Chicago Press, Chicago, IL, 1991.

\bibitem[\protect\citeauthoryear{Quinlan}{1986a}]{Quinlan:noise}
J.~Ross Quinlan.
\newblock The effect of noise on concept learning.
\newblock In Ryszard~S. Michalski, Jaime~G. Carbonell, and Thomas~M. Mitchell,
  editors, {\em Machine Learning: An Artificial Intelligence Approach}. Morgan
  Kaufmann, Los Altos, CA, 1986.

\bibitem[\protect\citeauthoryear{Quinlan}{1986b}]{Quinlan:ID3}
J.~Ross Quinlan.
\newblock Induction of decision trees.
\newblock {\em Machine Learning}, 1:81--106, 1986.

\bibitem[\protect\citeauthoryear{Quinlan}{1987}]{Quinlan:small}
J.~Ross Quinlan.
\newblock Simplifying decision trees.
\newblock {\em Intl. J. Man-Machine Studies}, 27:221--234, 1987.

\bibitem[\protect\citeauthoryear{Quirk \bgroup \em et al.\egroup
  }{1985}]{Quirk:english}
Randolph Quirk, S.~Greenbaum, G.~Leech, and J.~Svartik.
\newblock {\em A Comprehensive Grammar of the English Language}.
\newblock Longman, London, 1985.

\bibitem[\protect\citeauthoryear{Reichenbach}{1949}]{Reichenbach:prob}
Hans Reichenbach.
\newblock {\em The Theory of Probability, an Inquiry into the Mathematical
  Foundations of the Calculus of Probability}.
\newblock University of California, Berkeley, 1949.

\bibitem[\protect\citeauthoryear{Reiter and Criscuolo}{1981}]{Reiter:interact}
Raymond Reiter and Giovanni Criscuolo.
\newblock On interacting defaults.
\newblock In {\em Proceedings of the Seventh International Joint Conference on
  Artificial Intelligence}, pages 270--276, 1981.

\bibitem[\protect\citeauthoryear{Reiter and {de
  Kleer}}{1987}]{deKleer:formalatms}
Raymond Reiter and Johan {de Kleer}.
\newblock Foundations of assumption-based truth maintenance systems:
  {P}reliminary report.
\newblock In {\em Proceedings of the Sixth National Conference on Artificial
  Intelligence}, pages 183--188, 1987.

\bibitem[\protect\citeauthoryear{Reiter}{1980}]{Reiter80}
Ray Reiter.
\newblock A logic for default reasoning.
\newblock {\em Artificial Intelligence}, 13:81--132, 1980.

\bibitem[\protect\citeauthoryear{Reiter}{1987a}]{Reiter:nm}
Ray Reiter.
\newblock Nonmonotonic reasoning.
\newblock {\em Annual Reviews of Computer Science}, 2:147--187, 1987.

\bibitem[\protect\citeauthoryear{Reiter}{1987b}]{Reiter:diagnosis}
Ray Reiter.
\newblock A theory of diagnosis from first principles.
\newblock {\em Artificial Intelligence}, 32:57--95, 1987.

\bibitem[\protect\citeauthoryear{Reiter}{1991}]{Reiter:frame}
Raymond Reiter.
\newblock The frame problem in the situation calculus: {A} simple solution
  (sometimes) and a completeness result for goal regression.
\newblock In Vladimir Lifschitz, editor, {\em Artificial Intelligence and
  Mathematical Theory of Computation: Papers in Honor of John McCarthy}, pages
  359--380. Academic Press, Boston, 1991.

\bibitem[\protect\citeauthoryear{Rich and Knight}{1991}]{Rich:intro}
Elaine Rich and Kevin Knight.
\newblock {\em Artificial Intelligence}.
\newblock McGraw-Hill, New York, 1991.

\bibitem[\protect\citeauthoryear{Rich and Waters}{1986}]{Rich}
Charles Rich and Richard~C. Waters.
\newblock {\em Readings in Artificial Intelligence and Software Engineering}.
\newblock Morgan Kaufmann, San Mateo, CA, 1986.

\bibitem[\protect\citeauthoryear{Robinson}{1965}]{Robinson:resolution}
J.A. Robinson.
\newblock A machine-oriented logic based on the resolution principle.
\newblock {\em JACM}, 12:23--41, 1965.

\bibitem[\protect\citeauthoryear{Robinson}{1971}]{unify4}
J.A. Robinson.
\newblock Computational logic: {T}he unification computation.
\newblock In B.~Meltzer and D.~Michie, editors, {\em Machine Intelligence},
  volume~6. Edinburgh University Press, Edinburgh, 1971.

\bibitem[\protect\citeauthoryear{Robinson}{1979}]{Robinson:form}
J.A. Robinson.
\newblock {\em Logic: Form and Function}.
\newblock North-Holland, New York, 1979.

\bibitem[\protect\citeauthoryear{Rosenblatt}{1962}]{Rosenblatt:perceptron}
Frank Rosenblatt.
\newblock {\em Principles of Neurodynamics: {P}erceptrons and the Theory of
  Brain Mechanisms}.
\newblock Spartan Books, Washington, D.C., 1962.

\bibitem[\protect\citeauthoryear{Rosenschein and
  Genesereth}{1985}]{Rosenschein:deals}
Jeffrey~S. Rosenschein and Michael~R. Genesereth.
\newblock Deals among rational agents.
\newblock In {\em Proceedings of the Ninth International Joint Conference on
  Artificial Intelligence}, pages 91--99, 1985.

\bibitem[\protect\citeauthoryear{Rumelhart \bgroup \em et al.\egroup
  }{1986}]{Rumelhart:backprop}
David~E. Rumelhart, Geoffrey~E. Hinton, and R.J. Williams.
\newblock Learning internal representations by error propagation.
\newblock In David~E. Rumelhart and James~L. McClelland, editors, {\em Parallel
  Distributed Processing: {E}xplorations in the Microstructure of Cognition}.
  MIT Press, Cambridge, MA, 1986.

\bibitem[\protect\citeauthoryear{Russell and Wefald}{1989}]{Russell:bg}
Stuart Russell and Eric Wefald.
\newblock On optimal game-tree search using rational meta-reasoning.
\newblock In {\em Proceedings of the Eleventh International Joint Conference on
  Artificial Intelligence}, pages 334--340, 1989.

\bibitem[\protect\citeauthoryear{Sacerdoti}{1977}]{Sacerdoti:thesis}
Earl~D. Sacerdoti.
\newblock {\em A Structure for Plans and Behavior}.
\newblock American Elsevier, New York, 1977.

\bibitem[\protect\citeauthoryear{Sager}{1981}]{Sager:english}
Naomi Sager.
\newblock {\em Natural Language Information Processing: A Computer Grammar of
  English and its Applications}.
\newblock Addison-Wesley, Reading, MA, 1981.

\bibitem[\protect\citeauthoryear{Schank and Abelson}{1977}]{Schank:scripts}
Roger~C. Schank and Robert~P. Abelson.
\newblock {\em Scripts, Plans, Goals, and Understanding: An Inquiry into Human
  Knowledge Structures}.
\newblock Lawrence Erlbaum, Hillsdale, NJ, 1977.

\bibitem[\protect\citeauthoryear{Schubert}{1990}]{Schubert:frame}
Lenhart~K. Schubert.
\newblock Monotonic solution of the frame problem in the situation calculus.
\newblock In Henry~E. {Kyburg, Jr.}, Ronald~P. Loui, and Greg~N. Carlson,
  editors, {\em Knowledge Representation and Defeasible Reasoning}, pages
  23--67. Kluwer, Boston, 1990.

\bibitem[\protect\citeauthoryear{Scott \bgroup \em et al.\egroup
  }{1991}]{Clayton:acquire}
A.~Carlisle Scott, Jan~E. Clayton, and Elizabeth~L. Gibson.
\newblock {\em A Practical Guide to Knowledge Acquisition}.
\newblock Addison-Wesley, Reading, MA, 1991.

\bibitem[\protect\citeauthoryear{Searle}{1980}]{Searle:room}
John~R. Searle.
\newblock Minds, brains, and programs.
\newblock {\em Behavioral and Brain Sciences}, 3:417--424, 1980.

\bibitem[\protect\citeauthoryear{Shafer}{1976}]{Shafer}
Glenn Shafer.
\newblock {\em A Mathematical Theory of Evidence}.
\newblock Princeton University Press, Princeton, NJ, 1976.

\bibitem[\protect\citeauthoryear{Shortliffe}{1976}]{Shortliffe:MYCIN}
Edward~H. Shortliffe.
\newblock {\em Computer-based Medical Consultations: {MYCIN}}.
\newblock American Elsevier, New York, 1976.

\bibitem[\protect\citeauthoryear{Shrobe}{1988}]{Schrobe:intro}
Howard~E. Shrobe.
\newblock {\em Exploring Artificial Intelligence: {S}urvey Talks from the
  National Conferences on Artificial Intelligence}.
\newblock Morgan Kaufmann, San Mateo, CA, 1988.

\bibitem[\protect\citeauthoryear{Slate and Atkin}{1977}]{Slate:4.5}
D.J. Slate and L.R. Atkin.
\newblock {\em Chess 4.5 -- {T}he {N}orthwestern {U}niversity Chess Program}.
\newblock Springer-Verlag, New York, 1977.

\bibitem[\protect\citeauthoryear{Slobin}{1966}]{Slobin:experiment}
Dan~I. Slobin.
\newblock Grammatical transformations and sentence comprehension in childhood
  and adulthood.
\newblock {\em J. Verbal Learning and Verbal Behavior}, 5:219--227, 1966.

\bibitem[\protect\citeauthoryear{Slobin}{1979}]{Slobin:psycho}
Dan~I. Slobin.
\newblock {\em Psycholinguistics}.
\newblock Scott, Foresman and Company, Glenview, IL, 1979.

\bibitem[\protect\citeauthoryear{Smith and Genesereth}{1985}]{DE2:conj}
David~E. Smith and Michael~R. Genesereth.
\newblock Ordering conjunctive queries.
\newblock {\em Artificial Intelligence}, 26(2):171--215, 1985.

\bibitem[\protect\citeauthoryear{Smith \bgroup \em et al.\egroup
  }{1986}]{DE2:loop}
David~E. Smith, Michael~R. Genesereth, and Matthew~L. Ginsberg.
\newblock Controlling recursive inference.
\newblock {\em Artificial Intelligence}, 30:343--389, 1986.

\bibitem[\protect\citeauthoryear{Smith}{1985}]{DE2:thesis}
David~E. Smith.
\newblock {\em Controlling Inference}.
\newblock PhD thesis, Stanford University, August 1985.

\bibitem[\protect\citeauthoryear{Smith}{1989}]{DE2:control}
David~E. Smith.
\newblock Controlling backward inference.
\newblock {\em Artificial Intelligence}, 39:145--208, 1989.

\bibitem[\protect\citeauthoryear{Stallman and Sussman}{1977a}]{Stallman77}
R.~M. Stallman and G.~J. Sussman.
\newblock Forward reasoning and dependency-directed backtracking in a system
  for computer-aided circuit analysis.
\newblock {\em Artificial Intelligence}, 9(2):135--196, 1977.

\bibitem[\protect\citeauthoryear{Stallman and Sussman}{1977b}]{Sussman:ddb}
Richard~M. Stallman and Gerald~J. Sussman.
\newblock Forward reasoning and dependency-directed backtracking in a system
  for computer-aided circuit analysis.
\newblock {\em Artificial Intelligence}, 9:135--196, 1977.

\bibitem[\protect\citeauthoryear{{Steele, Jr.}}{1990}]{Steele:CL2}
Guy~L. {Steele, Jr.}
\newblock {\em Common Lisp: The Language (2nd edition)}.
\newblock Digital Press, Billerica, MA, 1990.

\bibitem[\protect\citeauthoryear{Steen}{1978}]{Steen:color}
Lynn~Arthur Steen, editor.
\newblock {\em Mathematics Today: Twelve Informal Essays}.
\newblock Springer-Verlag, New York, 1978.

\bibitem[\protect\citeauthoryear{Stefik}{1992}]{Stefik:expert}
Mark Stefik.
\newblock {\em Introduction to Knowledge Systems}.
\newblock Morgan Kaufmann, San Mateo, 1992.

\bibitem[\protect\citeauthoryear{Stickel and Tyson}{1985}]{Stickel:id}
Mark~E. Stickel and W.~Mabry Tyson.
\newblock An analysis of consecutively bounded depth-first search with
  applications in automated deduction.
\newblock In {\em Proceedings of the Ninth International Joint Conference on
  Artificial Intelligence}, pages 1073--1075, 1985.

\bibitem[\protect\citeauthoryear{Sussman}{1973}]{Sussman:anomaly}
Gerald~Jay Sussman.
\newblock A computational model of skill acquisition.
\newblock Technical Report 297, Massachusetts Institute of Technology, 1973.

\bibitem[\protect\citeauthoryear{Treitel and
  Genesereth}{1987}]{Treitel:direction}
Richard Treitel and Michael~R. Genesereth.
\newblock Coosing directions for rules.
\newblock {\em Journal of Automated Reasoning}, 1987.

\bibitem[\protect\citeauthoryear{Turing}{1950}]{Turing}
Alan Turing.
\newblock Computing machinery and intelligence.
\newblock {\em Mind}, 59:434--460, 1950.

\bibitem[\protect\citeauthoryear{Ullman}{1989}]{Ullman:NAIL}
Jeffrey~D. Ullman.
\newblock {\em Principles of Database and Knolwedge-Base Systems, Volume II:
  The New Technologies}.
\newblock Computer Science Press, Rockville, MD, 1989.

\bibitem[\protect\citeauthoryear{Utgoff}{1989}]{Utgoff:ID5}
Paul~E. Utgoff.
\newblock Incremental induction of decision trees.
\newblock {\em Machine Learning}, 1989.

\bibitem[\protect\citeauthoryear{Valiant}{1984}]{Valiant:PAC}
Leslie~G. Valiant.
\newblock A theory of the learnable.
\newblock {\em Comm. ACM}, 27:1134--1142, 1984.

\bibitem[\protect\citeauthoryear{Waltz}{1975}]{Waltz}
David Waltz.
\newblock Understanding line drawings of scenes with shadows.
\newblock In Patrick~H. Winston, editor, {\em The Psychology of Computer
  Vision}, pages 19--91. McGraw-Hill, New York, 1975.

\bibitem[\protect\citeauthoryear{Webber and Nilsson}{1981}]{Webber}
Bonnie~Lynn Webber and Nils~J. Nilsson.
\newblock {\em Readings in Artificial Intelligence}.
\newblock Morgan Kaufmann, San Mateo, CA, 1981.

\bibitem[\protect\citeauthoryear{Webber}{1987}]{Webber:question}
Bonnie~L. Webber.
\newblock Question answering.
\newblock In Stuart~C. Shapiro, editor, {\em Encyclopedia of Artificial
  Intelligence}. Wiley, New York, 1987.

\bibitem[\protect\citeauthoryear{Weizenbaum}{1966}]{Weizenbaum:eliza}
J.~Weizenbaum.
\newblock {ELIZA}.
\newblock {\em Comm. ACM}, 9:36--45, 1966.

\bibitem[\protect\citeauthoryear{Werbos}{1974}]{Werbos:thesis}
P.J. Werbos.
\newblock {\em Beyond Regression: New Tools for Prediction and Analysis in the
  Behavioral Sciences}.
\newblock PhD thesis, Harvard University, Cambridge, MA, 1974.

\bibitem[\protect\citeauthoryear{Wilkins}{1980}]{Wilkins:paradise}
David~E. Wilkins.
\newblock Using patterns and plans in chess.
\newblock {\em Artificial Intelligence}, 14:165--203, 1980.

\bibitem[\protect\citeauthoryear{Wilkins}{1988}]{Wilkins:SIPE}
David~E. Wilkins.
\newblock {\em Practical Planning: {E}xtending the Classical {A}{I} Planning
  Paradigm}.
\newblock {M}organ {K}aufmann, San Mateo, CA, 1988.

\bibitem[\protect\citeauthoryear{Winograd}{1972}]{Winograd:thesis}
Terry Winograd.
\newblock {\em Understanding Natural Language}.
\newblock Academic Press, New York, 1972.

\bibitem[\protect\citeauthoryear{Winograd}{1983}]{Winograd:syntax}
Terry Winograd.
\newblock {\em Language as a Cognitive Process. Volume 1: Syntax}.
\newblock Addison-Wesley, Reading, MA, 1983.

\bibitem[\protect\citeauthoryear{Winslett}{1988}]{Winslett:models}
Marianne Winslett.
\newblock Reasoning about actions using a possible models approach.
\newblock In {\em Proceedings of the Seventh National Conference on Artificial
  Intelligence}, 1988.

\bibitem[\protect\citeauthoryear{Winston}{1984}]{Winston:intro}
Patrick~Henry Winston.
\newblock {\em Artificial Intelligence}.
\newblock Addison-Wesley, Reading, MA, 1984.

\bibitem[\protect\citeauthoryear{Woods}{1977}]{LUNAR}
William~A. Woods.
\newblock Lunar rocks in natural {E}nglish: {E}xplorations in natural language
  question answering.
\newblock In Antonio Zampolli, editor, {\em Linguistic Structures Processing}.
  Elsevier North-Holland, Amsterdam, 1977.

\bibitem[\protect\citeauthoryear{Woods}{1990a}]{Woods:frames2}
William~A. Woods.
\newblock The {KL-ONE} family.
\newblock Technical Report TR-20-90, Harvard University Center for Research in
  Computing Technology, Cambridge, MA, 1990.

\bibitem[\protect\citeauthoryear{Woods}{1990b}]{Woods:frames1}
William~A. Woods.
\newblock Understanding subsumption and taxonomy: {A} framework for progress.
\newblock Technical Report TR-19-90, Harvard University Center for Research in
  Computing Technology, Cambridge, MA, 1990.

\bibitem[\protect\citeauthoryear{Wos}{1984}]{Wos}
Larry Wos.
\newblock {\em Automated Reasoning: Introduction and Applications}.
\newblock Prentice-Hall, 1984.

\bibitem[\protect\citeauthoryear{Yarbus}{1967}]{Yarbus}
Alfred~L. Yarbus.
\newblock {\em Eye Movements and Vision}.
\newblock Plenum, New York, 1967.

\bibitem[\protect\citeauthoryear{Yu \bgroup \em et al.\egroup
  }{1979}]{MYCIN:perform}
V.L. Yu, B.G. Buchanan, E.H. Shortliffe, S.M. Wraith, R.~Davis, A.C. Scott, and
  S.N. Cohen.
\newblock Evaluating the performance of a computer-based consultant.
\newblock {\em Computer Programs in Biomedicine}, 9:95--102, 1979.

\bibitem[\protect\citeauthoryear{Zadeh}{1975}]{Zadeh:fuzzy}
Lotfi~A. Zadeh.
\newblock Fuzzy logic and approximate reasoning.
\newblock {\em Synthese}, 30:407--428, 1975.

\bibitem[\protect\citeauthoryear{Zadeh}{1984}]{Zadeh:DS}
Lotfi~A. Zadeh.
\newblock A review of {{\it A Mathematical Theory of Evidence}}.
\newblock {\em AI Magazine}, 5(3):81--83, 1984.

\end{thebibliography}
