Lukas Grätz

According to our database, Lukas Grätz authored at least 9 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics.

Lukas Grätz

J. Log. Comput., 2022

Finding Semantic Bugs Fast.

Lukas Grätz, Reiner Hähnle, Richard Bubel

Proceedings of the Fundamental Approaches to Software Engineering, 2022

2021

Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games.

Eduard Kamburjan, Lukas Grätz

Proceedings of the Formal Methods Teaching - 4th International Workshop and Tutorial, 2021

Analytic Tableaux for Non-deterministic Semantics.

Lukas Grätz

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

2019

Baumautomaten als notationelle Variante logischer Matrix-Semantik.

Lukas Grätz

Proceedings of the Studierendenkonferenz Informatik, 2019

2018

PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine.

Lukas Grätz, Harold Boley, Adrian Paschke

Proceedings of the Doctoral Consortium and Challenge @ RuleML+RR 2018 hosted by 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), 2018

Concepts as Modalities in Description Logics.

Lukas Grätz

Proceedings of the Selected Student Contributions and Workshop Papers of LuxLogAI 2018, 2018

Leibniz on Reasoning about Impossible Concepts.

Lukas Grätz

Proceedings of the Selected Student Contributions and Workshop Papers of LuxLogAI 2018, 2018

Concepts as Modal Operators in Description Logics.

Lukas Grätz

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018