Automated reasoning: 33 BASIC research problems
Automated reasoning: 33 BASIC research problems
Artificial Intelligence - Special volume on natural language processing
Lexical chains for question answering
COLING '02 Proceedings of the 19th international conference on Computational linguistics - Volume 1
Logic form transformation of WordNet and its applicability to question answering
ACL '01 Proceedings of the 39th Annual Meeting on Association for Computational Linguistics
Performance issues and error analysis in an open-domain Question Answering system
ACL '02 Proceedings of the 40th Annual Meeting on Association for Computational Linguistics
Hindi-english cross-lingual question-answering system
ACM Transactions on Asian Language Information Processing (TALIP)
Unsupervised question answering data acquisition from local corpora
Proceedings of the thirteenth ACM international conference on Information and knowledge management
Analysis of factoid questions for effective relation extraction
Proceedings of the 28th annual international ACM SIGIR conference on Research and development in information retrieval
Resource analysis for question answering
ACLdemo '04 Proceedings of the ACL 2004 on Interactive poster and demonstration sessions
Question answering with lexical chains propagating verb arguments
ACL-44 Proceedings of the 21st International Conference on Computational Linguistics and the 44th annual meeting of the Association for Computational Linguistics
Methods for using textual entailment in open-domain question answering
ACL-44 Proceedings of the 21st International Conference on Computational Linguistics and the 44th annual meeting of the Association for Computational Linguistics
Question answering based on semantic structures
COLING '04 Proceedings of the 20th international conference on Computational Linguistics
A semantic approach to recognizing textual entailment
HLT '05 Proceedings of the conference on Human Language Technology and Empirical Methods in Natural Language Processing
Robust textual inference via graph matching
HLT '05 Proceedings of the conference on Human Language Technology and Empirical Methods in Natural Language Processing
Handling biographical questions with implicature
HLT '05 Proceedings of the conference on Human Language Technology and Empirical Methods in Natural Language Processing
Learning to recognize features of valid textual entailments
HLT-NAACL '06 Proceedings of the main conference on Human Language Technology Conference of the North American Chapter of the Association of Computational Linguistics
A comparison of alternative parse tree paths for labeling semantic roles
COLING-ACL '06 Proceedings of the COLING/ACL on Main conference poster sessions
A logic-based semantic approach to recognizing textual entailment
COLING-ACL '06 Proceedings of the COLING/ACL on Main conference poster sessions
A probabilistic graphical model for joint answer ranking in question answering
SIGIR '07 Proceedings of the 30th annual international ACM SIGIR conference on Research and development in information retrieval
A knowledge based method for the medical question answering problem
Computers in Biology and Medicine
Open-domain question: answering
Foundations and Trends in Information Retrieval
Finding an answer to a question
Proceedings of the 2006 international workshop on Research issues in digital libraries
Automatic interpretation of loosely encoded input
Artificial Intelligence
Using Graphs for Shallow Question Answering on Legal Documents
MICAI '08 Proceedings of the 7th Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
NLP for Shallow Question Answering of Legal Documents Using Graphs
CICLing '09 Proceedings of the 10th International Conference on Computational Linguistics and Intelligent Text Processing
IXIR: A statistical information distillation system
Computer Speech and Language
Automatic selection of high quality parses created by a fully unsupervised parser
CoNLL '09 Proceedings of the Thirteenth Conference on Computational Natural Language Learning
Answering Questions from Natural Language Using A-Prolog
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Detecting parser errors using web-based semantic filters
EMNLP '06 Proceedings of the 2006 Conference on Empirical Methods in Natural Language Processing
An inference model for semantic entailment in natural language
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Robust textual inference via learning and abductive reasoning
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Solving logic puzzles: from robust processing to precise semantics
TextMean '04 Proceedings of the 2nd Workshop on Text Meaning and Interpretation
A logic prover for text processing
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Numerical data integration for cooperative question-answering
KRAQ '06 Proceedings of the Workshop KRAQ'06 on Knowledge and Reasoning for Language Processing
Temporal context representation and reasoning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Using scenario knowledge in automatic question answering
SumQA '06 Proceedings of the Workshop on Task-Focused Summarization and Question Answering
Generating intelligent numerical answers in a question-answering system
INLG '06 Proceedings of the Fourth International Natural Language Generation Conference
An application of automated reasoning in natural language question answering
AI Communications - Practical Aspects of Automated Reasoning
Probabilistic models for answer-ranking in multilingual question-answering
ACM Transactions on Information Systems (TOIS)
Biomedical question answering: A survey
Computer Methods and Programs in Biomedicine
Information Processing and Management: an International Journal
COLING '10 Proceedings of the 23rd International Conference on Computational Linguistics
Logical validation, answer merging and witness selection a study in multi-stream question answering
Large Scale Semantic Access to Content (Text, Image, Video, and Sound)
Editorial: Introduction to the special issue on question answering
Information Processing and Management: an International Journal
A survey on question answering technology from an information retrieval perspective
Information Sciences: an International Journal
Applying NLP techniques and biomedical resources to medical questions in QA performance
MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
An inference model for semantic entailment in natural language
MLCW'05 Proceedings of the First international conference on Machine Learning Challenges: evaluating Predictive Uncertainty Visual Object Classification, and Recognizing Textual Entailment
Applying COGEX to recognize textual entailment
MLCW'05 Proceedings of the First international conference on Machine Learning Challenges: evaluating Predictive Uncertainty Visual Object Classification, and Recognizing Textual Entailment
Inferring the semantic properties of sentences by mining syntactic parse trees
Data & Knowledge Engineering
LCC's poweranswer at QA@CLEF 2006
CLEF'06 Proceedings of the 7th international conference on Cross-Language Evaluation Forum: evaluation of multilingual and multi-modal information retrieval
Automatic answer validation using COGEX
CLEF'06 Proceedings of the 7th international conference on Cross-Language Evaluation Forum: evaluation of multilingual and multi-modal information retrieval
Machine learning of syntactic parse trees for search and classification of text
Engineering Applications of Artificial Intelligence
Question analysis: how watson reads a clue
IBM Journal of Research and Development
Textual evidence gathering and analysis
IBM Journal of Research and Development
IBM Journal of Research and Development
| Hi-index | 0.00 |
Recent TREC results have demonstrated the need for deeper text understanding methods. This paper introduces the idea of automated reasoning applied to question answering and shows the feasibility of integrating a logic prover into a Question Answering system. The approach is to transform questions and answer passages into logic representations. 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%.