Skip to main content Skip to main navigation

Nina Knieriemen, M.Sc.

Organizational unit Cognitive Assistants
Contact

Publications

In the Head of the Beholder: Comparing Different Proof Representations

Christian Alrabbaa; Stefan Borgwardt; Anke Hirsch; Nina Knieriemen; Alisa Kovtunova; Anna Milena Rothermel; Frederik Wiehr

In: Guido Governatori; Anni-Yasmin Turhan (Hrsg.). Rules and Reasoning. International Joint Conference on Rules and Reasoning (RuleML+RR-2022), Cham, Pages 211-226, ISBN 978-3-031-21541-4, Springer International Publishing, 2022.

To the publication

Why Do I Have to Take Over Control? Evaluating Safe Handovers with Advance Notice and Explanations in HAD

Frederik Wiehr; Anke Hirsch; Lukas Schmitz; Nina Knieriemen; Antonio Krüger; Alisa Kovtunova; Stefan Borgwardt; Ernie Chang; Vera Demberg; Marcel Steinmetz; Jörg Hoffmann

In: Proceedings of the 2021 International Conference on Multimodal Interaction. ACM International Conference on Multimodal Interaction (ICMI-2021), New York, NY, USA, ICMI '21, ISBN 9781450384810, Association for Computing Machinery, 2021.

To the publication

In the Hand of the Beholder: Comparing Interactive Proof Visualizations

Christian Alrabbaa; Stefan Borgwardt; Nina Knieriemen; Alisa Kovtunova; Anna Milena Rothermel; Frederik Wiehr

In: Martin Homola; Vladislav Ryzhikov; Renate A. Schmidt (Hrsg.). Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021. International Workshop on Description Logics (DL-2021), CEUR Workshop Proceedings, Vol. 2954, CEUR-WS.org, 2021.

To the publication