The use of theorem-proving techniques in question-answering systems
暂无分享,去创建一个
[1] John McCarthy,et al. Programs with common sense , 1960 .
[2] B. Raphael. SIR: A COMPUTER PROGRAM FOR SEMANTIC INFORMATION RETRIEVAL , 1964 .
[3] L. Wos,et al. The unit preference strategy in theorem proving , 1899, AFIPS '64 (Fall, part I).
[4] R. Montague,et al. Logic : Techniques of Formal Reasoning , 1964 .
[5] Bertram Raphael,et al. A computer program which "understands" , 1964, AFIPS '64 (Fall, part I).
[6] T. Hart. A Useful Algebraic Property of Robinson's Unification Algorithm , 1965 .
[7] Robert F. Simmons,et al. Answering English questions by computer: a survey , 1965, CACM.
[8] James R. Slagle,et al. Experiments with a deductive question-answering program , 1965, CACM.
[9] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[10] Aspects and applications of symbol manipulation , 1966, CACM.
[11] D. C. Cooper,et al. THEOREM-PROVING IN COMPUTERS , 1966 .
[12] James A. Craig,et al. DEACON: direct English access and control , 1966, AFIPS '66 (Fall).
[13] Robert F. Simmons,et al. An approach toward answering English questions from text , 1966, AFIPS '66 (Fall).
[14] Joseph Weizenbaum,et al. ELIZA—a computer program for the study of natural language communication between man and machine , 1966, CACM.
[15] Kenneth Mark Colby,et al. Heuristic methods for computer understanding of natural language in context-restricted on-line dialogues , 1967 .
[16] M. E. Maron,et al. A computer system for inference execution and data retrieval , 1967, CACM.
[17] Jane J. Robinson. A review of automatic theorem-proving , 1967 .
[18] James R. Slagle,et al. Automatic Theorem Proving With Renamable and Semantic Resolution , 1967, JACM.
[19] L. Coles. An on-line question-answering systems with natural language and pictorial input , 1968, ACM National Conference.