Works and systems referenced by this entry. Related publications are identified below.
Reference text retains scan, spelling, line-break and column-order artifacts. Matching does not rely on publication year alone.
Read the indexed bibliography
Bibliography (PDF pages 143, 144, 145)
1. ACF Industries, Avion D'-v* tTr6nslating From Ordinary Discourse Into ormal Logic ii- A reliminary Stu4y#14 Scientific Report AF CRC,-TN-56-770.
2s Bennett, J. Lo "A Computer Program for Word Relations,," Memo 1961-1, Mechanical Translation Group, RLE, MIT. Cambridge) Mass. 1961*
3. Bobrow D G. "'Syntactic Analysis of English by Computer -- A Survey," Proc. FJCC# Spartan Press) 1963.
4. lobrow, D. G., and Raphael, B. "A Comparison of List-Processing Computer Languages," Cqo_m"m. ACM# May or June 1964.
5. Carnap, R. Meani Illinois. 947.
and Neces
U. of Chicago Press, Chicago,
6. Carnap, R. "Foundations of Logic and Mathematics," International Encyclo'zedia of Unified Science, Volume 1, no. 3 U. Of Chicago Press, Chicago, Illinois. 939.
7. Carroll, J. Do, Abelson, R P., and Reinfeld, W. "A Computer Program Which Assesses the Credibility of Assertions," draft. Yale University. July 1963.
8. Charney, E. "Word-meaning and Sentence-meaning," abstract in
Mechanical Translation, Volume 7 no- 2. 1963.
9. Chomsky, N.
ic Structu
Mouton and Co. 1947.
.Xntact
res
"Picture Processing in a Picture Language Machine,"
10* Cohen, D.
National Bureau of Standards Report 7885* April 1962.
11. Corbato, F. J., et. al. The CoMEatible Time"Sharina Systemo MIT Press, Cambridge, Mass. 1963.
12. Darlington, J. L. "Translating Ordinary Language into Symbolic Logic," abstract in Mechanical Translation, Volume 7 no. 2. 1963*
13. Davis, M., and Putnam, H. "A Computational Proof Procedure," AFOSR TR 59-124. Rensselaer Polytechnic Institute, Troy, N#Y. 1959.
14. Feigenbaum, E. "The Smulation of Verbal Learning Behavior," Proco WJCC, Volume 19. 1961.
15. Freudenthal, H. LINCOS,* Design of a Lan&uaaefor Cosmic Intercourse. North Holland Press, 1960.
144
16. Fries. 1952.
The Structure ofEng_lisho Harcourt, Bracep New York,
17* Green, Be Fe, Jr*, etft ale "Baseball: An Automatic QuestionAnswerer," Proc, WJCC, Volume 19. 1961.
18. Kazemier, B. H., and Vuysje, De, eds. The Concept-a'd the Role of the Model in Mathematics and Natural and Social Sciences# Gordon and Breach Science Publishers, N.Y. 1963.
19. Klein, S. "Some Experiments Performed with an Automatic Para-
.pffiraser," 1963.
abstract in Mechanical Translation, Volume 7
no* 2,
20. Kochen, Ma "Experimetital Study of 'Hypothesis Formation' by Computer," Proc. 4th London mEosium on Information Th C. Cherry, ed, London, 1961.
21. Lindsay, R. K.
A Program for Parsing Sentences and Making
Inferences about Kinship Relations," Proc'&Western Management
Science Conference on Simulation, A. Hoggatt, ede, to be
published.
22. McCarthy, Jo "Programs with Common Sense," ProcII-Symposiu on Mechanization of Thou&ht Processeso National Physics Laboratory, Teddington, England. Her Majesty's Stationery Office, London. 1959,
23. McCarthy, Jo, et. al. LISP 1 5 Prorammerls Manual. MIT Press, Cambridge, Mass* 1963.
24. Maron, I. RAND Corp., Santa Monica, California. private communication, 1963.
25a Minsky, M# "Steps To-ward Artificial Intelligence#" special computer issue, 1961.
Proco, IRE,
26. Newell, A., edo Information Proces Prentice Halli Englewood Cliffs, N.
Lapauage V Manual. 1961.
27a Newell, A., et, al. "Empirical Explorations of the Logic Theory
Machine A Case Study in Heuristics," Proc. WJCC,
1957a
28. Newell, A., et. al. "Report on a General Problem-Solving Program,"
Proc. International Conference on Iformation Processi
Paris,
UNESCO House, 1959.
29. O'Donnell, M, The New D2,y.In and Day Out. Row, Peterson and Co. Evanston, Illinois, 1948.
30. Oden C K, Basic_English, Paul, Trench, Trubner and Co. London. 1 32 a
I
145
31. Phillips$ A. V. "A Question-oAnswering Routine," MIT Mathematics Dept. Mastt,--r's Thesis. Cambridge, Mass. 1960,
32. Quillian, R.
Revised Desi n for an Understanding Machine
Mechanical Translatl
Volume , no,
1962,
33. Quine.) W# Wo0rd and
MIT Press Cambridge, Mass.. 1960.
34. Reichenbach, H. Elements of N.,Y.,i . 94 7
ic Lo
The Macmillan Co.,,
35# Research Lab. of Electronics and Computation Center, MIT, COMIT ProgKammerls Reference Manual. MIT Press. Cambridge, Mass. 1961.
36, Samuel, A. L "Some Studies i, Machine Learning Using the Game of Gheckers)" IBMj* of Research ad Development, lume 3 no. 3. 1959
37c Shaw C* Jo "JOVIAL and It!3 Documen:tation," Coram. ACM, Volume 3, no 6 1963.
38* Simmons, R. F., et. al. "Toward the Synthesis of Human Language
B-iohavior," SPv
Systems Development Corp., Santa Monica, Cal.
39. Simon, H. A. "Experiments with a heuristic oiler RAND Corp.,, Santa Monica, California, 1961.
Paper P*2349,
40. Slagle, J. "A Computer Program for Solving Problems in Freshman Calculus," J. ACM. Jan., 1964 -and Doctoral Dissertation, Mathematics Department, MIT. May 1961.
41. Solomonoff, R. J. "An Inductive Inference Machine," IRE National Convention.,Record, pt 2 pp. 56-62* 1957.
42. Sommersy F., T
Semantic Structures and Automatic Clarification
of Linguistic Ambiguity," International Electric Corp.) Paramus,
RwJ. 0 1961.
43. Supes, P. Introduction t;o L N.J. 1957.
Van Nostrand Co., Princeton,
44. Ullman, S. Words and Their Use.. Philosophical Library, NAY. 1951.0
45. Walpole, H. R. Semantics-, The Nhature of Words and Their Meaningso W.W. Norton and Co. N.Y. 1941.
46. Wang, H. "Toward Mechanical Mathematics,` Development, Volume 4 no. 1. 1960.
Research and
47,
iff,
P6 Semantic- Anallys.is* Cornell U. Press, Ithaca,
N.Y. 1960.
Comments
Discuss this research, ask a question, or suggest a correction. Comments appear after the site owner approves them.
Moderate comments
Loading comments…
Sign in with ChatGPT to comment
Use your OpenAI account. Published comments show the display name you choose, not your account email.