A Logic Prover for Text Processing

Moldovan, Dan I.; Clark, Christine

A Logic Prover for Text Processing

Download BibTeX Cite

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.

Dan I. Moldovan, and Christine Clark. 2003. A Logic Prover for Text Processing. In Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03. IJCAI, 1494–1494. https://ijcai.org/proceedings/2003/248

@inproceedings{ijcai2003p248,
  title     = {A Logic Prover for Text Processing},
  author    = {Moldovan, Dan I. and Clark, Christine},
  booktitle = {Proceedings of the Eighteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-03}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Georg Gottlob},
  pages     = {1494--1494},
  year      = {2003},
  url       = {https://ijcai.org/proceedings/2003/248},
}

TY  - CPAPER
TI  - A Logic Prover for Text Processing
AU  - Moldovan, Dan I.
AU  - Clark, Christine
T2  - Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2003
SP  - 1494
EP  - 1494
UR  - https://ijcai.org/proceedings/2003/248
ER  -