{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T16:33:09Z","timestamp":1725726789734},"publisher-location":"Berlin, Heidelberg","reference-count":51,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108597"},{"type":"electronic","value":"9783662023280"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/978-3-662-02328-0_12","type":"book-chapter","created":{"date-parts":[[2013,5,23]],"date-time":"2013-05-23T14:23:38Z","timestamp":1369319018000},"page":"136-155","source":"Crossref","is-referenced-by-count":0,"title":["AI Languages and AI Machines: An Overview"],"prefix":"10.1007","author":[{"given":"Harold","family":"Boley","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","volume-title":"Data flow languages","author":"W Ackerman","year":"1979","unstructured":"Ackerman, W.: Data flow languages. 1979 National Computer Conference, AFIPS Conf. Proc., Vol. 48."},{"doi-asserted-by":"crossref","unstructured":"Aho, A. & Corasick, M.: Efficient string matching: An aid to bibliographic search. CACM 18(5), June 1975.","key":"12_CR2","DOI":"10.1145\/360825.360855"},{"key":"12_CR3","volume-title":"Anatomy of LISP","author":"J Allen","year":"1978","unstructured":"Allen, J.: Anatomy of LISP. McGraw-Hill, New York, 1978."},{"key":"12_CR4","series-title":"School of Artificial Intelligence, Univ. of Edinburgh, Experim. Progr. Reports","volume-title":"Programming languages for artificial intelligence: The role of nondeterminism","author":"B Anderson","year":"1972","unstructured":"Anderson, B.: Programming languages for artificial intelligence: The role of nondeterminism. School of Artificial Intelligence, Univ. of Edinburgh, Experim. Progr. Reports No. 25, March 1972."},{"doi-asserted-by":"crossref","unstructured":"Backus, J.: Can programming be liberated from the von Neuman style? CACM 21(8), August 1978.","key":"12_CR5","DOI":"10.1145\/359576.359579"},{"doi-asserted-by":"crossref","unstructured":"Baker, H.: List processing in real time on a serial computer. CACM 21(4), April 1978.","key":"12_CR6","DOI":"10.1145\/359460.359470"},{"key":"12_CR7","volume-title":"Artificial intelligence: an MIT perspective. Vol. 2","author":"D Bawden","year":"1979","unstructured":"Bawden, D. & Greenblatt, R. & Holloway, J. & Knight, T. & Moon, D. & Weinreb, D.: The LISP machine. In: Winston, P. & Brown, R. (Eds.): Artificial intelligence: an MIT perspective. Vol. 2. The MIT Press, Cambridge, Mass. 1979."},{"issue":"3","key":"12_CR8","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1145\/356631.356632","volume":"6","author":"D Bobrow","year":"1974","unstructured":"Bobrow, D. & Raphael, B.: New programming languages for artificial intelligence research. Computing Surveys 6(3), 1974, 153\u2013174.","journal-title":"Computing Surveys"},{"key":"12_CR9","volume-title":"The KRL Research Group: Experience with KRL-0 \u2014 One cycle of a knowledge representation language","author":"D Bobrow","year":"1977","unstructured":"Bobrow, D. & Winograd, T. & The KRL Research Group: Experience with KRL-0 \u2014 One cycle of a knowledge representation language. Proc. 5th IJCAI, 1977."},{"key":"12_CR10","volume-title":"Five views of FIT programming","author":"H Boley","year":"1979","unstructured":"Boley, H.: Five views of FIT programming. Univ. Hamburg, FB Inform., IFI-HH-B-57\/79, Sept. 1979."},{"key":"12_CR11","volume-title":"A preliminary survey of artificial intelligence machines","author":"H Boley","year":"1980","unstructured":"Boley, H.: A preliminary survey of artificial intelligence machines. KI-Rundbrief, Nr. 20, April 1980. AISB Quarterly, Issue 37, May 1980. SIGART Newsletter, No. 72, July 1980."},{"key":"12_CR12","volume-title":"Processing directed recursive labelnode hypergraphs with FIT programs","author":"H Boley","year":"1980","unstructured":"Boley, H.: Processing directed recursive labelnode hypergraphs with FIT programs. Univ. Hamburg, FB Inform., IFI-HH-M-81\/80, Sept. 1980."},{"key":"12_CR13","volume-title":"On relations between programs","author":"M Broy","year":"1980","unstructured":"Broy, M. & Pepper, P. & Wirsing, M.: On relations between programs. Proc. Fourth International Symp. on Programming, Paris, April 1980, Springer-Verlag, Berlin, Heidelberg, New York, 1980."},{"key":"12_CR14","volume-title":"Artificial intelligence programming","author":"E Charniak","year":"1980","unstructured":"Charniak, E. & Riesbeck, C., & McDermott, D.: Artificial intelligence programming. Lawrence Erlbaum Associates, Hillsdale, N.J., 1980."},{"unstructured":"Conference Record of the 1980 LISP Conference. Stanford University. August 1980.","key":"12_CR15"},{"key":"12_CR16","volume-title":"High-level language computer architecture","author":"R Doran","year":"1975","unstructured":"Doran, R.: Architecture of stack machines. In: Chu, Y. (Ed.): High-level language computer architecture. Academic, New York 1975."},{"key":"12_CR17","volume-title":"Design sketch for a million-element NETL machine","author":"S Fahlman","year":"1980","unstructured":"Fahlman, S.: Design sketch for a million-element NETL machine. Proc. 1st NCAI-80, Stanford University, August 1980."},{"doi-asserted-by":"crossref","unstructured":"Fifth Workshop on Computer Architecture for Non-numeric Processing. SIGIR 15(2), SIGMOD 10(4), March 1980.","key":"12_CR18","DOI":"10.1145\/1013881.802700"},{"unstructured":"Fischer, H. & Raulefs, P.: Design rationale for the interactive programming language CSSA for asynchronous multiprocessor systems. Univ. Bonn, Inst. f. Inform. III, Memo SEKI-BN-79\u201309, Nov. 1979.","key":"12_CR19"},{"doi-asserted-by":"crossref","unstructured":"Floyd, R.: Nondeterministic algorithms. JACM 14(4). October 1967.","key":"12_CR20","DOI":"10.1145\/321420.321422"},{"key":"12_CR21","volume-title":"The FRANZ LISP manual","author":"J Foderaro","year":"1980","unstructured":"Foderaro, J.: The FRANZ LISP manual. UC Berkeley, 1980."},{"doi-asserted-by":"crossref","unstructured":"Friedman, D. & Wise, D.: Aspects of applicative programming for parallel processing. IEEE Trans. Computers 27(4), April 1978.","key":"12_CR22","DOI":"10.1109\/TC.1978.1675100"},{"key":"12_CR23","volume-title":"FLATS, a machine for numerical, symbolic and associative computing","author":"E Goto","year":"1979","unstructured":"Goto, E. & Ida, T. & Hiraki, K. & Suzuki, M. & Inada, N.: FLATS, a machine for numerical, symbolic and associative computing. Proc. 6th IJCAI, 1979."},{"unstructured":"Greenblatt, R. & Knight, T. & Holloway, J. & Moon, D.: LISP Machine Progress Report. The LISP Machine. MIT, Artificial Intelligence Laboratory, no date.","key":"12_CR24"},{"key":"12_CR25","volume-title":"Entwurf eines Multiprozessor-Systems zur Auswertung rekursiver Funktionen","author":"K Guetschow","year":"1980","unstructured":"Guetschow, K. & Stecher, R.: Entwurf eines Multiprozessor-Systems zur Auswertung rekursiver Funktionen. Univ. Hamburg, FB Inform., Mai 1980."},{"key":"12_CR26","volume-title":"Nondeterminism in logics of programs","author":"D Harel","year":"1978","unstructured":"Harel, D. & Pratt, V.: Nondeterminism in logics of programs. MIT, Laboratory for Computer Science, MIT\/LCS\/TM-98, February 1978."},{"key":"12_CR27","volume-title":"How to use what you know","author":"C Hewitt","year":"1975","unstructured":"Hewitt, C.: How to use what you know. Proc. 4th IJCAI, 1975."},{"unstructured":"Hewitt, C.: The Apiary network architecture for knowledgeable systems. In: [15].","key":"12_CR28"},{"key":"12_CR29","volume-title":"CADR","author":"T Knight","year":"1979","unstructured":"Knight, T. & Moon, D. & Holloway, J. & Steele, G.: CADR. MIT, AI Memo 528, June 1979."},{"key":"12_CR30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-96552-4","volume-title":"Content-addressable memories","author":"T Kohonen","year":"1980","unstructured":"Kohonen, T.: Content-addressable memories. Springer-Verlag, Berlin, Heidelberg, New York, 1980."},{"key":"12_CR31","volume-title":"Logic for problem solving","author":"R Kowalski","year":"1979","unstructured":"Kowalski, R.: Logic for problem solving. North-Holland, 1979."},{"key":"12_CR32","volume-title":"Computer architecture","author":"R Lea","year":"1977","unstructured":"Lea, R.: Associative processing of non-numerical information. In: Boulaye, G. & Lewin, D. (Eds.): Computer architecture. Reidel Publ. Comp., Dordrecht, Boston, 1977."},{"unstructured":"Leavenworth, B. (Ed.): ACM SIGPLAN symposium on very high level languages. March 1974, SIGPLAN Notices 9(4). C34] McCarthy, J.: LISP \u2014 Notes on its past and future. In: [15].","key":"12_CR33"},{"doi-asserted-by":"crossref","unstructured":"Minsky, M.: Form and content in computer science. JACM 17(2), 1970.","key":"12_CR34","DOI":"10.1145\/321574.321575"},{"doi-asserted-by":"crossref","unstructured":"Mukhopadhyay, A.: Hardware algorithms for nonnumeric computation. Proc. 5th Ann. Symp. Computer Architect., SIGARCH 6(7), April 1978.","key":"12_CR35","DOI":"10.1145\/800094.803021"},{"key":"12_CR36","volume-title":"Principles of artificial intelligence","author":"N Nilsson","year":"1980","unstructured":"Nilsson, N.: Principles of artificial intelligence. Tioga, 1980."},{"key":"12_CR37","volume-title":"Non deterministic programs: An algebraic overview","author":"M Nivat","year":"1980","unstructured":"Nivat, M.: Non deterministic programs: An algebraic overview. Proc. IFIP 1980."},{"key":"12_CR38","volume-title":"Linear unification. 8th Ann. ACM Symp. on Theory of Computing","author":"M Paterson","year":"1976","unstructured":"Paterson, M. & Wegman, M.: Linear unification. 8th Ann. ACM Symp. on Theory of Computing, May 1976."},{"key":"12_CR39","first-page":"3","volume-title":"A short survey on the state of the art in matching and unification problems","author":"P Raulefs","year":"1978","unstructured":"Raulefs, P. & Siekmann, J. & Szabo, P., & Unvericht, E.: A short survey on the state of the art in matching and unification problems. Inst. f. Inform. I, Univ. Karlsruhe, SEKI 3\u201378, 1978."},{"key":"12_CR40","volume-title":"The LISP machine","author":"S Schoichet","year":"1978","unstructured":"Schoichet, S.: The LISP machine. Mini-micro systems, June 1978."},{"doi-asserted-by":"crossref","unstructured":"Sullivan, H. & Bashkow, T.: A large scale, homogeneous, fully distributed parallel machine, I. Proc. 4th Ann. Symp. Computer Architecture, SIGARCH 5 (7), March 1977.","key":"12_CR41","DOI":"10.1145\/633615.810659"},{"key":"12_CR42","volume-title":"Why conniving is better than planning","author":"G Sussman","year":"1972","unstructured":"Sussman, G. & McDermott, D.: Why conniving is better than planning. MIT AI Laboratory, AI Memo No. 255A, April 1972."},{"unstructured":"The Lisp Company: The TLC-LISP documentation. Box 487, Redwood Estates, CA 95044 1980.","key":"12_CR43"},{"unstructured":"The Mathlab Group: MACSYMA Reference Manual. Version Eight. MIT, Project MAC, November 1975.","key":"12_CR44"},{"key":"12_CR45","volume-title":"Sorting on a mesh-connected parallel computer","author":"C Thompson","year":"1976","unstructured":"Thompson, C. & Kung, H.: Sorting on a mesh-connected parallel computer. 8th Ann. ACM Symp. on Theory of Computing, May 1976."},{"key":"12_CR46","volume-title":"Data driven and demand driven computer architecture","author":"P Treleaven","year":"1980","unstructured":"Treleaven, P. & Brownbridge, D. & Hopkins, R.: Data driven and demand driven computer architecture. The University of Newcastle upon Tyne, Computing Laboratory, July 1980."},{"volume-title":"Pattern-directed inference systems","year":"1978","unstructured":"Waterman, D. & Hayes-Roth, F. (Eds.): Pattern-directed inference systems. Academic, 1978.","key":"12_CR47"},{"unstructured":"Weinreb, D. & Moon, D.: Flavors: Message passing in the Lisp machine. MIT, AI Lab., AI Memo No. 602, November 1980.","key":"12_CR48"},{"unstructured":"White, J.: Address\/memory management for a gigantic LISP environment or, GC considered harmful. In: [15].","key":"12_CR49"},{"key":"12_CR50","series-title":"Technical Note","volume-title":"A QLISP Reference Manual","author":"M Wilber","year":"1976","unstructured":"Wilber, M.: A QLISP Reference Manual. Technical Note 118, AI Center, SRI, March 1976."},{"key":"12_CR51","volume-title":"LISP","author":"P Winston","year":"1981","unstructured":"Winston, P. & Horn, B.: LISP. Addison-Wesley, 1981."}],"container-title":["Informatik-Fachberichte","GWAI-81"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-02328-0_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T04:45:55Z","timestamp":1557722755000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-02328-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108597","9783662023280"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-02328-0_12","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1981]]}}}