Autor der Publikation

Efficient TBox Reasoning with Value Restrictions Using the ℱℒower Reasoner

, , , , und . DL 2022 - Proceedings of the 35th International Workshop on Description Logics, co-located with Federated Logic Conference, FLoC 2022, Volume 3263 von CEUR Workshop Proceedings, CEUR-WS, (2022)35th International Workshop on Description Logics, DL 2022 ; Conference date: 07-08-2022 Through 10-08-2022.

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Michel, Friedrich
Eine Person hinzufügen mit dem Namen Michel, Friedrich
 

Weitere Publikationen von Autoren mit dem selben Namen

Model-based autotuning of discretization methods in numerical simulations of partial differential equations, , , , und . Journal of Computational Science, (Januar 2022)Efficient TBox Reasoning with Value Restrictions using the wer Reasoner, , , , und . Theory and Practice of Logic Programming, (Oktober 2021)Efficient TBox Reasoning with Value Restrictions Using the ℱℒower Reasoner, , , , und . DL 2022 - Proceedings of the 35th International Workshop on Description Logics, co-located with Federated Logic Conference, FLoC 2022, Volume 3263 von CEUR Workshop Proceedings, CEUR-WS, (2022)35th International Workshop on Description Logics, DL 2022 ; Conference date: 07-08-2022 Through 10-08-2022.