LogAnswer - A deduction-based question answering system (system description)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5195 LNAI, Issue , 2008, Pages 139-146

  Furbach, Ulrich ^a   Glöckner, Ingo ^b   Helbig, Hermann ^b   Pelzer, Björn ^a  

^a Institut für Integrierte Naturwissenschaften   (Germany)

^b UNIVERSITY OF HAGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED REASONING; AUTOMATED THEOREM PROVERS; BACKGROUND KNOWLEDGE; FIRST-ORDER LOGIC; JOINT CONFERENCE; KNOWLEDGE BASES; LINGUISTIC PROCESSING; NATURAL LANGUAGE QUESTIONS; OPEN DOMAIN QUESTION ANSWERING; QUESTION-ANSWERING SYSTEMS; SEMANTIC NETWORKS; SYSTEM DESCRIPTION;

AUTOMATION; FORMAL LOGIC; INFORMATION THEORY; LINGUISTICS; OPEN SYSTEMS; QUERY LANGUAGES; SEMANTICS; THEOREM PROVING;

AUTOMATA THEORY;

EID: 53049094792     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71070-7_11     Document Type: Conference Paper

References (13)

1. Bos, J.: Doris 2001: Underspecification, resolution and inference for discourse representation structures. In: ICoS-3 - Inference in Compuational Semantics, Workshop Proceedings (2001)
2. Moldovan, D., Bowden, M., Tatu, M.: A temporally-enhanced PowerAnswer in TREC 2006. In: Proc. of TREC 2006, Gaithersburg, MD (2006)
3. Saias, J., Quaresma, P.: The Senso question answering approach to Portuguese QA@CLEF-2007. In: Working Notes for the CLEF 2007 Workshop, Budapest, Hungary (2007)
4. Tatu, M., Iles, B., Moldovan, D.: Automatic answer validation using COGEX. In: Peters, C., Clough, P., Gey, F.C., Karlgren, J., Magnini, B., Oard, DAV., de Rijke, M., Stempfhuber, M. (eds.) CLEF 2006. LNCS, vol. 4730. Springer, Heidelberg (2007)
5. Glöckner, I.: University of Hagen at QA@CLEF 2007: Answer validation exercise. In: Working Notes for the CLEF 2007 Workshop, Budapest (2007)
6. Hartrumpf, S.: Hybrid Disambiguation in Natural Language Analysis. Der Andere Verlag, Osnabrück, Germany (2003)
7. Heibig, H.: Knowledge Representation and the Semantics of Natural Language. Springer, Heidelberg (2006)
8. Leveling, J.: IRSAW - towards semantic annotation of documents for question answering. In: CNI Spring 2007 Task Force Meeting, Phoenix, Arizona (2007)
9. Glöckner, I.: Towards logic-based question answering under time constraints. In: Proc.of ICAIA 2008, Hong Kong, pp. 13-18 (2008)
10. Glöckner, I., Pelzer, B.: Exploring robustness enhancements for logic-based passage filtering. In: Proceedings of KES 2008. LNCS. Springer, Heidelberg (to appear, 2008)
11. Pelzer, B., Wernhard, C.: System Description: E-KR.Hyper. In: Automated Deduction - CADE-21, Proceedings, pp. 508-513 (2007)
12. Baumgartner, P., Furbach, U., Pelzer, B.: Hyper Tableaux with Equality. In: Automated Deduction - CADE-21, Proceedings, pp. 492-507 (2007)
13. Sutcliffe, G., Suttner, C.: The TPTP Problem Library: CNF Release v1.2.1. Journal of Automated Reasoning 21(2), 177-203 (1998)