Florian Kammüller. Explanation by Automated Reasoning Using the Isabelle Infrastructure Framework. In Jessie Y. C. Chen, Gino Fragomeni, Helmut Degen, Stavroula Ntoa, editors, HCI International 2022 - Late Breaking Papers: Interacting with eXtended Reality and Artificial Intelligence - 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings. Volume 13518 of Lecture Notes in Computer Science, pages 307-318, Springer, 2022. [doi]
Abstract is missing.