Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs.
Christoph BenzmüllerQuoc Bao VoPublished in: AAAI (2005)
Keyphrases
- reasoning tasks
- natural language
- mathematical proofs
- automated reasoning
- description logics
- knowledge representation
- logic programming
- theorem prover
- answer set programming
- dialog systems
- temporal reasoning
- mathematical knowledge
- abductive reasoning
- natural language processing
- situation calculus
- machine learning
- logical framework
- reasoning problems
- semantic analysis
- natural language generation
- theorem proving
- bayesian networks
- fuzzy description logics
- natural language understanding
- dialogue system
- logic programs
- quantified boolean formulas
- image sequences
- automated theorem provers
- knowledge base