PLANNER: A Language for Proving Theorems in Robots.

Carl Hewitt

Browse the full IJCAI paper archive.