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
Hyper Tableaux with Equality	2009-03-06	Paper
System Description: E- KRHyper	2009-03-06	Paper
LogAnswer - A Deduction-Based Question Answering System (System Description)	2008-11-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Björn Pelzer