In the head of the beholder: Comparing different proof representations C Alrabbaa, S Borgwardt, A Hirsch, N Knieriemen, A Kovtunova, ... International Joint Conference on Rules and Reasoning, 211-226, 2022 | 9 | 2022 |
In the Eye of the Beholder: Which Proofs are Best? S Borgwardt, A Hirsch, A Kovtunova, F Wiehr Description Logics, 2020 | 8 | 2020 |
Why do I have to take over control? Evaluating safe handovers with advance notice and explanations in HAD F Wiehr, A Hirsch, L Schmitz, N Knieriemen, A Krüger, A Kovtunova, ... Proceedings of the 2021 International Conference on Multimodal Interaction …, 2021 | 7 | 2021 |
Safe handover in mixed-initiative control for cyber-physical systems F Wiehr, A Hirsch, F Daiber, A Kruger, A Kovtunova, S Borgwardt, ... arXiv preprint arXiv:2010.10967, 2020 | 7 | 2020 |
VirtualLadder: Using Interactive Projections for Agility Ladder Training F Kosmalla, F Hupperich, A Hirsch, F Daiber, A Krüger Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing …, 2021 | 3 | 2021 |
Explaining reasoning results for owl ontologies with evee C Alrabbaa, S Borgwardt, T Friese, A Hirsch, N Knieriemen, P Koopmann, ... Proceedings of the International Conference on Principles of Knowledge …, 2024 | 2 | 2024 |
Impact of Virtual Environment Design on the Assessment of Virtual Agents T Schneeberger, A Hirsch, C König, P Gebhard Proceedings of the 19th ACM International Conference on Intelligent Virtual …, 2019 | 2 | 2019 |