Keyphrases
- special case
- natural language
- np hard
- higher order
- syntactic structures
- approximation algorithms
- real time
- pattern recognition
- computational complexity
- syntactic categories
- syntactic analysis
- parse tree
- syntactic semantic
- database
- equational theories
- semantic representation
- semantic analysis
- theorem proving
- higher level
- expert systems
- genetic algorithm
- data sets