Homepage of Wijnand van Woerkom
I am a second year PhD candidate at Utrecht University, supervised by Henry Prakken, Davide Grossi, and Bart Verheij. My work is concerned with explaining outcomes of data-driven machine-learning applications to their end users, particularly in contexts where the decisions have ethical, legal, or societal implications. This project is part of the Hybrid Intelligence Centre, which is focused on the combination of machine and human intelligence.
My research interests include interpretable machine learning, responsible artificial intelligence, and case-based reasoning. Some other areas that I have worked in are mathematical logic, category theory, type theory, and term rewriting.
Publications
Hierarchical a Fortiori Reasoning with Dimensions [pdf, url].
Wijnand van Woerkom, Davide Grossi, Henry Prakken, and Bart Verheij.
Thirty-sixth International Conference on Legal Knowledge and Information Systems (JURIX), 2023.
Hierarchical Precedential Constraint [pdf, url].
Wijnand van Woerkom, Davide Grossi, Henry Prakken, and Bart Verheij.
Nineteenth International Conference on Artificial Intelligence and Law (ICAIL), 2023.
Justification in Case-Based Reasoning [pdf, url].
Wijnand van Woerkom, Davide Grossi, Henry Prakken, and Bart Verheij.
First International Workshop on Argumentation for eXplainable AI (ArgXAI), 2022.
Landmarks in Case-Based Reasoning: From Theory to Data [pdf, url].
Wijnand van Woerkom, Davide Grossi, Henry Prakken, and Bart Verheij.
First International Conference on Hybrid Human-Machine Intelligence (HHAI), 2022.
Nominated for best paper award.
Algebraic models of type theory [pdf].
Wijnand van Woerkom, supervised by Benno van den Berg.
Master of Logic thesis, University of Amsterdam, 2021.
Number representations and term rewriting [pdf, url].
Boas Kluiving, Wijnand van Woerkom, supervised by Inge Bethke and Alban Ponse.
Arxiv, 2016.
