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.
37005 Publications
2022 | Conference Abstract | LibreCat-ID: 52914
Dellori, Anna, and Lena Wessel. “Design Principles for Intertwining Local and Nonlocal Mathematics - The Case of Relating Registers and Representations in Abstract Algebra.” Proceedings of INDRUM2022 (International Network for Didactic Research in University Mathematics , edited by M Trigueros et al., 2022, pp. 572–73.
LibreCat
2022 | Conference Paper | LibreCat-ID: 52923
de Camargo e Souza Câmara, Igor, and Anni-Yasmin Turhan. “Rational Defeasible Subsumption in DLs with Nested Quantifiers: The Case of ELI\(\perp\).” 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, edited by Ofer Arieli et al., vol. 3197, CEUR-WS.org, 2022, pp. 159–162.
LibreCat
2022 | Conference Paper | LibreCat-ID: 52924
Tirtarasa, Satyadharma, and Anni-Yasmin Turhan. “Computing Generalizations of Temporal \emph\(Ε\)L Concepts with next and Global.” SAC ’22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022, edited by Jiman Hong et al., ACM, 2022, pp. 903–910, doi:10.1145/3477314.3507136.
LibreCat
| DOI
2022 | Conference (Editor) | LibreCat-ID: 52925
Governatori, Guido, and Anni-Yasmin Turhan, editors. Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings. Springer, 2022, doi:10.1007/978-3-031-21541-4.
LibreCat
| DOI
2022 | Conference Abstract | LibreCat-ID: 52919
Dellori, Anna, and Lena Wessel. “Pre-Service Teachers’ Professional Development: Relating Abstract Algebra and School Algebra.” Proceedings of the 24th Annual Conference on Research in Undergraduate Mathematics Education, edited by S S Karunakaran and A Higgins, 2022, p. 1177.
LibreCat
2022 | Conference Paper | LibreCat-ID: 52920
Baader, Franz, et al. “Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract).” 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, edited by Ofer Arieli et al., vol. 3263, CEUR-WS.org, 2022.
LibreCat
2022 | Conference Paper | LibreCat-ID: 52922
Peñaloza, Rafael, and Anni-Yasmin Turhan. “User-Aware Explications of Ontology Consequences: Levelling Technicality.” 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, edited by Christoph Beierle et al., vol. 3242, CEUR-WS.org, 2022, pp. 90–101.
LibreCat
2022 | Conference Paper | LibreCat-ID: 52921
Tirtarasa, Satyadharma, and Anni-Yasmin Turhan. “A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract).” 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, edited by Ofer Arieli et al., vol. 3263, CEUR-WS.org, 2022.
LibreCat
2022 | Journal Article | LibreCat-ID: 52918
Baader, Franz, et al. “Efficient TBox Reasoning with Value Restrictions Using the \(\mathscrF\)\(\mathscrL\)\(_\mbox0\)Wer Reasoner.” Theory Pract. Log. Program., vol. 22, no. 2, 2022, pp. 162–192, doi:10.1017/S1471068421000466.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 53080
Gaiser, Nina, et al. “Investigation of the Combustion Chemistry in Laminar, Low-Pressure Oxymethylene Ether Flames (OME0–4).” Combustion and Flame, vol. 243, 112060, Elsevier BV, 2022, doi:10.1016/j.combustflame.2022.112060.
LibreCat
| DOI