Sciweavers

3718 search results - page 8 / 744
» IMPS: System Description
Sort
View
CADE
2008
Springer
13 years 10 months ago
LogAnswer - A Deduction-Based Question Answering System (System Description)
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...
Ulrich Furbach, Ingo Glöckner, Hermann Helbig...
MUC
1992
14 years 14 days ago
Language Systems, Inc.: description of the DBG system as used for MUC-4
Christine A. Montgomery, Bonnie Glover Stalls, Rob...