Desert Island Column: The Books Don't Work

This is a preview of subscription content, access via your institution.


  1. Allwein, G. and Barwise, J., Logical Reasoning with Diagrams, Oxford University Press, 1996.

  2. Cohen, P. 1995. Empirical Methods in Artificial Intelligence, MIT Press, 1995.

  3. Kowalski, R.A., Logic for Problem Solving, Elsevier, North-Holland, 1983.

  4. O'Keefe, R., The Craft of Prolog, MIT Press (Logic Programming Series), 1990.

  5. Pearl, J., Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, Morgan Kaufmann, 1988.

  6. Polya, G., How to Solve It, Princeton University Press, 1957, 2nd edition.

Download references

Author information



Rights and permissions

Reprints and Permissions

About this article

Cite this article

Robertson, D. Desert Island Column: The Books Don't Work. Automated Software Engineering 6, 441–443 (1999).

Download citation


  • Operating System
  • Artificial Intelligence
  • Island Column
  • Desert Island Column