ML Anthology

A Logic Prover for Text Processing

Dan I. Moldovan, Christine Clark
IJCAI 2003 pp. 1494-1495
/ijcai/2003/moldovan2003ijcai-logic/

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.

PDF Semantic Scholar

Cite

Text

Moldovan and Clark. "A Logic Prover for Text Processing." International Joint Conference on Artificial Intelligence, 2003.

Markdown

[Moldovan and Clark. "A Logic Prover for Text Processing." International Joint Conference on Artificial Intelligence, 2003.](https://mlanthology.org/ijcai/2003/moldovan2003ijcai-logic/)

BibTeX

@inproceedings{moldovan2003ijcai-logic,
  title     = {{A Logic Prover for Text Processing}},
  author    = {Moldovan, Dan I. and Clark, Christine},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2003},
  pages     = {1494-1495},
  url       = {https://mlanthology.org/ijcai/2003/moldovan2003ijcai-logic/}
}