Completeness Theorems for Semantic Resolution in Consequence-Finding.

James R. Slagle Chin-Liang Chang Richard C. T. Lee

Published in: IJCAI (1969)

Keyphrases

consequence finding
theorem proving
abductive reasoning
natural language
semantic analysis
semantic information
natural language understanding
knowledge representation
truth maintenance systems