Jan Frederik Schaefer

List of publications:

BibTeX-Download


Lehrstuhl für Informatik 8 (Theoretische Informatik) Department Informatik Professur für Wissensrepräsentation und -verarbeitung
close-button

Types of publications

Journal article
Book chapter / Article in edited volumes
Authored book
Translation
Thesis
Edited Volume
Conference contribution
Other publication type
Unpublished / Preprint

Publication year

From
To

Abstract

Journal

Towards an Annotation Standard for STEM Documents: Datasets, Benchmarks, and Spotters (2023) Schaefer JF, Kohlhase M Conference contribution GLIF: A Declarative Framework for Symbolic Natural Language Understanding (2020) Schaefer JF, Kohlhase M Conference contribution Prototyping Controlled Mathematical Languages in Jupyter Notebooks (2020) Schaefer JF, Amann K, Kohlhase M Conference contribution Logic-Independent Proof Search in Logical Frameworks: (Short Paper) (2020) Kohlhase M, Rabe F, Sacerdoti Coen C, Schaefer JF Conference contribution Syntactic/semantic analysis for high-precision math linguistics (2018) Schaefer JF, Kohlhase M Conference contribution, Original article