Merlin Göttlinger

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 5

Top Topics

Probabilistic Context Free Grammars

Argumentation Semantics

Top Venues

Datenbank-Spektrum

it Inf. Technol.

Publications

Merlin Göttlinger, Lutz Schröder, Dirk Pattinson
The Alternating-Time μ-Calculus with Disjunctive Explicit Strategies. CSL (2021)
Natalie Dykes, Stefan Evert, Merlin Göttlinger, Philipp Heinrich, Lutz Schröder
Argument parsing via corpus queries. it Inf. Technol. 63 (1) (2021)
Natalie Dykes, Stefan Evert, Merlin Göttlinger, Philipp Heinrich, Lutz Schröder
Reconstructing Arguments from Noisy Text. Datenbank-Spektrum 20 (2) (2020)
Merlin Göttlinger, Lutz Schröder
Trichotomic Argumentation Representation. CoRR (2018)
Hans-Peter Deifel, Merlin Göttlinger, Stefan Milius, Lutz Schröder, Christian Dietrich, Daniel Lohmann
Automatic verification of application-tailored OSEK kernels. FMCAD (2017)