Inferences in quantified semantic networks

Authors:
Robert F. Simmons;Daniel Chester
Affiliations:
Department of Computer Sciences, University of Texas, Austin, Texas;Department of Computer Sciences, University of Texas, Austin, Texas
Venue:
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Year:
1977

Citing 3
Cited 0

A deductive question-answerer for natural language inference

Communications of the ACM
Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving
Using knowledge to understand

TINLAP '75 Proceedings of the 1975 workshop on Theoretical issues in natural language processing

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 ...