A Simplified Format for the Model Elimination Theorem-Proving Procedure
Journal of the ACM (JACM)
Experiments with a resolution-based deductive question-answering system and a proposed clause representation for parallel search.
The use of semantic information in deductive question-answering systems.
The use of semantic information in deductive question-answering systems.
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 ...