Work

PLANNER: a language for proving theorems in robots

Year: 1969

Type: conference-paper

Source: International Joint Conference on Artificial Intelligence

Author: Carl Hewitt

Institution: Massachusetts Institute of Technology

Language: English

Topic: AI-based Problem Solving and Planning

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1541665809

FWCI: 3.479

Cites: 5

Cited by: 211

Related to: 10