{"type":"ScholarlyArticle","title":"Procedural Embedding of knowledge in Planner","authors":[{"name":"Carl Hewitt","slug":"carl-hewitt","given":"Carl","family":"Hewitt","affiliation":"Artificial lntelllp;ence Laboratory , 11 , , T. , Cambridge , 11assachusetts , U, S .A."}],"abstract":"Since the last IJCAI, the PLAtHJE I1 prohlen solving formalism has continued to develop, Our eplstemolgy for the foundations for problem solving has been extended. An overview of the formal ism Is given fro m an Information processing viewpoint, A simple example Is explained using snapshots of the state of the problem solving as the exa r1 nle Is worked. 'finally, current applicatIons for the formalis m are 1 Is te d .","doi":null,"url":"https://ijcai.org/proceedings/1971/18","pdf":"https://ijcai.org/proceedings/1971/0018.pdf","markdown":"https://ijcai.org/proceedings/1971/18.md","bibtex":"https://ijcai.org/proceedings/1971/bibtex/18","volume":{"slug":"1971","title":"Proceedings of the Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1971","url":"https://ijcai.org/proceedings/1971/","year":1971,"location":"London, UK","dates":"","editors":"D.C. Cooper","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":18,"pages":{"first":167,"last":181},"keywords":[],"videos":[],"references":[{"position":1,"raw":"Balzer, R. EXDAt1S-Extendable Debugglnp, and t1onltorlng System. Proc. SJCC 1969, 34. 1 • 1ay, 1969.","title":"EXDAt1S-Extendable Debugglnp, and t1onltorlng System","authors":"R Balzer","year":"1969","venue":"Proc. SJCC","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"Balzer, R. 11., On the Future of Computer Prop,ram Specification and Organization. December 1~70.","title":"On the Future of Computer Prop,ram Specification and Organization","authors":"R Balzer, 11","year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":3,"raw":"Dennis, Jack B. Prop;rammlng Generality, Parallelism and Computer Archltectue. Computation Structures Group t1emo tJo. 32. August 19GB. Earley Jay, Toward an Understanding of Data Structures. Computer Science Departement, University of California, Berkeley.","title":"Prop;rammlng Generality, Parallelism and Computer Archltectue","authors":"Jack B Dennis","year":null,"venue":"Computation Structures Group t1emo tJo. 32","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"Fikes, R., Ref-Arf: A System for Solvlnp; Problems Stated as Procedures Artificial lntelllr,ence (1970).","title":"Ref-Arf: A System for Solvlnp","authors":"R Fikes","year":"1970","venue":"Problems Stated as Procedures Artificial lntelllr","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"Fisher, D. A., Control Sturctures for Programming Languages. 1'l70.","title":"Control Sturctures for Programming Languages","authors":"D A Fisher","year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"raw":"Hevdtt, C., PLANNER: a Language for Provlnp, Theorens, Artificial lntelllr,ence t1eno 137, t1assachusetts Institute of Technology (project t1AC), July 1%7.","title":"PLANNER: a Language for Provlnp, Theorens","authors":"C Hevdtt","year":null,"venue":"Artificial lntelllr,ence t1eno 137","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"Hel\"lltt, C. PLMJtJEP.: A Language for t1anlpulatlnp, t1odels and Proving Theorems In a Robot, Proceed Jngs of the International Joint Conference on Artificial Intelligence. \\lashlngton D. c. t1ay l9(iq, Hel\"lltt, C. Teaching Procedures In Humans and Robots. Conference on Structural Learning. llprll 5, 1970.","title":"A Language for t1anlpulatlnp, t1odels and Proving Theorems In a Robot","authors":"C Hel\"lltt, Plmjtjep","year":"1970","venue":"Proceed Jngs of the International Joint Conference on Artificial Intelligence. \\lashlngton D. c. t1ay l9(iq, Hel\"lltt, C. Teaching Procedures In Humans and Robots. Conference on Structural Learning. llprll 5","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"Hewitt, C. Description and Theoretical Analysis (using Schemas) of PLAtltJER: A Lanp,uap,e for Proving Theorens and t1anlpulatlng t1odels In a Robot. Phd. Feb. l'l7l. He1dtt, C. and Patterson t1. Comparative Schematolop,y, Record of Project t111C Conference on Concurrent Systems and Parallel Compuatlon. June 2-5, 1'l70. Avaflable from ACti.","title":"Description and Theoretical Analysis (using Schemas) of PLAtltJER: A Lanp,uap,e for Proving Theorens and t1anlpulatlng t1odels In a Robot","authors":"C Hewitt","year":null,"venue":"He1dtt, C. and Patterson t1. Comparative Schematolop,y, Record of Project t111C Conference on Concurrent Systems and Parallel Compuatlon","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"Kay, Alan C., Reactive Engine, Ph. D. thesis University of Utah, 1970.","title":"Reactive Engine","authors":"Alan C Kay","year":"1970","venue":null,"doi":null,"url":null,"internal_url":null},{"position":10,"raw":"t1cCarthy, J.; Abrahams, Paul II.; Edl•,ards, Daniel J.; Hart, Timothy P.; and Levin, t11chael I, 1%2. Lisp 1.5 Pros;rammer's t1anual, t.","title":"t11chael I, 1%2","authors":"J Ccarthy, Abrahams, I I Paul, • Edl, Daniel J Hart, Timothy P ;, Levin","year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":11,"raw":"I. T. Press. t1cCarthy, J. and Hayes, P., Sone Philosophical Problems form the Standpoint of Artificial Intelligence.","title":"Sone Philosophical Problems form the Standpoint of Artificial Intelligence","authors":"I T Press, J Hayes, P","year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":12,"raw":"Stanford A. I. rleno 73. ~le1•,e11, A., Shaw, J. C., and Simon, H. A., 1q59, Report on a General Prohlen-solvlng Progran, Proceedings of the International Conference on lnfornatlon Processing, Parts: UNESCO House, pp, 256-2611, Perils, A. J. The Synthesis of Algorithmic Systems. JACrl, Jan. 1967, Wlnonrad, T. Procedures as a neprcsentatlon for Data In a Computer Pror.ran for Understanding Natural Languar.e. IIAC Tn-r.l!. February 1971.","title":"1q59, Report on a General Prohlen-solvlng Progran","authors":"A I Stanford, A Shaw, J C Simon, H A","year":"1967","venue":"Proceedings of the International Conference on lnfornatlon Processing, Parts","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}