Applying automated deduction to natural language understanding.
Johan BosPublished in: J. Appl. Log. (2009)
Keyphrases
- natural language understanding
- automated deduction
- semantic analysis
- knowledge representation
- text understanding
- theorem proving
- language understanding
- natural language processing
- natural language
- theorem prover
- inference rules
- logic programming
- semantic representations
- dialogue system
- spoken dialog systems
- deductive databases
- data mining
- first order logic
- information extraction
- domain knowledge
- abductive reasoning
- data model