33 search results - page 1 / 7 » Answer Validation Through Robust Logical Inference |
CLEF
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. The paper features MAVE, a knowledge-based system for answer validation through deep linguistic processing and logical inference. A relaxation loop is used to determine a...
CLEF
2008
Springer
13 years 6 months ago
2008
Springer
RAVE (Real-time Answer Validation Engine) is a logic-based answer validator/selector designed for real-time question answering. Instead of proving a hypothesis for each answer, RAV...
CADE
2008
Springer
13 years 6 months ago
2008
Springer
Completion is a general paradigm for applying inferences to generate a canonical presentation of a logical theory, or to semi-decide the validity of theorems, or to answer queries....
WOWMOM
2005
ACM
13 years 10 months ago
2005
ACM
— Self-management has often been proposed as a means to reduce the growing complexity of administration in distributed systems. We argue that this can be achieved through aggress...
CLEF
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. LogAnswer is a logic-oriented question answering system developed by the AI research group at the University of Koblenz-Landau and by the IICS at the University of Hagen....