Tutorial: Automated Deduction and Natural Language Understanding.
Stephen G. PulmanPublished in: CADE (2000)
Keyphrases
- natural language understanding
- automated deduction
- theorem proving
- text understanding
- knowledge representation
- natural language
- semantic analysis
- theorem prover
- language understanding
- dialogue system
- inference rules
- natural language processing
- semantic representations
- logic programming
- spoken dialog systems
- deductive databases
- general purpose
- logic programs
- artificial intelligence
- databases