Keyphrases
- context free grammars
- natural language
- higher order
- theorem proving
- linguistic knowledge
- equational theories
- artificial intelligence
- database systems
- neural network
- databases
- phrase structure
- automated theorem proving
- theorem prover
- database
- context free
- shape grammars
- graph grammars
- grammar rules
- machine learning
- formal languages
- stochastic context free grammars
- attribute grammars
- controlled natural language
- information retrieval