Publikationen

  • Björn Pelzer
    Automated Theorem Proving with Web Services
    In KI 2013 Proceedings, to appear. (PDF)
  • Markus Bender, Björn Pelzer and Claudia Schon
    System Description: E-KRHyper 1.4 - Extensions for Unique Names and Description Logic
    In CADE-24 Proceedings, Lake Placid, USA, June 2013. (PDF)
  • Björn Pelzer
    Automated Reasoning Embedded in Question Answering
    Doctoral Dissertation, Universität Koblenz-Landau, 2013. (PDF)
  • Ingo Glöckner and Karl-Heinz Weis
    An Integrated Machine Learning and Case-Based Reasoning Approach to Answer Validation
    In Proceedings of the 11th International Conference on Machine Learning and Applications (ICMLA-2012), Boca Raton, Florida, December 2012. (PDF)
  • Ingo Glöckner and Björn Pelzer
    The LogAnswer Project at QA4MRE 2012
    In Working Notes for the CLEF 2012 Workshop, Rome, Italy, September 2012. (PDF)
  • Ingo Glöckner, Björn Pelzer and Tiansi Dong
    The LogAnswer Project at QA4MRE 2011
    In Working Notes for the CLEF 2011 Workshop, Amsterdam, NL, September 2011. (PDF)
  • Tiansi Dong, Ulrich Furbach, Ingo Glöckner and Björn Pelzer
    A Natural Language Question Answering System as a Participant in Human Q&A Portals
    In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI-2011), Barcelona, Spain, July 2011, pp. 2430-2435. (PDF)
  • Björn Pelzer, Ingo Glöckner and Tiansi Dong
    LogAnswer in Question Answering Forums
    In Proceedings of the 3rd International Conference on Agents and Artificial Intelligence (ICAART-2011), Rome, Italy, January 2011, pp. 492-497 (PDF)
  • Ulrich Furbach, Ingo Glöckner, Hermann Helbig and Björn Pelzer
    Logic-Based Question Answering
    In KI - Künstliche Intelligenz, 24(1), 2010, pp. 51-55.
  • Ulrich Furbach, Ingo Glöckner and Björn Pelzer
    An Application of Automated Reasoning in Natural Language Question Answering
    AI Communications 23(2-3), IOS Press, 2010, pp 241-264.
  • Ingo Glöckner
    RAVE: A Fast Logic-Based Answer Validator
    In Carol Peters, Thomas Deselaers, Nicola Ferro, Julio Gonzalo, Gareth J.F. Jones, Mikko Kurimo, Thomas Mandl, Anselmo Peñas and Vivien Petras (Eds.) Evaluating Systems for Multilingual and Multimodal Information Access: 9th Workshop of the Cross-Language Evaluation Forum, CLEF 2008, Aarhus, Denmark, September 17-19, Revised Selected Papers, LNCS 5706, Springer, Heidelberg, 2009, pp. 468-471. (PDF)
  • Ingo Glöckner
    Finding Answer Passages with Rank Optimizing Decision Trees
    In Proceedings of the Eighth International Conference on Machine Learning and Applications (ICMLA-09), IEEE Press, 2009, pp. 208-214 (PDF, Slides)
  • Ulrich Furbach, Ingo Glöckner, Hermann Helbig and Björn Pelzer
    LogAnswer - A Deduction-Based Question Answering System
    In Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR-08), Sydney, Australia, August 2008. (PDF)
  • Ingo Glöckner
    Towards Logic-Based Question Answering under Time Constraints
    In Proceedings of the IAENG International Conference on Artificial Intelligence and Applications (ICAIA-08), pages 13-18, Hong Kong, March 2008. (PDF)
    (ausgezeichnet mit dem Certificate of Merit for the 2008 IAENG International Conference on Artificial Intelligence and Applications)
  • Ingo Glöckner
    University of Hagen at QA@CLEF 2008: Answer Validation Exercise
    In Results of the CLEF 2008 Cross-Language System Evaluation Campaign, Working Notes for the CLEF 2008 Workshop, Aarhus, Denmark, September 2008. (PDF)
  • Ingo Glöckner and Björn Pelzer
    Exploring Robustness Enhancements for Logic-Based Passage Filtering
    In Proceedings of the 12th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES-08), Zagreb, September 2008. (PDF)
  • Ingo Glöckner and Björn Pelzer
    The LogAnswer Project at CLEF 2008: Towards Logic-Based Question Answering
    In Results of the CLEF 2008 Cross-Language System Evaluation Campaign, Working Notes for the CLEF 2008 Workshop, Aarhus, Denmark, September 2008. (PDF)
  • Ingo Glöckner and Björn Pelzer
    Combining Logic and Machine Learning for Answering Questions
    In Carol Peters, Thomas Deselaers, Nicola Ferro, Julio Gonzalo, Gareth J.F. Jones, Mikko Kurimo, Thomas Mandl, Anselmo Peñas and Vivien Petras (Eds.) Evaluating Systems for Multilingual and Multimodal Information Access: 9th Workshop of the Cross-Language Evaluation Forum, CLEF 2008, Aarhus, Denmark, September 17-19, Revised Selected Papers, LNCS 5706, Springer, Heidelberg, 2009, pp. 401-408 (PDF)
  • Ingo Glöckner and Björn Pelzer
    The LogAnswer Project at CLEF 2009
    In Working Notes for the CLEF 2009 Workshop, Corfu, Greece, September 2009. (PDF)
  • Ingo Glöckner and Björn Pelzer
    Extending a Logic-Based Question Answering System for Administrative Texts
    In Carol Peters et al (Eds.) CLEF 2009 Workshop, LNCS 6241, Part I, Springer, Heidelberg, 2010, pp. 265-272 (PDF)
  • Ingo Glöckner and Björn Pelzer
    The LogAnswer Project at ResPubliQA 2010
    In Working Notes for the CLEF 2010 Workshop, Padua, Italy, September 2010. (PDF)
  • Björn Pelzer and Ingo Glöckner
    Combining Theorem Proving with Natural Language Processing
    Workshop on Practical Aspects of Automated Reasoning (PAAR-08), Sydney, Australia, August 2008. (PDF)