Proving Theorems about LISP Functions
Journal of the ACM (JACM)
The automatic synthesis of recursive programs
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Some transformations for developing recursive programs
Proceedings of the international conference on Reliable software
XPLAIN: a system for creating and explaining expert consulting programs
Artificial Intelligence
Hi-index | 0.00 |
This paper describes Ms. Malaprop, a program (currently being designed) which will answer questions about simple stories dealing with painting, where stories, questions and answers will be expressed in semantic representation rather than English in order ...