In the Hand of the Beholder: Comparing Interactive Proof Visualizations

Christian Alrabbaa, Stefan Borgwardt, Nina Knieriemen, Alisa Kovtunova, Anna Milena Rothermel, Frederik Wiehr. In the Hand of the Beholder: Comparing Interactive Proof Visualizations. In Martin Homola, Vladislav Ryzhikov, Renate A. Schmidt, editors, 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. Volume 2954 of CEUR Workshop Proceedings, CEUR-WS.org, 2021. [doi]

Authors

Christian Alrabbaa

This author has not been identified. Look up 'Christian Alrabbaa' in Google

Stefan Borgwardt

This author has not been identified. Look up 'Stefan Borgwardt' in Google

Nina Knieriemen

This author has not been identified. Look up 'Nina Knieriemen' in Google

Alisa Kovtunova

This author has not been identified. Look up 'Alisa Kovtunova' in Google

Anna Milena Rothermel

This author has not been identified. Look up 'Anna Milena Rothermel' in Google

Frederik Wiehr

This author has not been identified. Look up 'Frederik Wiehr' in Google