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

Björn Pelzer
Universität Koblenz
Room B221
Universitätsstrasse 1
56070 Koblenz
Germany
email