Computer Science as Empirical Inquiry: Symbols and Search

Communications of the ACM

Volumn 19, Issue 3, 1976, Pages 113-126

  Newell, Allen ^a   Simon, Herbert A ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

artificial intelligence; cognition; computer science; empirical; heuristics; list processing; problem solving; science; search; symbols; Turing

Indexed keywords

EID: 84976705975     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/360018.360022     Document Type: Article

References (5)

1. Berliner, H. [1975], Chess as problem solving: the development of a tactics analyzer. Ph.D. Th., Computer Sci. Dep., Carnegie-Mellon U. (unpublished).
2. McCarthy, J. [1960], Recursive functions of symbolic expressions and their computation by machine. Comm. ACM 3, 4 (April 1960), 184-195.
3. McCulloch, W.S. [1961], What is a number, that a man may know it, and a man, that he may know a number. General Semantics Bulletin Nos. 26 and 27 (1961), 7-18.
4. Nilsson, N.J. [1971], Problem Solving Methods in Artificial Intelligence. McGraw-Hill, New York.
5. Turing, A.M. [1950]. Computing machinery and intelligence. Mind 59 (Oct. 1950), 433-460.