Publication in EndNote Format

%0 Report
%A Raphael, B., Chaitin, L. J., Duda, R. O., Fikes, R. E., Hart, P. E. and Nilsson,
   N. J.
%T Research and Applications - Artificial Intelligence
%I Stanford Research Institute
%D 1971
%K Shakey, QA4, STRIPS, Theorem Proving!Analogy, Theorem Proving!Problem Solving,
   ISUPPOSEW, Vision!ISUPPOSEW, Theorem Proving!E-Resolution, E-Resolution
%X This is a semiannual progress report about a program of research the field of
   Artificial Intelligence. The research areas discussed include automatic theorem
   proving, representations of real-world environments, problem-solving methods,
   the design of a programming system for problem-solving research, techniques for
   general scene analysis based upon television data, and the problems of assembling
   an integrated robot system. Major accomplishments include the development of a
   new problemsolving system that uses both formal logical inference and informal
   heuristic methods, the development of a method of Automatic learning by generalization,
   and the design of the overall structure of a new complete robot system. Eight
   appendices to the report contain extensive technical details of the work described.
   
 
 “A Heuristically Guided Equality Rule in a Resolution
   Theorem Prover” by Claude R. Brice and Jan A. Derksen 
 “Reasoning
   by Analogy as an Aid to Heuristic Theorem Proving” by Robert E. Kling 

   “STRIPS: A New Approach to the Application of Theorem Proving to Problem
   Solving” by Richard E. Fikes and Nils J. Nilsson 
 “A Language
   for Writing Problem-Solving Programs” by Johns F. Rulifson, Richard J. Waldinger,
   and Jan A. Derksen 
 “Failure Tests and Goals in Plans” by Richard
   E. Fikes 
 “ISUPPOSEW – A Computer Program that Finds Regions in the
   Plan Model of a Visual Scene” by Kazuhiko Masuda 
 “Robot Communication
   between the PDP-15 and the PDP-10” by B. Michael Wilber 
 “Fortran
   Display Package” by John Bender 
%O Project 8973 Semiannual Progress Report 7 October 1970 to 31 March 1971 
From
   the Nilsson archives – SHAKEY papers
%U http://www.ai.sri.com/pubs/files/raphael71-p8973-semi.pdf