A Semantically Guided Deductive System for Automatic Theorem-Proving.

Published in: IJCAI (1973)

Keyphrases

automatic theorem proving
abductive inference
object oriented
natural language
explanation based learning
semantic content
website
semantic information
deductive reasoning
functional programs