Personal Page of

    Björn Pelzer

    • Dipl. Inf.
    • member of the AI research group AGKI at University Koblenz-Landau
    • currently working on:
      • the deduction-based question-answering system LogAnswer, a cooperation with the IICS of the FernUniversität in Hagen
      • E-KRHyper, an extension of Christoph Wernhard's theorem prover KRHyper
      • another theorem prover, E-Darwin, an equality extended version of Alexander Fuchs' Darwin


    Publications
    Teaching
    Osaka Student Exchange Program (DAAD)

    Contact:

    Björn Pelzer
    Universität Koblenz
    Room B225
    Universitätsstrasse 1
    56070 Koblenz
    Germany
    email
    Phone: (+49) 261 287 2776