Universität Koblenz
- 0261/287-0
Peuter, Dennis; Sofronie-Stokkermans, Viorica; Thunert, Sebastian
On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics EL, EL+arXiv. 2023 2307.08843
Peuter, Dennis; Sofronie-Stokkermans, Viorica; Thunert, Sebastian
On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics Σι, Σι+Brigitte Pientka; Cesare Tinelli (Hrsg). Automated Deduction CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings. Cham: Springer Nature Switzerland 2023 S. 419 - 437
Peuter, Dennis; Sofronie-Stokkermans, Viorica; Thunert, Sebastian
On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics 𝓔𝓛, 𝓔𝓛+29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings. Bd. LNCS 14132. Springer 2023 S. 419 - 437
Merl, Thorsten
On the norm of individual autonomy in schoolJudith Hangartner; Héloïse Durler; Regula Fankhauser; Crispin Girinshuti (Hrsg). The Fabrication of the Autonomous Learner : ethnographies of educational practices in Switzerland, France and Germany. London: Routledge 2023 S. 192 - 205
Memmesheimer, Raphael
On the recognition of human activities and the evaluation of its imitation by robotic systemsKoblenz: Universität Koblenz 2023
Corea, Carl
On the Suitability of Inconsistency MeasuresClayton Baker; Lucía Gómez Álvarez; Jesse Heyninck; Thomas Meyer; Rafael Peñaloza; Srdjan Vesic (Hrsg). KoDis + CAKR 2023: Knowledge Diversity and Cognitive Aspects of Knowledge Representation : Joint Proceedings of the 2nd Workshop on Knowledge Diversity and the 2nd Workshop on Cognitive Aspects of Knowledge Representation co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023). Aachen: CEUR/RWTH 2023 13 S.
Peuter, Dennis; Marohn, Philipp; Sofronie-Stokkermans, Viorica
On the Verification of Parametric Systems.CoRR. Bd. abs/2310.18069. 2023
Böltz, Lucas; Sofronie-Stokkermans, Viorica; Frey, Hannes
On the Verification of the Correctness of a Subgraph Construction Algorithm.CoRR. Bd. abs/2311.17860. 2023
Wolters, Anna; Blazevic, Mevludin; Riehle, Dennis M.
On-Premise Internet of Things (IoT) Data Storage: Comparison of Database Management SystemsGary Wills; Levente Buttyán; Péter Kacsuk; Victor Chang (Hrsg). Proceedings of the 8th International Conference on Internet of Things, Big Data and Security IoTBDS: Prague, Czech Republic; 21 to 23 April 2023. Setúbal: SciTePress 2023 S. 140 - 149
Hörsch, Hella; von Korflesch, Harald F.O.; Krath, Jeanine et al.
Online Educational Escape Rooms – Ein FallbeispielLorenz Mhros; Julia Franz; Dominik Herrmann; Konstantin Lindner; Thorsten Staake (Hrsg). Digitale Kulturen der Lehre entwickeln: Rahmenbedingungen, Konzepte und Werkzeuge. Wiesbaden: Springer VS 2023 S. 223 - 244