Recognising Textual Entailment with Logical Inference.
Johan BosKatja MarkertPublished in: HLT/EMNLP (2005)
Keyphrases
- logical inference
- textual entailment
- answer validation exercise
- theorem proving
- recognizing textual entailment
- answer validation
- semantic features
- machine learning
- wordnet
- natural language processing
- logical structure
- probabilistic inference
- latent semantic indexing
- knowledge compilation
- bayesian networks
- information retrieval systems
- text classification
- semantic information
- metadata