An application of automated reasoning in natural language question answering
Ulrich Furbach, Ingo Glöckner, Björn Pelzer · AI Communications · 2010
The LogAnswer system is an application of automated reasoning to the field of open domain question answering. In order to find answers to natural language questions regarding arbitrary topics, the system integrates an automated theorem prover in a fr