div class=trans-pagebuttonPage 1button div class=trans-image amp-img class=trans-thumb alt=Page 1: Automatically generated PDF from existing imagesNils J Nilsson and Richard E Fikes STRIPS: A new approach to the appli- cation of Theorem Proving to Problem Solving Technical src=https:reader034fdocumentsusreader034viewer20220422075ea996179e145a75e54d5495html5thumbnails1jpg width=142 height=106 layout=responsive amp-img divdivdiv class=trans-pagebuttonPage 2button div class=trans-image amp-img class=trans-thumb alt=Page 2: Automatically generated PDF from existing imagesNils J Nilsson and Richard E Fikes STRIPS: A new approach to the appli- cation of Theorem Proving to Problem Solving Technical src=https:reader034fdocumentsusreader034viewer20220422075ea996179e145a75e54d5495html5thumbnails2jpg width=142 height=106 layout=responsive amp-img divdivdiv class=trans-pagebuttonPage 3button div class=trans-image amp-img class=trans-thumb alt=Page 3: Automatically generated PDF from existing imagesNils J Nilsson and Richard E Fikes STRIPS: A new approach to the appli- cation of Theorem Proving to Problem Solving Technical src=https:reader034fdocumentsusreader034viewer20220422075ea996179e145a75e54d5495html5thumbnails3jpg width=142 height=106 layout=responsive amp-img divdivdiv class=trans-pagebuttonPage 4button div class=trans-image amp-img class=trans-thumb alt=Page 4: Automatically generated PDF from existing imagesNils J Nilsson and Richard E Fikes STRIPS: A new approach to the appli- cation of Theorem Proving to Problem Solving Technical src=https:reader034fdocumentsusreader034viewer20220422075ea996179e145a75e54d5495html5thumbnails4jpg width=142 height=106 layout=responsive amp-img divdiv