Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

IJCAI
2003

favoriteEmaildiscussreport

101views Artificial Intelligence» more IJCAI 2003»

A Logic Prover for Text Processing

13 years 5 months ago

A Logic Prover for Text Processing

Download dli.iiit.ac.in

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

Dan I. Moldovan, Christine Clark

Real-time Traffic

Automated Reasoning | IJCAI 2003 | IJCAI 2007 | Question Answering | Question Answering System |

claim paper

Related Content

» Generating Text with a Theorem Prover

» COGEX A Logic Prover for Question Answering

» Mechanisation of PDA and Grammar Equivalence for ContextFree Languages

» System Description card TAP The First Theorem Prover on a Smart Card

» Dependable PolygonProcessing Algorithms for SafetyCritical Embedded Systems

» Using Automated Theorem Provers to Certify Autogenerated Aerospace Software

» LogAnswer A DeductionBased Question Answering System System Description

» An Empirical Evaluation of Automated Theorem Provers in Software Certification

» Premise Selection in the Naproche System

Post Info
More Details (n/a)

Added	31 Oct 2010
Updated	31 Oct 2010
Type	Conference
Year	2003
Where	IJCAI
Authors	Dan I. Moldovan, Christine Clark

Comments (0)