Strips: A new approach to the application of theorem proving to problem solving
Interactions between philosophy and artificial intelligence: The role of intuition and non-logical reasoning in intelligence
Linear resolution with selection function
Experiments with a heuristic theorem-proving program for predicate calculus with equality
Protocol analysis as a task for artificial intelligence
Grid coding: A preprocessing technique for robot and machine vision
Author index Volume 2