H ? « ‹ ← → › »

Language peer sets for PLANNER:
United States↑
United States/1967↑
Designed 1967 ↑
1960s languages ↑
Third generation↑
High Cold War↑
Genus Goal description ↑
String and List Processing ↑
Goal description↑
Context-based ↑
Data representation ↑
Goal description/1967↑
Context-based /1967↑
Data representation/1967↑
Goal description/United States↑
Context-based /United States↑
Data representation/United States↑
String and List Processing ↑
String and List Processing/1967↑
String and List Processing/us ↑

PLANNER(ID:297/pla014)

Goal-direct LISP dialect 

alternate simple view
Country: United States
Designed 1967
Published: 1967
Genus: Goal description
Sammet category: String and List Processing

Carl Hewitt MIT 1967

A language for writing theorem provers, Hewitt's PhD thesis. Important for the development of daemons. Never fully implemented, but Sussmann, Winograd and Charniak implemented MICRO-PLANNER in 1970.
Related languages
LISP 1.5 → PLANNER   Dialect of
PLANNER → 1.pak   Influence
PLANNER → Actors   Evolution of
PLANNER → associons   Influence
PLANNER → MagmaLISP   Influence
PLANNER → microPLANNER   Subset
PLANNER → PLANNER-73   Evolution of
PLANNER → PLASMA   Extension of
PLANNER → POPLER   Implementation
PLANNER → QLISP   Influence
PLANNER → RAMOS   Influence
PLANNER → Sample   Influence
References:
  • Hewitt (1969) Hewitt, Carl "PLANNER: A Language for Proving Theorems in Robots" Abstract Extract: Preface Extract: PLANNER Extract: Conclusion Extract: Acknowledgements
          in [IJCAI-69] (1969) Donald E. Walker, Lewis M. Norton (Eds.): Proceedings of the 1st International Joint Conference on Artificial Intelligence IJCAI-69, Washington, DC, May 1969. William Kaufmann, 1969
  • Hewitt, C. (1971) Hewitt, C. "Procedural embedding of knowledge in PLANNER" pp167-182
          in [Proceedings] (1971) Proceedings of the Second International Joint Conference on Artificial Intelligence (IJCAI), September 5 - 8, 1971, London, England
  • Hewitt, Carl (1972) Hewitt, Carl "Description and Theoretical Analysis (Using Schemata) of PLANNER: A Language for Proving Theorems and Manipulating Models in a Robot" MIT AITR-258 April 1972 Abstract
          in [Proceedings] (1971) Proceedings of the Second International Joint Conference on Artificial Intelligence (IJCAI), September 5 - 8, 1971, London, England
  • Hewitt, Carl (1972) Hewitt, Carl "Development and Theoretical Analysis (using Schemata) of PLANNER, A Language for Proving Theorems and Manipulating Models in a Robot" PhD Thesis MIT 1972
          in [Proceedings] (1971) Proceedings of the Second International Joint Conference on Artificial Intelligence (IJCAI), September 5 - 8, 1971, London, England
  • Sammet (1972) Sammet, Jean E., "Roster of Programming Languages 1972" 214
          in (1972) Computers & Automation 21(6B), 30 Aug 1972
  • Stanton (1972) Stanton, R.B. "The interpretation of graphics and graphic languages" pp144-160 Abstract
          in Nake and Rosenfeld (1972) Nake, F. and Rosenfeld, A. "Graphic Languages" Amsterdam: North-Holland Publishing Company 1972.
  • Sussman, G.J.; McDermott, D.V. (1972) Sussman, G.J.; McDermott, D.V. "From PLANNER to CONNIVER-a genetic approach", pp1171-1179
          in [AFIPS] (1972) [AFIPS] Proceedings of the 1972 Fall Joint Computer Conference FJCC 41
  • Minker, J. (1973) Minker, J. review of Hewitt 1971 Abstract
          in (1973) ACM Computing Reviews 14(08) August 1973
  • Sammet, Jean E. (1973) Sammet, Jean E. "Roster of Programming Languages for 1973" p147
          in (1974) ACM Computing Reviews 15(04) April 1974
  • Stock and Stock (1973) Stock, Marylene and Stock, Karl F. "Bibliography of Programming Languages: Books, User Manuals and Articles from PLANKALKUL to PL/I" Verlag Dokumentation, Pullach/Munchen 1973 464 Abstract
          in (1974) ACM Computing Reviews 15(04) April 1974
  • Bobrow and Raphael (1974) Bobrow, D.G. and B. Raphael, "New programming languages for artificial intelligence" Extract: About Planner, MicroPlannerm, Conniver
          in [ACM] (1974) [ACM] ACM Computing Surveys (CSUR) 6(3) September 1974
  • Leavenworth and Sammet (1974) Leavenworth, Burt M.; Sammet, Jean E. "An overview of nonprocedural languages" pp1-12 Abstract Extract: Planner
          in [VHLL 1974] (1974) Proceedings of the ACM SIGPLAN symposium on Very high level languages, March 28-29, 1974, Santa Monica, California, United States
  • Fleck, A.C. (1975) Fleck, A.C. review of Cohen 1975 Extract: Introduction
          in (1975) ACM Computing Reviews 16(02) February 1975
  • McDermott, Drew V. (1975) McDermott, Drew V. "Very Large Planner-Type Data Bases" MIT AIM-339 September 1975 Abstract
          in (1975) ACM Computing Reviews 16(02) February 1975
  • Moore, Robert Carter (1975) Moore, Robert Carter "Reasoning from Incomplete Knowledge in a Procedural Deduction System" MIT AITR-347 December 1975 Abstract
          in (1975) ACM Computing Reviews 16(02) February 1975
  • Solomon, Cynthia J. (1975) Solomon, Cynthia J. "Leading a Child to a Computer Culture" MIT AIM-343 December 1975 Abstract
          in (1975) ACM Computing Reviews 16(02) February 1975
  • Sammet, Jean E (1978) Sammet, Jean E "Roster of programming languages for 1976-77" pp56-85
          in [SIGPLAN] (1978) SIGPLAN Notices 13(11) Nov 1978
  • Lyon (1991) Lyon, Douglas A. "Parallel Parking with Nonholonomic Constraints" Ph D Thesis Rensselaer Polytechnic Institute Troy, New York December 1991 Extract: Planners
          in [SIGPLAN] (1978) SIGPLAN Notices 13(11) Nov 1978
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder