Stephen A. Cook and David G. Mitchell, ``Finding Hard Instances of the Satsifiability Problem: A Survey.'' In Du, D., Gu, J., and Pardalos, P. (Eds.), Satisfiability Problem: Theory and Applications. DIMACS Series in Discrete Mathamatics and Theoretical Computer Science, Volume 35. Providence, R.I.: American Mathematical Society, 1997.
Russell and Norvig Ch.7.1-7.3
Robinson, J. A. ``A machine-oriented logic based on the resolution principle.'' JACM 12(1), 23-41, 1965.
Stickel, M.E. ``A Prolog technology theorem prover: a new exposition and implementation in Prolog.'' Theoretical Computer Science, 104, 109-128, 1992.
Thielscher, M., ``Towards State Update Axioms: Reifying Successor State Axioms.'' In JELIA-98.
Hayes, P., ``Naive Physics I: An Ontology for Liquids.'' In Hobbs, J. and Moore, R., Formal Theories of the Commonsense World. Ablex, 1985.
Russell and Norvig, Ch.11, Ch.12.4, Ch.13
D. Weld, ``Recent Advances in AI Planning.'' To appear in AI Magazine, 1999.
O. Etzioni, D. Weld, ``A Softbot-Based Interface to the Internet.'' Communications of the ACM, pages 72-76, July 1994.
C. Kwok, D. Weld, ``Planning to Gather Information.'' In AAAI-96.
K. Golden, D. Weld, ``Representing Sensing Actions: The Middle Ground Revisited.'' In KR-96.
B. Doorenbos, O. Etzioni, and D. Weld, ``A Scalable Comparison-Shopping Agent for the World-Wide Web.'' In AGENTS-97.
D. Weld, C. Anderson and D. Smith, ``Extending Graphplan to Handle Uncertainty and Sensing Actions.'' In AAAI-98.
Alon Y. Levy, Anand Rajaraman, and Joann J. Ordille, ``Query answering algorithms for information agents.'' In AAAI-96.
Oliver M. Duschka and Alon Y. Levy, ``Recursive Plans for Information Gathering.'' In IJCAI-97.
Williams, B. and Nayak, P., ``A Model-based Approach to Reactive Self-Configuring Systems.'' In AAAI-96.
Nayak, P. and Williams, B., ``Fast Context Switching in Real-time Propositional Reasoning.'' In AAAI-97.
Williams, B., and Nayak, P., ``A Reactive Planner for a Model-based Executive.'' In IJCAI-97.
Russell and Norvig Ch.14 (review), Ch.15.1-15.2
Zhang, N.L. and Poole, D., ``Exploiting Causal Independence in Bayesian Network Inference.'' JAIR, 5, 301-328, 1996.
Russell and Norvig, Ch.17.4-17.5 (and additional material)
G. Zweig and S. Russell, ``Speech Recognition with Dynamic Bayesian Networks.'' In AAAI-98.
Halpern, J. ``An analysis of first-order logics of probability.'' Artificial Intelligence, 46(3), 311-50, 1990.
D. Koller and A. Pfeffer., ``Probabilistic frame-based systems.'' In AAAI-98.
Craig Boutilier, Richard Dearden, and Moises Goldszmidt, ``Exploiting structure in policy construction.'' In IJCAI-95.
Anthony R. Cassandra, Leslie Pack Kaelbling, and Michael L. Littman, ``Acting Optimally in Partially Observable Stochastic Domains,'' In AAAI-94.
E. A. Hansen., ``Solving POMDPs by Searching in Policy Space.'' In UAI-98.
Leslie Pack Kaelbling, Michael L. Littman, and Andrew W. Moore, ``Reinforcement Learning: A Survey,'' JAIR, 4, 1996.
Ron Parr and Stuart Russell, ``Reinforcement Learning with Hierarchies of Machines.'' In Advances in Neural Information Processing Systems 10, MIT Press, 1998.
Russell, S.J., ``Rationality and Intelligence.'' Artificial Intelligence, 94, 57-77, 1997.