Simon Vandevelde

According to our database, Simon Vandevelde authored at least 25 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

An Efficient Compiler for the IDP-Z3 Knowledge Base System.

Wout Piessens, Simon Vandevelde, Joost Vennekens, Tom Schrijvers

Proceedings of the Practical Aspects of Declarative Languages, 2026

2025

VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning.

Benjamin Callewaert, Simon Vandevelde, Joost Vennekens

Proceedings of the Proceedings 41st International Conference on Logic Programming, January, 2025

A Domain Ontology for Ishikawa Diagrams to Enhance Root Cause Analysis.

Christian Fleiner, Duo Yang, Simon Vandevelde, Joost Vennekens

Proceedings of the Semantic Web - ISWC 2025, 2025

Towards Actionable Ishikawa Diagrams: An Exploratory Case Study From the Textile Industry.

Christian Fleiner, Simon Vandevelde, Joost Vennekens

Proceedings of the Joint Proceedings of Industry, 2025

DIRT: a Literature-Based Benchmark Suite for Grounders.

Lucas Van Laer, Simon Vandevelde, Joost Vennekens

Proceedings of the Logics in Artificial Intelligence - 19th European Conference, 2025

Towards Knowledge Formalization for Domain Experts Using LLMs.

Stijn Voet, Christian Fleiner, Simon Vandevelde

Proceedings of the 4th International Conference on Hybrid Human-Artificial Intelligence, 2025

Enhancing Computer Vision with Knowledge: a Rummikub Case Study.

Simon Vandevelde, Laurent P. Mertens, Sverre Lauwers, Joost Vennekens

Proceedings of the 33rd European Symposium on Artificial Neural Networks, 2025

2024

Knowledge-Based Support for Adhesive Selection: Will it Stick?

Simon Vandevelde, Joost Vennekens, Jeroen Jordens, Bart Van Doninck, Maarten Witters

Theory Pract. Log. Program., March, 2024

An epistemic logic for modeling decisions in the context of incomplete knowledge.

Djordje Markovic, Simon Vandevelde, Linde Vanbesien, Joost Vennekens, Marc Denecker

Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

Efficiently Grounding FOL Using Bit Vectors.

Lucas Van Laer, Simon Vandevelde, Joost Vennekens

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024

Extending Feature Models with Types.

Benjamin Callewaert, Simon Vandevelde, Nuno Comenda, Bart Coppens, Nicholas Decleyre, Joost Vennekens

Proceedings of the 57th Hawaii International Conference on System Sciences, 2024

2023

Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning.

Simon Vandevelde, Bram Aerts, Joost Vennekens

Theory Pract. Log. Program., May, 2023

Facilitating Investment Strategy Negotiations Through Logic.

Benjamin Callewaert, Nicholas Decleyre, Simon Vandevelde, Nuno Comenda, Bart Coppens, Joost Vennekens

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2023

GPT-3 for Decision Logic Modeling.

Alexandre Goossens, Simon Vandevelde, Jan Vanthienen, Joost Vennekens

Proceedings of the 17th International Rule Challenge and 7th Doctoral Consortium @ RuleML+RR 2023 co-located with 19th Reasoning Web Summer School (RW 2023) and 15th DecisionCAMP 2023 as part of Declarative AI 2023, Oslo, Norway, 18, 2023

FOLL-E: Teaching First Order Logic to Children.

Simon Vandevelde, Joost Vennekens

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

IDP-Z3: a reasoning engine for FO(.).

Pierre Carbonnelle, Simon Vandevelde, Joost Vennekens, Marc Denecker

CoRR, 2022

Problife: a Probabilistic Game of Life.

Simon Vandevelde, Joost Vennekens

CoRR, 2022

Interactive feature modeling with background knowledge for validation and configuration.

Simon Vandevelde, Benjamin Callewaert, Joost Vennekens

Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

On the Semantics of "null" in DMN: Undefined is not Unknown.

Djordje Markovic, Simon Vandevelde, Joost Vennekens, Marc Denecker

Proceedings of the 16th International Rule Challenge and 6th Doctoral Consortium @ RuleML+RR 2022 co-located with 18th Reasoning Web Summer School (RW 2022) and 14th DecisionCAMP 2022 as part of Declarative AI 2022, Berlin, Germany (virtual due to Covid-19 pandemic), 26, 2022

Knowledge-Based Support for Adhesive Selection.

Simon Vandevelde, Jeroen Jordens, Bart Van Doninck, Maarten Witters, Joost Vennekens

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Context-Aware Verification of DMN.

Simon Vandevelde, Benjamin Callewaert, Joost Vennekens

Proceedings of the 55th Hawaii International Conference on System Sciences, 2022

2021

A Table-Based Representation for Probabilistic Logic: Preliminary Results.

Simon Vandevelde, Victor Verreet, Luc De Raedt, Joost Vennekens

CoRR, 2021

Leveraging the Power of IDP with the Flexibility of DMN: A Multifunctional API.

Simon Vandevelde, Vedavyas Etikala, Jan Vanthienen, Joost Vennekens

Proceedings of the Rules and Reasoning - 5th International Joint Conference, 2021

2020

Tackling the DMN Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning.

Bram Aerts, Simon Vandevelde, Joost Vennekens

Proceedings of the Rules and Reasoning - 4th International Joint Conference, 2020

2019

An Interactive Knowledge Base Application for Group Assignment.

Simon Vandevelde, Kylian Van Dessel, Herman Crauwels

Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), 2019