Pauken, Cedric; Schmitz, Andreas; Wimmer, Maria
Nutzung von elektronischen Katalogformaten in öffentlichen BeschaffungsverfahrenKlein Maike; Daniel Krupka; Cornelia Winter; Volker Wohlgemuth (Hrsg). Informatik 2023: designing futures: Zukünfte gestalten. 26.- 29. September 2023. Berlin. Bonn: Gesellschaft für Informatik 2023 S. 1 - 12
Schaffers, Uta; Zelger, Sabine
Ökonomie und DeutschunterrichtInformationen zur Deutschdidaktik : Zeitschrift für den Deutschunterricht in Wissenschaft und Schule. Bd. 47. H. 3. Innsbruck: Studien Verlag 2023
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
Eckelt, Marcus
On the Planned Apprenticeship Guarantee for Germany: An Attempt to Reduce the Risk of Social Exclusion During the Transition from School to VET?Vidmantas Tūtlys; Lina Vaitkutė; Christof Nägele (Hrsg). Vocational education and training transformations for digital, sustainable and socially fair future : Proceedings of the 5th Crossing Boundaries Conference in Vocational Education and Training, Kaunas, Lithuania, 25.-26. May 2023. Kaunas: Independently published 2023 S. 138 - 146
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