Scaling up the Abstract Machine for Unification of OSF-Terms to do Head-Corner Parsing with Large-Scale Typed Unification Grammars.
Liviu-Virgil CiortuzPublished in: WLP (2000)
Keyphrases
- higher order
- abstract machine
- natural language
- context free grammars
- theorem proving
- natural language processing
- context free
- equational theories
- theorem prover
- small scale
- syntactic pattern recognition
- co occurrence
- real world
- graph grammars
- automated theorem proving
- phrase structure
- grammar induction
- databases
- real time
- grammatical inference
- function symbols