Nina Knieriemen

According to our database, Nina Knieriemen authored at least 4 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Explaining Reasoning Results for OWL Ontologies with Evee.

Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Anke Hirsch, Nina Knieriemen, Patrick Koopmann, Alisa Kovtunova, Antonio Krüger, Alexej Popovic, Ida S. R. Siahaan

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

2022

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

Proceedings of the Rules and Reasoning, 2022

2021

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

Proceedings of the ICMI '21: International Conference on Multimodal Interaction, 2021

In the Hand of the Beholder: Comparing Interactive Proof Visualizations.

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

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021