Keyphrases
- np hard
- natural language
- inference rules
- natural language processing
- theorem proving
- speech understanding
- horn theories
- error recovery
- canonical representation
- natural language parsing
- information retrieval
- intermediate representation
- language understanding
- dependency parsing
- theorem prover
- context free
- semantic parsing
- automated theorem proving
- context free grammars
- penn treebank
- intuitionistic logic
- pattern matching
- machine learning