Keyphrases
- natural language processing
- logic programming
- natural language
- inference rules
- automated theorem proving
- dependency parsing
- theorem proving
- syntactic categories
- speech understanding
- logic programming language
- graph grammars
- artificial intelligence
- unsupervised learning
- practical problems
- multiscale
- parse tree
- decision trees
- learning algorithm
- pos tagging
- neural network
- wide coverage
- data sets