Willi Hieke
Ph.D. Student
NameWilli Hieke
Send encrypted email via the SecureMail portal (for TUD external users only).
Research Interests
I'm interested in the the connection of computational cognitive science and logics. In particular, my focus lies in developing suitable formalisms for modelling both human and machine reasoning, which is necessary to understand as well as to design systems of intelligent behaviour. As a step in this direction, my PhD project is motivated by generating intelligible explanations for machine reasoning results. To appropriately address this task, I include findings from psychology about how humans solve problems and represent knowledge.
Main Project
Employment
| since 2022 | Research Associate, Systems Neuroscience Group, Technische Universität Dresden |
| 2018 – 2021 | Research Associate, Chair for Automata Theory, Technische Universität Dresden |
| 2016 – 2018 | Research Assistant, Chair for Logic and Theory of Science, Leipzig University |
| 2014 – 2015 | Inspector, Department for Statistics, Deutsche Bundesbank, Frankfurt on the Main |
Education and Qualifications
| 2018 | Master of Arts (M.A.), Logic, Leipzig University |
| 2014 | Bachelor of Science (B.Sc.), Central Banking, University of Applied Sciences, Hachenburg |
| 2011 | Banking Professional & Foreign Language Correspondent, CCI Neubrandenburg |
Funding and Honors
| 2022 | Best Research Paper Award at the 11th International Joint Conference on Knowledge Graphs (IJCKG-22) |
| 2018 | Scholarship for Doctoral Studies, DFG (RTG 1763) |
| 2014 | Award for Bachelor Graduation among the Top 10, University of Applied Sciences of Deutsche Bundesbank |
| 2011 | Scholarship for Bachelor Studies, Deutsche Bundesbank |
| 2011 |
Award for best Graduation as Banking Professional, CCI Neubrandenburg |
C. Alrabbaa and W. Hieke. Explaining Non-Entailment by Model Transformation for the Description Logic EL. In A. Artale, X. Zhang, D. Calvanese, and H. Wang, editors, Proceedings of the 11th International Conference on Knowledge Graphs (IJCKG-2022). Association for Computing Machinery (ACM), 2022. (to appear)
W. Hieke. Model Transformation in Description Logics – Motivation and Approach. In M. Minor, editor, Proceedings of the Doctoral Constortium of the 45th German Conference on Artificial Intelligence (KI-2022), pages 21–25. Gesellschaft für Informatik (GI), 2022.
https://ki2022.gi.de/fileadmin/TG/KI2022/DCProceedingsKI2022.pdf#page=21
C. Alrabbaa, W. Hieke, and A.-Y. Turhan. Countermodel Transformation for Explaining Non-Subsumption in EL. In C. Beierle, M. Ragni, F. Stolzenburg, and M. Thimm, editors, Proceedings of the 7th Workshop on Formal and Cognitive Reasoning (FCR-2021) co-located with the 44th German Conference on Artificial Intelligence (KI-2021), volume 2961 of CEUR Workshop Proceedings, pages 9–22. CEUR-WS.org, 2021.
http://ceur-ws.org/Vol-2961/paper_2.pdf
C. Alrabbaa, W. Hieke, and A.-Y. Turhan. Relevant Parts of Countermodels as Explanations for EL Non-Subsumptions (Extended Abstract). In Informal Proceedings of the 2nd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR-2021) co-located with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR-2021), 2021.
https://xlokr21.ai.vub.ac.be/papers/20/paper.pdf
W. Hieke, F. Kriegel, and A. Nuradiansyah. Repairing EL TBoxes by Means of Countermodels Obtained by Model Transformation. In M. Homola, V. Ryzhikov, and R. A. Schmidt, editors, Proceedings of the 34th International Workshop on Description Logics (DL-2021), volume 2954 of CEUR Workshop Proceedings. CEUR-WS.org, 2021.
http://ceur-ws.org/Vol-2954/paper-17.pdf
W. Hieke and A.-Y. Turhan. Towards Model Transformation in Description Logics – Investigating the Case of Transductions. In C. Beierle, M. Ragni, F. Stolzenburg, and M. Thimm, editors, Proceedings of the 6th Workshop on Formal and Cognitive Reasoning (FCR-2020) co-located with the 43th German Conference on Artificial Intelligence (KI-2020), volume 2680 of CEUR Workshop Proceedings, pages 69–82. CEUR-WS.org, 2020.
http://ceur-ws.org/Vol-2680/paper6.pdf