COGEX: A Logic Prover for Question Answering

@inproceedings{Moldovan2003COGEXAL,
  title={COGEX: A Logic Prover for Question Answering},
  author={D. Moldovan and C. Clark and S. Harabagiu and Steven J. Maiorano},
  booktitle={HLT-NAACL},
  year={2003}
}
Recent TREC results have demonstrated the need for deeper text understanding methods. [...] Key Method World knowledge axioms as well as linguistic axioms are supplied to the prover which renders a deep understanding of the relationship between question text and answer text. Moreover, the trace of the proofs provide answer justifications. The results show that the prover boosts the performance of the QA system on TREC questions by 30%.Expand
198 Citations
Cogex: A semantically and contextually enriched logic prover for question answering
  • 51
  • PDF
Logic-Based Question Answering
  • 18
An application of automated reasoning in natural language question answering
  • 48
  • PDF
Automated Reasoning Embedded in Question Answering
  • 1
  • PDF
Combining Theorem Proving with Natural Language Processing
  • 8
  • PDF
Methods for Using Textual Entailment in Open-Domain Question Answering
  • 229
  • PDF
Answering Questions from Natural Language Using A-Prolog
  • 1
Extending an Indonesian Semantic Analysis-based Question Answering System with Linguistic and World Knowledge Axioms
  • 9
  • Highly Influenced
  • PDF
Reasoning over Semantic Networks – A Typology of Axioms for Natural Language Inference
  • 2
  • Highly Influenced
  • PDF
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 15 REFERENCES
Performance issues and error analysis in an open-domain question answering system
  • 190
  • PDF
Overview of the TREC 2002 Question Answering Track
  • 390
  • PDF
Lexical Chains for Question Answering
  • 141
  • PDF
Interpretation as Abduction
  • 839
  • PDF
Automated reasoning - 33 basic research problems
  • 269
Lexical Chains for Questions
  • Proceedings of Coling
  • 2002
Performance issuesand error analysis in an opendomain questionansweringsystem.In
  • Proceedingsof ACL
  • 2002
...
1
2
...