McCarthy, John "Formalization of Strips in Situation Calculus" 1985

Languages mentioned

• Strips {1969} Extra-logical problem solver