Welcome at the homepage of Jesse Heyninck. Jesse Heyninck has completed his PhD in Philosophy at the Faculty of Philosophy and Educational Sciences at the Ruhr University in Bochum, Germany. He is currently an assistant professor in computer science at the Open Universiteit Heerlen, the Netherlands and an honorary research associate at the Department of Computer Science at the University of Cape Town.
News:
The paper "An Analysis of The Role of Syntax in Inductive Inference" (joint work with Richard Booth, Thomas Meyer and Lars-Phillip Spiegel) was accepted for the 22nd Conference on Knowledge Representation and Reasoning.
Two papers were accepted for ICLP 2025 (Technical Communications):
Interpretable Hybrid Machine Learning Models Using FOLD-R++ and Answer Set Programming (joint work with Sanne Wielinga)
Defeasible Conditionals using Answer Set Programming (joint work with Racquel Dennison and Thomas Meyer)
I have been appointed as program leader of the Master in Artifcial Intelligence at the Open Universiteit.
I was awarded funding for the project SaTSNASP: Safe and Transparent Scheduling with Neuro-Symbolic Answer.
The national research foundation (South-Africa) awarded me the prestigious p-rating, a recognition reserved for promising young researchers who have held a doctorate or equivalent qualification for less than five years.
Three papers were accepted for IJCAI 2025:
A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (joint work with Jeroen Spaans)
Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (joint work with Pascal Kettmann and Hannes Straß)
Generalized Safe Conditional Syntax Splitting of Belief Bases (joint work with Christoph Beierle, Lars-Phillip Spiegel, Jonas Philipp Haldimann, and Gabriele Kern-Isberne)
Two papers were accepted for AAAI 2025:
An algebraic notion of conditional independence, and its application to knowledge representation,
An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships (joint work with Spencer Killen and Jia-Huai You)
I gave a keynote talk at the Workshop on Theory and Applications of Answer Set Programming on Recent Advances on the Operator-Based Semantics of Logic Programming.
I gave a tutorial on Approximation Fixpoint Theory at KR 2024 together with Hannes Straß.
I was awarded funding for the project LogicLM: Combining Logic Programs with Language Model in the AiNed XS-program.
I (co-)chaired the Workshop on Non-Monotonic Reasoning 2024 (NMR 2024). This workshop was my very first publication venue, and I've contributed to every occurrence of the workshop since then. I'm therefore looking forward to contributing to the success of the workshop in 2024.