Cogex: A semantically and contextually enriched logic prover for question answering

Journal of Applied Logic

Volumn 5, Issue 1, 2007, Pages 49-69

  Moldovan, Dan ^a   Clark, Christine ^a   Harabagiu, Sanda ^a   Hodges, Daniel ^a  

^a Language Computer Corporation   (United States)

Author keywords

Automated reasoning; Natural language processing; Ontologies; Question answering; Temporal reasoning

Indexed keywords

FORMAL LOGIC; MATHEMATICAL TRANSFORMATIONS; NATURAL LANGUAGE PROCESSING SYSTEMS;

AUTOMATED REASONING; ONTOLOGIES; QUESTION ANSWERING; TEMPORAL REASONING;

SEMANTICS;

EID: 33846207877     PISSN: 15708683     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jal.2005.12.005     Document Type: Article

References (16)

1. Allen J. Time and time again: the many ways to represent time. Internat. J. Intelligent Syst. 4 6 (1991) 341-355
2. D. Bixler, D. Moldovan, A. Fowler, Using knowledge extraction and maintenance techniques to enhance analytical performance, in: Proceedings of the 2005 International Conference on Intelligence Analysis, Washington, DC, 2005
3. Clark C., Hodges D., Stephan J., and Moldovan D. Moving QA towards reading comprehension using context and default reasoning. Papers from the AAAI 2005 Workshop on Inference for Textual Question Answering (2005), AAAI Press 6-12
4. Collins M. Head-driven statistical models for natural language parsing. Computational Linguistics 29 4 (2003) 589-637
5. Davidson D. The logical form of action sentences. In: Rescher N. (Ed). The Logic of Decision and Action (1967), University of Pittsburgh Press 81-95
6. Hobbs J., Stickel M., and Martin P. Interpretation as abduction. Artificial Intelligence 63 (1993) 69-142
7. D. Moldovan, C. Clark, S. Harabagiu. Temporal context representation and reasoning, in: Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-2005), Edinburgh, Scotland, 2005, pp. 1099-1104
8. D. Moldovan, C. Clark, S. Harabagiu, S. Maiorano. Cogex: A logic prover for question answering, in: Proceedings of the Human Language Technology and North American Chapter of the Association for Computational Linguistics Conference (HLT-2003), Edmonton, Alberta, Canada, 2003, pp. 87-93
9. Moldovan D., Harabagiu S., Clark C., Bowden M., Lehman J., and Williams J. Experiments and analysis of LCC's two QA systems over TREC 2004. in: Proceedings of TREC 2004 Conference (2004). http://trec.nist.gov
10. D. Moldovan, A. Novischi, Lexical chains for question answering, in: Proceedings of 19th International Conference on Computational Linguistics (COLING-2002), Taipei, Taiwan, 2002, pp. 674-680
11. D. Moldovan, V. Rus, Logic form transformation of WordNet and its applicability to question answering, in: Proceedings of the 39th Annual Meeting of the Association for Computational Linguistics (ACL-2001), Toulouse, France, 2001, pp. 394-401
12. I. Niles, A. Pease, Towards a standard upper ontology, in: Proceedings of the 2nd International Conference on Formal Ontology in Information Systems, Ogunquit, Maine, 2001
13. Russell S., and Norvig P. Artificial Intelligence-A Modern Approach (2003), Prentice-Hall
14. Wos L. Automated Reasoning, 33 Basic Research Problems (1998), Prentice-Hall
15. Voorhees E. Overview of the TREC 2004 question answering track. in: Proceedings of TREC 2004 (2004). http://trec.nist.gov
16. eXtended WordNet. http://xwn.hlt.utdallas.edu