An application of automated reasoning in natural language question answering.
Ulrich FurbachIngo GlöcknerBjörn PelzerPublished in: AI Commun. (2010)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- theorem prover
- theorem proving
- probabilistic reasoning
- reasoning tasks
- decision procedures
- automated verification
- knowledge representation and reasoning
- prime implicants
- machine learning
- propositional satisfiability
- first order logic
- artificial neural networks
- knowledge base
- neural network