Implementing Tabular Deduction for Multimodal Logical Grammar.
Geert-Jan M. KruijffPublished in: Prague Bull. Math. Linguistics (1999)
Keyphrases
- natural language
- multi modal
- multimodal interaction
- grammar rules
- natural language sentences
- inference rules
- audio visual
- context free
- production rules
- logical properties
- logical framework
- theorem proving
- theorem prover
- multimodal information
- wide coverage
- linguistic knowledge
- brain image analysis
- logical rules
- controlled tabular adjustment
- computer algebra
- grammar induction
- neural network
- context free grammars
- first order logic
- case study