Formal methods in the design of question-answering systems
References (14)
- et al.
Extracting information from resolution proof trees
Artificial Intell.
(1971) A machine oriented logic based on the resolution principle
J. ACM
(1965)Problem-Solving Methods in Artificial Intelligence
(1971)The Application of Theorem-Proving to Question-Answering Systems
Making Computers Understand Natural Language
- et al.
Automatic English-to-Logic Translation In a Simplified Model
Computational Linguistics and Question-Answering Systems
There are more references available in the full text version of this article.
Cited by (0)
Copyright © 1971 Published by Elsevier B.V.