Editing Planner (programming language) (section)

==References==
{{reflist}}

=== Bibliography===
{{refbegin|30em}}
*Bruce Anderson. Documentation for LIB PICO-PLANNER School of Artificial Intelligence, Edinburgh University.  1972
*Bruce Baumgart. Micro-Planner Alternate Reference Manual Stanford AI Lab Operating Note No. 67, April 1972.
* {{Citation | first = Steven | last = Coles | title = The Application of Artificial Intelligence to Heuristic Modeling | work = 2nd US-Japan Computer Conference | year = 1975}}.
* {{Citation | first = Richard | last = Fikes | title = Deductive Retrieval Mechanisms for State Description Models | publisher = IJCAI | year = 1975}}.
* {{Citation | last = Fitch | first  = Frederic | title = Symbolic Logic: an Introduction | publisher = Ronald Press | place = New York | year = 1952}}.
* {{Citation | first = Cordell | last = Green | title = Application of Theorem Proving to Problem Solving | journal = IJCAI | year = 1969}}.
*{{cite journal | first = Carl | last = Hewitt | title = PLANNER: A Language for Proving Theorems in Robots | citeseerx = 10.1.1.80.756 |journal = IJCAI | year = 1969}}
* {{Citation | first = Carl | last = Hewitt | title = Procedural Embedding of Knowledge In Planner | journal = IJCAI | year = 1971}}.
*Carl Hewitt. "The Challenge of Open Systems" Byte Magazine. April 1985
*Carl Hewitt and Jeff Inman.  "DAI Betwixt and Between:  From ‘Intelligent Agents’ to Open Systems Science" IEEE Transactions on Systems, Man, and Cybernetics.  Nov/Dec 1991.
*Carl Hewitt and Gul Agha.  "Guarded Horn clause languages: are they deductive and Logical?" International Conference on Fifth Generation Computer Systems, Ohmsha 1988. Tokyo.  Also in ''Artificial Intelligence at MIT'', Vol. 2. MIT Press 1991.
* {{Citation | first = Carl | last = Hewitt | url = https://vvvvw.aaai.org/Papers/Symposia/Spring/2006/SS-06-08/SS06-08-003.pdf | title = The repeated demise of logic programming and why it will be reincarnated – What Went Wrong and Why: Lessons from AI Research and Applications | series = Technical Report | number = SS-06-08 | publisher = AAAI Press | date = March 2006 | url-status = dead | archive-url = https://web.archive.org/web/20171210124010/https://vvvvw.aaai.org/Papers/Symposia/Spring/2006/SS-06-08/SS06-08-003.pdf | archive-date = 2017-12-10 }}.
*William Kornfeld and Carl Hewitt. [http://hdl.handle.net/1721.1/5693 The Scientific Community Metaphor]  MIT AI Memo 641.  January 1981.
*Bill Kornfeld and Carl Hewitt.  "The Scientific Community Metaphor" IEEE Transactions on Systems, Man, and Cybernetics.  January 1981.
*Bill Kornfeld. "The Use of Parallelism to Implement a Heuristic Search" IJCAI 1981.
*Bill Kornfeld.  "Parallelism in Problem Solving" MIT EECS Doctoral Dissertation. August 1981.
*Bill Kornfeld. "Combinatorially Implosive Algorithms" CACM.  1982
*Robert Kowalski. [https://web.archive.org/web/20110607140400/http://www.doc.ic.ac.uk/~rak/papers/limitations%20of%20logic.pdf "The Limitations of Logic"]  Proceedings of the 1986 ACM fourteenth annual conference on Computer science.
*Robert Kowalski. [http://www.doc.ic.ac.uk/~rak/papers/the%20early%20years.pdf "The Early Years of Logic Programming"]  CACM January 1988.
* {{Citation | first = Jean-Claude | last = Latombe | chapter = Artificial Intelligence in Computer-Aided Design | title = CAD Systems | publisher = North-Holland | year = 1976}}.
* {{Citation | first1 = John | last1 = McCarthy | first2 = Paul | last2 = Abrahams | first3 = Daniel | last3 = Edwards | first4 = Timothy | last4 = Hart | first5 = Michael | last5 =  Levin | title = Lisp 1.5 Programmer's Manual | publisher = MIT Computation Center and Research Laboratory of Electronics | year = 1962}}.
* {{Citation | first = John Alan | last = Robinson | title = A Machine-Oriented Logic Based on the Resolution Principle | journal = Communications of the ACM | year = 1965 | volume = 12 | pages = 23–41 | doi = 10.1145/321250.321253 | doi-access = free }}.
*Gerry Sussman and Terry Winograd. [http://hdl.handle.net/1721.1/5833 Micro-planner Reference Manual] AI Memo No, 203, MIT Project MAC, July 1970.
*Terry Winograd. [http://hdl.handle.net/1721.1/7095 Procedures as a Representation for Data in a Computer Program for Understanding Natural Language]  MIT AI TR-235.  January 1971.
*Gerry Sussman, Terry Winograd and Eugene Charniak. [http://hdl.handle.net/1721.1/6184 Micro-Planner Reference Manual (Update)] AI Memo 203A, MIT AI Lab, December 1971.
*Carl Hewitt. [http://hdl.handle.net/1721.1/6916 Description and Theoretical Analysis (Using Schemata) of Planner, A Language for Proving Theorems and Manipulating Models in a Robot] AI Memo No. 251, MIT Project MAC, April 1972.
*Eugene Charniak.  [http://hdl.handle.net/1721.1/6892 Toward a Model of Children's Story Comprehension]  MIT AI TR-266.  December 1972.
*Julian Davies. Popler 1.6 Reference Manual University of Edinburgh, TPU  Report No. 1, May 1973.
*Jeff Rulifson, Jan Derksen, and  Richard Waldinger. "QA4, A Procedural Calculus for Intuitive Reasoning" SRI AI Center Technical Note 73, November 1973.
*Scott Fahlman. "A Planning System for Robot Construction Tasks" MIT AI TR-283. June 1973
*James Lighthill. "Artificial Intelligence: A General Survey Artificial Intelligence: a paper symposium." UK Science Research Council. 1973.
*John McCarthy. "Review of ‘Artificial Intelligence: A General Survey Artificial Intelligence: a paper symposium." UK Science Research Council. 1973.
*Robert Kowalski [http://www.doc.ic.ac.uk/~rak/papers/IFIP%2074.pdf "Predicate Logic as Programming Language"] Memo 70, Department of Artificial Intelligence, Edinburgh University.  1973
*Pat Hayes. Computation and Deduction Mathematical Foundations of Computer Science: Proceedings of Symposium and Summer School, Štrbské Pleso, High Tatras, Czechoslovakia, September 3–8, 1973.
*Carl Hewitt, Peter Bishop and Richard Steiger. "A Universal Modular Actor Formalism for Artificial Intelligence"  IJCAI 1973.
*L. Thorne McCarty. "Reflections on TAXMAN: An Experiment on Artificial Intelligence and Legal Reasoning" Harvard Law Review. Vol. 90, No. 5, March 1977
*Drew McDermott and Gerry Sussman. [http://hdl.handle.net/1721.1/6204 The Conniver Reference Manual]  MIT AI Memo 259A.  January 1974.
*Earl Sacerdoti, et al., "QLISP A Language for the Interactive Development of Complex Systems"  AFIPS. 1976
* {{Citation | first = Earl | last = Sacerdoti | title = A Structure for Plans and Behavior | publisher = Elsevier North-Holland | year = 1977}}.
* {{Citation | first1 = Richard | last1 = Waldinger | first2 = Karl | last2 = Levitt | title = Reasoning About Programs Artificial Intelligence | year = 1974}}.
{{refend}}