Keyphrases
- natural language
- speech understanding
- context free grammars
- natural language processing
- theorem prover
- theorem proving
- dependency parsing
- interactive theorem proving
- syntactic and semantic dependencies
- natural language parsing
- automated theorem proving
- linear logic
- error recovery
- decision trees
- machine learning
- intermediate representation
- pattern matching
- word order
- semantic parsing
- image sequences
- databases
- real time