Textual Entailment Recognizing by Theorem Proving Approach
Doina TatarMiliton FrentiuPublished in: CoRR (2008)
Keyphrases
- theorem proving
- textual entailment
- answer validation exercise
- recognizing textual entailment
- first order logic
- semantic features
- inference rules
- answer validation
- proof procedure
- wordnet
- theorem prover
- parallel search
- proof planning
- natural language processing
- latent semantic indexing
- machine learning
- consequence finding
- term rewriting
- low level
- information retrieval
- geometry theorem proving
- information extraction
- natural language
- data mining