Other Definitions
planner (dict)

Planner

PLANNER 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

 

<< PreviousWord BrowserNext >>
livestock
25th century bc
the indigo children
skeptic's dictionary
qibla al qudsiyya
violence
lev kamenev
grigory zinoviev
eratosthenes
iona nikitchenko
range encoding
karl brandt
acis
rare mode
mustard gas
robert tarjan
battle of normandy
itv digital
rennes
cardiomyopathy
robert bylot
george lakoff
the football association
rafael e. nez
sicherheitsdienst
satellite navigation system
solaris operating environment
glonass
lua programming language
1480s bc
linux network administrators' guide
glue language
gtk
garrett county, maryland
omaha, nebraska
accuracy in media
charlton heston
lucca
crisps
siderno
fish and chips
national institutes of health
typhus
jodie foster