Publications
Here you may find a list of all my publications and presentations, with relevant links.2026
An Efficient Compiler for the IDP-Z3 Knowledge Base System
Wout Piessens, Simon Vandevelde, Joost Vennekens, Tom Schrijvers Accepted at PADL 2026
Wout Piessens, Simon Vandevelde, Joost Vennekens, Tom Schrijvers Accepted at PADL 2026
2025
Logic-Based AI for the Rest of Us (video)
Simon Vandevelde, Joost Vennekens Presented at KR 2025
Simon Vandevelde, Joost Vennekens Presented at KR 2025
On the Role of Domain Experts in LLM-based Knowledge Formalization
Simon Vandevelde Presented at NeLaMKRR 2025 (part of KR25)
Simon Vandevelde Presented at NeLaMKRR 2025 (part of KR25)
DIRT: a Literature-Based Benchmark Suite for Grounders
Lucas Van Laer, Simon Vandevelde, Joost Vennekens Presented at JELIA 2025
Lucas Van Laer, Simon Vandevelde, Joost Vennekens Presented at JELIA 2025
Title
Christian Fleiner, Simon Vandevelde, Joost Vennekens Presented at ISWC 2025
Christian Fleiner, Simon Vandevelde, Joost Vennekens Presented at ISWC 2025
A Domain Ontology for Ishikawa Diagrams to Enhance Root Cause Analysis
Christian Fleiner, Duo Yang, Simon Vandevelde, Joost Vennekens Presented at ISWC 2025
Christian Fleiner, Duo Yang, Simon Vandevelde, Joost Vennekens Presented at ISWC 2025
Towards Knowledge Formalization for Domain Experts using LLMs
Stijn Voet, Christian Fleiner, Simon Vandevelde Presented at HHAI 2025
Stijn Voet, Christian Fleiner, Simon Vandevelde Presented at HHAI 2025
VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning
Benjamin Callewaert, Simon Vandevelde, Joost Vennekens Pre-print
Benjamin Callewaert, Simon Vandevelde, Joost Vennekens Pre-print
Enhancing Computer Vision with Knowledge: a Rummikub Case Study
Simon Vandevelde, Laurent Mertens, Sverre Lauwers, Joost Vennekens at ESANN 2025
Simon Vandevelde, Laurent Mertens, Sverre Lauwers, Joost Vennekens at ESANN 2025
2024
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
Simplifying Knowledge Base Creation for Domain Experts
Simon Vandevelde, 2024 PhD dissertation
Simon Vandevelde, 2024 PhD dissertation
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
Een interactieve kennisbanktoepassing voor groepsverdelingen
Vandevelde Simon, Van Dessel Kylian, Crauwels Herman, 2019
Vandevelde Simon, Van Dessel Kylian, Crauwels Herman, 2019