Slot Unification Grammar.
Antonio FerrándezManuel PalomarLidia MorenoPublished in: APPIA-GULP-PRODE (1997)
Keyphrases
- natural language
- higher order
- theorem proving
- context free grammars
- broad coverage
- stochastic grammar
- real time
- formal languages
- relational databases
- linguistic knowledge
- automated theorem proving
- wide coverage
- formal language theory
- equational theories
- theorem prover
- probabilistic model
- grammatical inference
- image sequences
- phrase structure
- case study
- real world