Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
37006 Publications
2022 | Conference Paper | LibreCat-ID: 52923
Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI\(\perp\)
I. de Camargo e Souza Câmara, A.-Y. Turhan, in: O. Arieli, G. Casini, L. Giordano (Eds.), Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022, CEUR-WS.org, 2022, pp. 159–162.
LibreCat
I. de Camargo e Souza Câmara, A.-Y. Turhan, in: O. Arieli, G. Casini, L. Giordano (Eds.), Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022, CEUR-WS.org, 2022, pp. 159–162.
2022 | Conference Paper | LibreCat-ID: 52924
Computing generalizations of temporal \emph\(ϵ\)L concepts with next and global
S. Tirtarasa, A.-Y. Turhan, in: J. Hong, M. Bures, J.W. Park, T. Cerný (Eds.), SAC ’22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022, ACM, 2022, pp. 903–910.
LibreCat
| DOI
S. Tirtarasa, A.-Y. Turhan, in: J. Hong, M. Bures, J.W. Park, T. Cerný (Eds.), SAC ’22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022, ACM, 2022, pp. 903–910.
2022 | Conference (Editor) | LibreCat-ID: 52925
Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings
G. Governatori, A.-Y. Turhan, eds., Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings, Springer, 2022.
LibreCat
| DOI
G. Governatori, A.-Y. Turhan, eds., Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings, Springer, 2022.
2022 | Conference Abstract | LibreCat-ID: 52919
Pre-service Teachers' Professional Development: Relating Abstract Algebra and School Algebra
A. Dellori, L. Wessel, in: S.S. Karunakaran, A. Higgins (Eds.), Proceedings of the 24th Annual Conference on Research in Undergraduate Mathematics Education, 2022, p. 1177.
LibreCat
A. Dellori, L. Wessel, in: S.S. Karunakaran, A. Higgins (Eds.), Proceedings of the 24th Annual Conference on Research in Undergraduate Mathematics Education, 2022, p. 1177.
2022 | Conference Paper | LibreCat-ID: 52920
Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract)
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, in: O. Arieli, M. Homola, J.C. Jung, M.-L. Mugnier (Eds.), Proceedings of the 35th International Workshop on Description Logics {(DL} 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, CEUR-WS.org, 2022.
LibreCat
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, in: O. Arieli, M. Homola, J.C. Jung, M.-L. Mugnier (Eds.), Proceedings of the 35th International Workshop on Description Logics {(DL} 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, CEUR-WS.org, 2022.
2022 | Conference Paper | LibreCat-ID: 52922
User-aware Explications of Ontology Consequences: Levelling Technicality
R. Peñaloza, A.-Y. Turhan, in: C. Beierle, M. Ragni, F. Stolzenburg, K. Sauerwald, M. Thimm (Eds.), Proceedings of the 8th Workshop on Formal and Cognitive Reasoning Co-Located with the 45th German Conference on Artificial Intelligence {(KI} 2022), Virtual Event, Trier, Germany, September 19, 2022, CEUR-WS.org, 2022, pp. 90–101.
LibreCat
R. Peñaloza, A.-Y. Turhan, in: C. Beierle, M. Ragni, F. Stolzenburg, K. Sauerwald, M. Thimm (Eds.), Proceedings of the 8th Workshop on Formal and Cognitive Reasoning Co-Located with the 45th German Conference on Artificial Intelligence {(KI} 2022), Virtual Event, Trier, Germany, September 19, 2022, CEUR-WS.org, 2022, pp. 90–101.
2022 | Conference Paper | LibreCat-ID: 52921
A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract)
S. Tirtarasa, A.-Y. Turhan, in: O. Arieli, M. Homola, J.C. Jung, M.-L. Mugnier (Eds.), Proceedings of the 35th International Workshop on Description Logics {(DL} 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, CEUR-WS.org, 2022.
LibreCat
S. Tirtarasa, A.-Y. Turhan, in: O. Arieli, M. Homola, J.C. Jung, M.-L. Mugnier (Eds.), Proceedings of the 35th International Workshop on Description Logics {(DL} 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, CEUR-WS.org, 2022.
2022 | Journal Article | LibreCat-ID: 52918
Efficient TBox Reasoning with Value Restrictions using the \(\mathscrF\)\(\mathscrL\)\(_\mbox0\)wer Reasoner
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, Theory Pract. Log. Program. 22 (2022) 162–192.
LibreCat
| DOI
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, Theory Pract. Log. Program. 22 (2022) 162–192.
2022 | Journal Article | LibreCat-ID: 53080
Investigation of the combustion chemistry in laminar, low-pressure oxymethylene ether flames (OME0–4)
N. Gaiser, H. Zhang, T. Bierkandt, S. Schmitt, J. Zinsmeister, T. Kathrotia, P. Hemberger, S. Shaqiri, T. Kasper, M. Aigner, P. Oßwald, M. Köhler, Combustion and Flame 243 (2022).
LibreCat
| DOI
N. Gaiser, H. Zhang, T. Bierkandt, S. Schmitt, J. Zinsmeister, T. Kathrotia, P. Hemberger, S. Shaqiri, T. Kasper, M. Aigner, P. Oßwald, M. Köhler, Combustion and Flame 243 (2022).
2022 | Journal Article | LibreCat-ID: 53081
On the diversity of fossil and alternative gasoline combustion chemistry: A comparative flow reactor study
J. Zinsmeister, N. Gaiser, J. Melder, T. Bierkandt, P. Hemberger, T. Kasper, M. Aigner, M. Köhler, P. Oßwald, Combustion and Flame 243 (2022).
LibreCat
| DOI
J. Zinsmeister, N. Gaiser, J. Melder, T. Bierkandt, P. Hemberger, T. Kasper, M. Aigner, M. Köhler, P. Oßwald, Combustion and Flame 243 (2022).
2022 | Journal Article | LibreCat-ID: 35111
Ein kritisch-multiperspektivischer Blick auf Forschendes Lernen in der Lehrkräftebildung
T. Bloh, C. Caruso, die hochschullehre 8 (2022) 299–312.
LibreCat
| DOI
T. Bloh, C. Caruso, die hochschullehre 8 (2022) 299–312.
2022 | Journal Article | LibreCat-ID: 53084
Insights into the decomposition of zirconium acetylacetonate using synchrotron radiation: Routes to the formation of volatile Zr-intermediates
S. Grimm, S.-J. Baik, P. Hemberger, T. Kasper, A.M. Kempf, B. Atakan, Journal of Materials Research 37 (2022) 1558–1575.
LibreCat
| DOI
S. Grimm, S.-J. Baik, P. Hemberger, T. Kasper, A.M. Kempf, B. Atakan, Journal of Materials Research 37 (2022) 1558–1575.
2022 | Journal Article | LibreCat-ID: 53083
Mechanism and Kinetics of the Thermal Decomposition of Fe(C5H5)2 in Inert and Reductive Atmosphere: A Synchrotron‐Assisted Investigation in A Microreactor
S. Grimm, P. Hemberger, T. Kasper, B. Atakan, Advanced Materials Interfaces 9 (2022).
LibreCat
| DOI
S. Grimm, P. Hemberger, T. Kasper, B. Atakan, Advanced Materials Interfaces 9 (2022).
2022 | Conference Paper | LibreCat-ID: 52851
Jupyter Notebooks for Teaching, Learning, and Doing Data Science
Y. Fleischer, S. Hüsing, R. Biehler, S. Podworny, C. Schulte, in: Bridging the Gap: Empowering and Educating Today’s Learners in Statistics. Proceedings of the Eleventh International Conference on Teaching Statistics, International Association for Statistical Education, 2022.
LibreCat
| DOI
Y. Fleischer, S. Hüsing, R. Biehler, S. Podworny, C. Schulte, in: Bridging the Gap: Empowering and Educating Today’s Learners in Statistics. Proceedings of the Eleventh International Conference on Teaching Statistics, International Association for Statistical Education, 2022.
2022 | Journal Article | LibreCat-ID: 47552
Model-based design of a segmented reactor for the flexible operation of the methanation of CO2
F. Herrmann, M. Grünewald, J. Riese, International Journal of Hydrogen Energy 48 (2022) 9377–9389.
LibreCat
| DOI
F. Herrmann, M. Grünewald, J. Riese, International Journal of Hydrogen Energy 48 (2022) 9377–9389.
2022 | Journal Article | LibreCat-ID: 47554
Demand Side Management in Biogas Plants - Dynamic Simulation of the Influence of Time-varying Agitation on Biogas Production
L. Lilli, L. Röder, A. Gröngröft, M. Grünewald, J. Riese, Energy Proceedings (2022).
LibreCat
L. Lilli, L. Röder, A. Gröngröft, M. Grünewald, J. Riese, Energy Proceedings (2022).
2022 | Conference Abstract | LibreCat-ID: 53115
"Schwangerschaft ressourcenorientiert erleben" (SRE-Studie) - Das Zürcher Ressourcen Modell (ZRM) als Intervention zur Stressreduktion in der Geburtsvorbereitung.
T. Schneider, J. Weber, N.H. Bauer, in: 2022.
LibreCat
T. Schneider, J. Weber, N.H. Bauer, in: 2022.
2022 | Conference Abstract | LibreCat-ID: 53111
"ProGRess" - Prokrastination reduzieren und Gesundheit fördern.
T. Schneider, K.B. Klingsieck, in: 2022.
LibreCat
T. Schneider, K.B. Klingsieck, in: 2022.
2022 | Conference Abstract | LibreCat-ID: 53112
"Schwangerschaft ressourcenorientiert erleben" (SRE-Studie) - Stressreduktion in der Schwangerschaft mit dem Zürcher Ressourcen Modell (ZRM).
T. Schneider, J. Weber, N.H. Bauer, in: Osnabrück, 2022.
LibreCat
T. Schneider, J. Weber, N.H. Bauer, in: Osnabrück, 2022.
2022 | Conference Abstract | LibreCat-ID: 53110
"ProGRess" - Prokrastination ressourcenstark und gesundheitsfördernd begegnen.
T. Schneider, K.B. Klingsieck, in: 2022.
LibreCat
T. Schneider, K.B. Klingsieck, in: 2022.