Publications



  • Model Evolution with Equality - Revised and Implemented
    Peter Baumgartner, Björn Pelzer, Cesare Tinelli
    Journal of Symbolic Computation, FTP Special Issue, to appear
    PDF - BibTeX - Abstract

  • A Natural Language Question Answering System as a Participant in Human Q&A Portals
    Tiansi Dong, Ulrich Furbach, Ingo Glöckner, Björn Pelzer
    Proceedings, International Joint Conference on Artificial Intelligence (IJCAI 2011)
    PDF - BibTeX - Abstract

  • LogAnswer in Question Answering Forums
    Tiansi Dong, Ingo Glöckner, Björn Pelzer
    ICAART 2011
    PDF - BibTeX - Abstract

  • Logic-Based Question Answering
    Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer
    KI, Special Issue on Automated Deduction
    PDF - BibTeX - Abstract

  • The LogAnswer Project at ResPubliQA 2010
    Ingo Glöckner, Björn Pelzer
    CLEF (Notebook Papers/LABs/Workshops), 2010
    PDF - BibTeX - Abstract

  • An Application of Automated Reasoning in Natural Language Question Answering
    Ulrich Furbach, Ingo Glöckner, Björn Pelzer
    AI Communications, PAAR Special Issue, 2010
    PDF - BibTeX - Abstract

  • Extending a Logic-Based Question Answering System for Administrative Texts
    Ingo Glöckner, Björn Pelzer
    CLEF 2009, Revised Selected Papers, 2009
    PDF - BibTeX - Abstract

  • The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation
    Peter Baumgartner, Ulrich Furbach, Björn Pelzer
    Journal of Logic and Computation, 2008
    PDF - BibTeX - Abstract

  • Combining Logic and Machine Learning for Answering Questions
    Ingo Glöckner, Björn Pelzer
    CLEF 2008, Revised Selected Papers, 2008
    PDF - BibTeX - Abstract

  • LogAnswer - A Deduction-Based Question Answering System
    Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer
    Proceedings, 4th International Joint Conference on Automated Reasoning (IJCAR 2008)
    PDF - BibTeX - Abstract

  • Combining Theorem Proving with Natural Language Processing
    Ingo Glöckner, Björn Pelzer
    IJCAR '08 Workshop on Practical Aspects of Automated Reasoning (PAAR-2008)
    PDF - BibTeX - Abstract

  • Exploring Robustness Enhancements for Logic-Based Passage Filtering
    Ingo Glöckner, Björn Pelzer
    Proceedings, 12th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2008)
    PDF - BibTeX - Abstract

  • Hyper Tableaux with Equality
    Peter Baumgartner, Ulrich Furbach, Björn Pelzer
    Proceedings, International Conference on Automated Deduction (CADE 2007)
    PDF - BibTeX - Abstract

  • System Description: E-KRHyper
    Björn Pelzer, Christoph Wernhard
    Proceedings, International Conference on Automated Deduction (CADE 2007)
    PDF - BibTeX - Abstract

  • Diploma Thesis: E-KRHyper – Extending the KRHyper Theorem Prover with Equality Reasoning
    Björn Pelzer
    PDF
  • ICAART Slides
    Björn Pelzer
    ppt

    • Home