On Mixing Deduction and Substitution in Lambek Categorial Grammars.
Annie ForetPublished in: LACL (2001)
Keyphrases
- grammar induction
- context free grammars
- language processing
- inference rules
- grammatical inference
- theorem proving
- natural language
- natural language processing
- finite state automata
- automated deduction
- visual languages
- context free
- computer algebra
- automated theorem proving
- stochastic grammar
- neural network
- context free languages
- syntactic pattern recognition
- real time
- tree adjoining
- training corpus
- statistical machine translation
- first order logic
- image sequences
- artificial intelligence