Experiments with a Heuristic Compiler
Journal of the ACM (JACM)
A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus
Journal of the ACM (JACM)
Fact Retrieval and Deductive Question-Answering Information Retrieval Systems
Journal of the ACM (JACM)
Answering English questions by computer: a survey
Communications of the ACM
Computers and Thought
LISP 1.5 Programmer's Manual
Automatic Theorem Proving With Renamable and Semantic Resolution
Journal of the ACM (JACM)
A Programming Language With Automatic Goal Generation and Selection
Journal of the ACM (JACM)
Natural language question-answering systems: 1969
Communications of the ACM
Experiments with the M & N tree-searching program
Communications of the ACM
Toward automatic program synthesis
Communications of the ACM
Information science in a Ph.D. computer science program
Communications of the ACM
A computer system for inference execution and data retrieval
Communications of the ACM
The use of theorem-proving techniques in question-answering systems
ACM '68 Proceedings of the 1968 23rd ACM national conference
Automated processing of medical English
COLING '69 Proceedings of the 1969 conference on Computational linguistics
A laboratory for the study of automating programming
ACM SIGSAM Bulletin
A laboratory for the study of automating programming
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
Preliminary thoughts about a UNIversal TEAching Machine (UNITEAM)
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
A concurrent automatic programming system
Proceedings of the 46th Annual Southeast Regional Conference on XX
A review of methods for automatic understanding of natural language mathematical problems
Artificial Intelligence Review
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Challenge to artificial intelligence: programming problems to be solved
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Concepts and methods for heuristic search
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
Application of theorem proving to problem solving
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
PROW: a step toward automatic program writing
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
PLANNER: a language for proving theorems in robots
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
"Question-answer": a multipurpose information system
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Finding resolution proofs and using duplicate goals in and/or trees
Information Sciences: an International Journal
| Hi-index | 48.30 |