Keyphrases
- natural language
- natural language processing
- inference rules
- theorem proving
- error recovery
- linguistic analysis
- automated theorem proving
- natural language parsing
- dependency parsing
- stochastic context free grammars
- syntactic and semantic dependencies
- syntactic pattern recognition
- speech understanding
- automated deduction
- syntactic structures
- intermediate representation
- language understanding
- word order
- computer algebra
- unsupervised learning
- deductive reasoning
- information extraction
- probabilistic model