Keyphrases
- default reasoning
- default logic
- natural language
- context free grammars
- expressive power
- higher order
- stochastic grammar
- graph grammars
- default theories
- data sets
- broad coverage
- phrase structure
- neural network
- stochastic context free grammars
- equational theories
- grammar rules
- linguistic knowledge
- shape grammars
- formal language
- database
- theorem proving
- theorem prover
- partial order
- tree adjoining grammar