Home /Research /PLANNER: A Language for Manipulating Models and Proving Theorems in a Robot
OTHER

PLANNER: A Language for Manipulating Models and Proving Theorems in a Robot

Carl Hewitt

Year
1970
Citations
55

Abstract

Revised

Keywords

RobotPlannerComputer scienceArtificial intelligenceProgramming language

Related papers

Browse all OTHER papers