Automatic Theorem Proving With Renamable and Semantic Resolution.
James R. SlaglePublished in: J. ACM (1967)
Keyphrases
- automatic theorem proving
- semantic similarity
- semantic knowledge
- semantic annotation
- semantic information
- semantic web
- domain ontology
- high level
- semantic network
- semantic search
- natural language
- database
- semantic representation
- databases
- domain specific
- semantic web technologies
- semantic relationships
- search engine
- semantic description
- semantically equivalent