---
title: "A Logic Prover for Text Processing"
authors:
  - "Dan I. Moldovan"
  - "Christine Clark"
doi: ""
url: "https://ijcai.org/proceedings/2003/248"
pdf: "https://ijcai.org/proceedings/2003/0248.pdf"
venue: "Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence"
year: 2003
pages: "1494-1494"
track: ""
keywords:
---

# A Logic Prover for Text Processing

Dan I. Moldovan, Christine Clark

*Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence*, pages 1494-1494.

## 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 stateof-the-art Question Answering System.