PLANNER

A language for writing theorem provers by Carl Hewitt <hewitt@ai.mit.edu> MIT 1967. Never fully implemented.

CONNIVER was an outgrowth of PLANNER and microPLANNER a subset. PLASMA is a PLANNER-like system modelled on Actors. See also POPLER, QLISP, Scheme.

["PLANNER: A Language for Proving Theorems in Robots", Carl Hewitt, Proc IJCAI-69, Wash DC, May 1969].

Try this search on Wikipedia, OneLook, Google

Nearby terms: plan file « PLANIT « Plankalkül « PLANNER » Planner-73 » PLANS » plants

Loading
Copyright 2010 Denis Howe

Try myreviewsnow.net, the number 1 social shopping site! directoryold.com. General Business Directory.