{"type":"ScholarlyArticle","title":"A Logic Prover for Text Processing","authors":[{"name":"Dan I. Moldovan","slug":"dan-i-moldovan","given":"Dan I.","family":"Moldovan","affiliation":""},{"name":"Christine Clark","slug":"christine-clark","given":"Christine","family":"Clark","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/2003/248","pdf":"https://ijcai.org/proceedings/2003/0248.pdf","markdown":"https://ijcai.org/proceedings/2003/248.md","bibtex":"https://ijcai.org/proceedings/2003/bibtex/248","volume":{"slug":"2003","title":"Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2003","url":"https://ijcai.org/proceedings/2003/","year":2003,"location":"Acapulco, Mexico","dates":"","editors":"Georg Gottlob","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":248,"pages":{"first":1494,"last":1494},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}