A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
A Complete Mechanization of Second-Order Type Theory
Journal of the ACM (JACM)
Proving Theorems about LISP Functions
Journal of the ACM (JACM)
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
An interactive program verification system
Proceedings of the international conference on Reliable software
Constrained resolution: a complete method for higher-order logic.
Constrained resolution: a complete method for higher-order logic.
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 ...