A Logic Prover for Text Processing

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 stateof-the-art Question Answering System. Figure 1: COGEX Architecture

• Type: Conference
• Year: 2003
• Where: IJCAI
• Authors: Dan I. Moldovan, Christine Clark
• Keywords: Automated Reasoning, IJCAI 2003, IJCAI 2007, Question Answering, Question Answering System