Friedrich Michel

According to our database, Friedrich Michel authored at least 4 papers between 2019 and 2022.

Collaborative distances:

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

2022

Efficient TBox Reasoning with Value Restrictions using the ℱℒ₀wer Reasoner.

Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß

Theory Pract. Log. Program., 2022

Model-based autotuning of discretization methods in numerical simulations of partial differential equations.

Nesrine Khouzami, Friedrich Michel, Pietro Incardona, Jerónimo Castrillón, Ivo F. Sbalzarini

J. Comput. Sci., 2022

Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract).

Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

2019

Efficient TBox Reasoning with Value Restrictions - Introducing the ℱ}_o \textitwer Reasoner.

Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß

Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019