Proving theorems by pattern recognition I
Communications of the ACM
Automatic Question-Answering of English-Like Questions About Simple Diagrams
Journal of the ACM (JACM)
Retrieving descriptive phrases from large amounts of free text
Proceedings of the ninth international conference on Information and knowledge management
Information science in a Ph.D. computer science program
Communications of the ACM
Answering English questions by computer: a survey
Communications of the ACM
A computer system for inference execution and data retrieval
Communications of the ACM
Experiments with a deductive question-answering program
Communications of the ACM
Bridging the gap between AI and IR
SIGIR '84 Proceedings of the 7th annual international ACM SIGIR conference on Research and development in information retrieval
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
An approach toward answering English questions from text
AFIPS '66 (Fall) Proceedings of the November 7-10, 1966, fall joint computer conference
Application of theorem proving to problem solving
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
Evidence finding using a collection of books
Proceedings of the 4th ACM workshop on Online books, complementary social media and crowdsourcing
| Hi-index | 0.07 |
Information Retrieval systems may be classified either as Document Retrieval systems or Fact Retrieval systems. It is contended that at least some of the latter will require the capability for performing logical deductions among natural language sentences. The problem of developing systems of logical inference for natural languages is discussed, and an example of such an analysis of a sublanguage of English is presented. An experimental Fact Retrieval system which incorporates this analysis has been programmed for the IBM 7090 computer, and its main algorithms are stated.