Sotabase

Career

· Postdoctoral Researcher, EAVISE - KU Leuven2024–
· Researcher PhD Student, EAVISE - KU Leuven2019–2024
· Teacher, CodeFever2016–2021
· Student Job Mailman, bpost2015–2017
· Industrial Engineering ICT/Electronics ICT, De Nayer Instituut2015–2019

Publications (56)

IDP-Z3: a reasoning engine for FO(.)
arXiv.org · 2022
10
cited
Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning
Theory and Practice of Logic Programming · 2021
10
cited
VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning
Electronic Proceedings in Theoretical Computer Science · 2025
7
cited
Adhesive selection via an interactive, user-friendly system based on Symbolic AI
Procedia CIRP · 2022
5
cited
Interactive configurator with FO(.) and IDP-Z3
2022
5
cited
GPT-3 for Decision Logic Modeling
RuleML+RR · 2023
4
cited
Knowledge-Based Support for Adhesive Selection
International Conference on Logic Programming and Non-Monotonic Reasoning · 2022
4
cited
Tackling the DMN Challenges with cDMN: a Tight Integration of DMN and constraint reasoning
RuleML+RR · 2020
4
cited
A Multifunctional, Interactive DMN Decision Modelling Tool
2020
3
cited
An epistemic logic for modeling decisions in the context of incomplete knowledge
ACM Symposium on Applied Computing · 2023
3
cited
Knowledge-Based Support for Adhesive Selection: Will it Stick?
Theory and Practice of Logic Programming · 2023
3
cited
Leveraging the Power of IDP with the Flexibility of DMN: A Multifunctional API
RuleML+RR · 2021
3
cited
Context-Aware Verification of DMN
Hawaii International Conference on System Sciences · 2022
2
cited
Interactive feature modeling with background knowledge for validation and configuration
Software Product Lines Conference · 2022
2
cited
A Domain Ontology for Ishikawa Diagrams to Enhance Root Cause Analysis
International Workshop on the Semantic Web · 2025
1
cited
On the Semantics of "null" in DMN: Undefined is not Unknown
RuleML+RR · 2022
1
cited
An Efficient Compiler for the IDP-Z3 Knowledge Base System
International Symposium on Practical Aspects of Declarative Languages · 2025
An Interactive Knowledge Base Application for Group Assignment
BNAIC/BENELEARN · 2019
A Table-Based Representation for Probabilistic Logic: Preliminary Results
arXiv.org · 2021
DIRT: a Literature-Based Benchmark Suite for Grounders
European Conference on Logics in Artificial Intelligence · 2025
Sotabase