Other Definitions planner (dict)
|
PlannerPLANNER was to be a programming language for writing theorem provers. Developed by Carl Hewitt at MIT from 1967, it was never fully implemented. CONNIVER was an outgrowth of PLANNER and microPLANNER a subset. PLASMA is a PLANNER-like system modelled on Actors. See also Reference - "PLANNER: A Language for Proving Theorems in Robots", Carl Hewitt, Proc IJCAI-69, Wash DC, May 1969
|
 |