Publications
Here you may find a list of all my publications and presentations, with relevant links.2025
VERUS-LM: a Versatily Framework for Combining LLMs with Symbolic Reasoning
Benjamin Callewaert, Simon Vandevelde, Joost Vennekens Pre-print
Benjamin Callewaert, Simon Vandevelde, Joost Vennekens Pre-print


2024
Enhancing Computer Vision with Knowledge: a Rummikub Case Study
Simon Vandevelde, Laurent Mertens, Sverre Lauwers, Joost Vennekens Accepted at ESANN 2025
Simon Vandevelde, Laurent Mertens, Sverre Lauwers, Joost Vennekens Accepted at ESANN 2025


Efficiently grounding FOL using bit vectors
Lucas Van Laer, Simon Vandevelde, Joost Vennekens Presented at LPNMR 2024
Lucas Van Laer, Simon Vandevelde, Joost Vennekens Presented at LPNMR 2024


An epistemic logic for modeling decisions in the context of incomplete knowledge
Djordje Markovic, Simon Vandevelde, Linde Vanbesien, Joost Vennekens, Marc Denecker Presented at 2024 ACM/SIGAPP Symposium on Applied Computing
Djordje Markovic, Simon Vandevelde, Linde Vanbesien, Joost Vennekens, Marc Denecker Presented at 2024 ACM/SIGAPP Symposium on Applied Computing

Knowledge-Based Support for Adhesive Selection: Will it Stick?
Simon Vandevelde, Jeroen Jordens, Bart Van Doninck, Maarten Witters, Joost Vennekens, 2024 Published in Theory and Practice of Logic Programming
Simon Vandevelde, Jeroen Jordens, Bart Van Doninck, Maarten Witters, Joost Vennekens, 2024 Published in Theory and Practice of Logic Programming

Extending Feature Models with Types
Benjamin Callewaert, Simon Vandevelde, Bart Coppens, Nuno Comenda, Nicholas Decleyre and Joost Vennekens, 2024 Presented at HICSS 2024
Benjamin Callewaert, Simon Vandevelde, Bart Coppens, Nuno Comenda, Nicholas Decleyre and Joost Vennekens, 2024 Presented at HICSS 2024

2023
Facilitating Investment Strategy Negotiations through Logic
Benjamin Callewaert, Decleyre Nicholas, Simon Vandevelde, Nuno Comenda, Bart Coppens and Joost Vennekens, 2024 Presented at CIFEr 2023
Benjamin Callewaert, Decleyre Nicholas, Simon Vandevelde, Nuno Comenda, Bart Coppens and Joost Vennekens, 2024 Presented at CIFEr 2023

GPT-3 for Decision Logic Modeling
Alexandre Goossens (joint first author), Simon Vandevelde (joint first author), Jan Vanthienen and Joost Vennekens, 2023 Presented at RuleML+RR 2023
Alexandre Goossens (joint first author), Simon Vandevelde (joint first author), Jan Vanthienen and Joost Vennekens, 2023 Presented at RuleML+RR 2023

User-friendly Probabilistic Decision Logic Modeling
Simon Vandevelde, 2023 Presented at DecisionCAMP 2023
Simon Vandevelde, 2023 Presented at DecisionCAMP 2023

FOLL-E: Teaching First Order Logic to Children
Simon Vandevelde and Joost Vennekens, 2023 Presented at AAAI 2023
Simon Vandevelde and Joost Vennekens, 2023 Presented at AAAI 2023


2022
FOLL-E DEMO
Simon Vandevelde and Joost Vennekens, 2022 Presented at BNAIC 2022
Winner of the best demo award!
Simon Vandevelde and Joost Vennekens, 2022 Presented at BNAIC 2022
Winner of the best demo award!
On the semantics of "null" in DMN: Undefined is not unknown
Djordje Markovic, Simon Vandevelde, Joost Vennekens, Marc Denecker, 2022 Presented at RuleML+RR 2022
Djordje Markovic, Simon Vandevelde, Joost Vennekens, Marc Denecker, 2022 Presented at RuleML+RR 2022

Interactive Feature Modeling with Background Knowledge for Validation and Configuration
Simon Vandevelde, Benjamin Callewaert, Joost Vennekens, 2022 Presented at ConfWS 2022
Winner of the best PhD paper award!
Simon Vandevelde, Benjamin Callewaert, Joost Vennekens, 2022 Presented at ConfWS 2022
Winner of the best PhD paper award!


Knowledge-Based Support for Adhesive Selection
Simon Vandevelde, Jordens Jeroen, Van Doninck Bart, Witters Maarten, Vennekens Joost, 2022 Presented at LPNMR 2022
Simon Vandevelde, Jordens Jeroen, Van Doninck Bart, Witters Maarten, Vennekens Joost, 2022 Presented at LPNMR 2022

Adhesive Selection via an Interactive, User-friendly System based on Symbolic AI
Jordens Jeroen, Vandevelde Simon, Van Doninck Bart, Witters Maarten, Vennekens Joost, 2022 Presented at CIRP DESIGN 2022, published in Procedia CIRP
Jordens Jeroen, Vandevelde Simon, Van Doninck Bart, Witters Maarten, Vennekens Joost, 2022 Presented at CIRP DESIGN 2022, published in Procedia CIRP


Context-Aware Verification of DMN
Vandevelde Simon, Callewaerts Benjamin, Vennekens Joost, 2022 Published at HICSS 2022
Vandevelde Simon, Callewaerts Benjamin, Vennekens Joost, 2022 Published at HICSS 2022



2021
Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning
Vandevelde Simon, Aerts Bram and Vennekens Joost Published in Theory and Practice of Logic Programming
Vandevelde Simon, Aerts Bram and Vennekens Joost Published in Theory and Practice of Logic Programming


A Table-Based Representation for Probabilistic Logic: Preliminary Results
Vandevelde Simon, Verreet Victor, De Raedt Luc, Vennekens Joost Published at StarAI 2021
Vandevelde Simon, Verreet Victor, De Raedt Luc, Vennekens Joost Published at StarAI 2021


ProbLife: a Probabilistic Game of Life
Vandevelde Simon and Vennekens Joost, 2021 Published at BNAIC 2021
Vandevelde Simon and Vennekens Joost, 2021 Published at BNAIC 2021



Unlocking the Full Potential of DMN
Vandevelde Simon, Vennekens Joost, 2021 Presented at DecisionCAMP 2021
Vandevelde Simon, Vennekens Joost, 2021 Presented at DecisionCAMP 2021



Leveraging the Power of IDP with the Flexibility of DMN: a Multifunctional API
Vandevelde Simon, Etikala Vedavyas, Vanthienen Jan, Vennekens Joost, 2021 Presented at RuleML+RR 2021
Vandevelde Simon, Etikala Vedavyas, Vanthienen Jan, Vennekens Joost, 2021 Presented at RuleML+RR 2021



2020
A Multifunctional, Interactive DMN Decision Modelling Tool
Vandevelde Simon, Vennekens Joost, 2020 Presented at Benelux Conference on Artificial Intelligence 2020
Vandevelde Simon, Vennekens Joost, 2020 Presented at Benelux Conference on Artificial Intelligence 2020




cDMN: Combining DMN with Constraint Reasoning
Vandevelde Simon, Aerts Bram, Vennekens Joost, 2020 Presented at DecisionCAMP 2020
Vandevelde Simon, Aerts Bram, Vennekens Joost, 2020 Presented at DecisionCAMP 2020



Tackling the DMN Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning
Aerts Bram, Vandevelde Simon, Vennekens Joost, 2020
Presented at RuleML+RR 2020
Winner of the RuleML+RR20 best paper award!
Aerts Bram, Vandevelde Simon, Vennekens Joost, 2020
Presented at RuleML+RR 2020
Winner of the RuleML+RR20 best paper award!




2019
An Interactive Knowledge Base Application for Group Assignment
Vandevelde Simon, Van Dessel Kylian, Crauwels Herman, 2019
Presented at the Benelux Conference on Artificial Intelligence 2019
Vandevelde Simon, Van Dessel Kylian, Crauwels Herman, 2019
Presented at the Benelux Conference on Artificial Intelligence 2019

