Meaning of PLANNER
| Pronunciation: | | 'planur
|
| | Sponsored Links: | |
|
| |
| Matching Terms: | | planned, planner-73
|
 Computing Dictionary |
| |
| | Definition: | | 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]. |
| |
| Thesaurus Terms |
| |
| | Related Terms: | | a, ancestors, apprentice, architect, artificer, artist, author, begetter, beginner, builder, conceiver, constructor, contriver, craftsman, creator, designer, developer, deviser, discoverer, effector, engenderer, engineer, enterpriser, entrepreneur, executor, executrix, father, founder, framer, generator, grower, inaugurator, industrialist, initiator, instigator, institutor, introducer, inventor, journeyman, maker, manufacturer, master, master craftsman, mother, organizer, originator, past master, precursor, prime mover, producer, projector, promoter, raiser, realizer, shaper, sire, smith, strategian, strategist, tactician, wright |
| |
|
|
|