Björn Pelzer

Available identifiers

zbMath Open pelzer.bjornMaRDI QIDQ429584

List of research outcomes

Publication	Date of Publication	Type
Automated Reasoning in the Wild	2015-12-02	Paper
System Description: E-KRHyper 1.4	2013-06-14	Paper
Model evolution with equality -- revised and implemented	2012-06-20	Paper
An application of automated reasoning in natural language question answering	2010-06-17	Paper
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation	2010-02-19	Paper
System Description: E- KRHyper	2009-03-06	Paper
Hyper Tableaux with Equality	2009-03-06	Paper
LogAnswer - A Deduction-Based Question Answering System (System Description)	2008-11-27	Paper

Research outcomes over time

This page was built for person: Björn Pelzer