In Frey, 1-33.

Proc. IJCAI 77 VOL 1 MASSACHUSETTS INSTITUTE OF TECHNOLOGY CAMBRIDGE, MASSACHUSETTS, USA AUGUST 22 - 25 , 1977, pp. 67-76 (reprinted in RNLP: 353-362)

Rep. No. TM-86, Laboratory for Computer Science, Massachusetts Institute of Technology.

The program analyses carefully the initial situation. It creates some plans and tries to execute them. It analyses the situations deeper in the tree only if the plan fails. In that case it generates new plans correcting what is wrong in the old one. So, the program considers only natural branches of the tree. It can find combinations for which it is necessary to look more than twenty ply ahead. The paper describes the methods used for analyzing a situation and for modifying unsuccessful plans. Then we examine some results found by the program.Artificial Intelligence 8 (1977), 275-321

In E. W. Elcock and D. Michie (Eds.), Machine intelligence 8. New York: Wiley.

"The epistemological part of Al studies what kinds of facts about the world are available to an observer with given opportunities to observe, how these facts can be represented in the memory of a computer, and what rules permit legitimate conclusions to be drawn from these facts. It leaves aside the heuristic problems of how to search spaces of possibilities and how to match patterns."See also: IJCAI 5, 1038-1044In Readings in Artificial Intelligence, B.L. Webber and N.J. Nilsson (eds.), Tioga Publishing, 1981.

In E. W. Elcock and D. Michie (Eds.), Machine intelligence 8. New York: Wiley.

In E. W. Elcock and D. Michie (Eds.), Machine intelligence 8. New York: Wiley, 151-168.

In E. W. Elcock and D. Michie (Eds.), Machine intelligence 8. New York: Wiley.

AI Memo 389, AI Laboratory, Massachusetts Instituteof Technology.