190 search results - page 1 / 38 » An application of automated reasoning in natural language qu... |
AICOM
2010
13 years 4 months ago
2010
CADE
2008
Springer
14 years 5 months ago
2008
Springer
Abstract. The LogAnswer system is an application of automated reasoning to the field of open domain question-answering, the retrieval of answers to natural language questions regar...
ICITA
2005
IEEE
13 years 11 months ago
2005
IEEE
Automated Question- Answering aims at delivering concise information that contains answers to user questions. This paper reviews and compares three main question-answering approac...
CADE
2008
Springer
13 years 7 months ago
2008
Springer
LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer o...
FLAIRS
2004
13 years 6 months ago
2004
We develop the default logic for pragmatic analysis of natural language queries. Ambiguous sentences are considered so that each set of meanings is assigned an extension of defaul...