The use of theorem-proving techniques in question-answering systems.
C. Cordell GreenBertram RaphaelPublished in: ACM National Conference (1968)
Keyphrases
- theorem proving
- question answering systems
- question answering
- question classification
- first order logic
- natural language
- document retrieval
- theorem prover
- search engine
- inference rules
- term rewriting
- parallel search
- information retrieval systems
- proof planning
- automated theorem proving
- data retrieval
- geometry theorem proving
- passage retrieval
- information retrieval
- consequence finding
- natural language processing
- image retrieval
- feature selection
- databases