A logic prover for text processing

Authors:
Dan Moldovan;Christine Clark
Affiliations:
Language Computer Corporation, Richardson, Texas;Language Computer Corporation, Richardson, Texas
Venue:
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Year:
2003

Citing 5
Cited 0

Automated reasoning: 33 BASIC research problems

Automated reasoning: 33 BASIC research problems
Interpretation as abduction

Artificial Intelligence - Special volume on natural language processing
Logic form transformation of WordNet and its applicability to question answering

ACL '01 Proceedings of the 39th Annual Meeting on Association for Computational Linguistics
Performance issues and error analysis in an open-domain Question Answering system

ACL '02 Proceedings of the 40th Annual Meeting on Association for Computational Linguistics
COGEX: a logic prover for question answering

NAACL '03 Proceedings of the 2003 Conference of the North American Chapter of the Association for Computational Linguistics on Human Language Technology - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper demonstrates the applicability of automated reasoning to text processing, specifically to Question Answering. It is shown that the approach is feasible, effective, and scalable. A Logic Prover has been implemented and integrated into a state-of-the-art Question Answering System.