Lukas Grätz

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 9

Top Topics

Top Venues

LuxLogAI (Student / Workshop Papers)

Description Logics

J. Log. Comput.

Publications

Lukas Grätz, Reiner Hähnle, Richard Bubel
Finding Semantic Bugs Fast. FASE (2022)
Lukas Grätz
Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics. J. Log. Comput. 32 (1) (2022)
Eduard Kamburjan, Lukas Grätz
Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games. FMTea (2021)
Lukas Grätz
Analytic Tableaux for Non-deterministic Semantics. TABLEAUX (2021)
Lukas Grätz
Baumautomaten als notationelle Variante logischer Matrix-Semantik. SKILL (2019)
Lukas Grätz, Harold Boley, Adrian Paschke
PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine. RuleML+RR (Supplement) (2018)
Lukas Grätz
Concepts as Modalities in Description Logics. LuxLogAI (Student / Workshop Papers) (2018)
Lukas Grätz
Concepts as Modal Operators in Description Logics. Description Logics (2018)
Lukas Grätz
Leibniz on Reasoning about Impossible Concepts. LuxLogAI (Student / Workshop Papers) (2018)