Simon Vandevelde

30 papers A* 1B 5C 1Misc 1Journal 11Unranked 11
YearRankTypeTitle / Venue / Authors
2026 C conf
An Efficient Compiler for the IDP-Z3 Knowledge Base System.
PADL
Wout Piessens, Simon Vandevelde, Joost Vennekens, Tom Schrijvers
2025 — conf
A Domain Ontology for Ishikawa Diagrams to Enhance Root Cause Analysis.
ISWC (2)
Christian Fleiner, Duo Yang, Simon Vandevelde, Joost Vennekens
2025 — conf
DIRT: a Literature-Based Benchmark Suite for Grounders.
JELIA (1)
Lucas Van Laer, Simon Vandevelde, Joost Vennekens
2025 — conf
Towards Actionable Ishikawa Diagrams: An Exploratory Case Study From the Textile Industry.
ISWC (Industry/Doctoral Consortium/Posters/Demos)
Christian Fleiner, Simon Vandevelde, Joost Vennekens
2025 — conf
Towards Knowledge Formalization for Domain Experts Using LLMs.
HHAI
Stijn Voet, Christian Fleiner, Simon Vandevelde
2025 B conf
VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning.
ICLP
Benjamin Callewaert, Simon Vandevelde, Joost Vennekens
2024 Misc conf
An epistemic logic for modeling decisions in the context of incomplete knowledge.
SAC
Djordje Markovic, Simon Vandevelde, Linde Vanbesien, Joost Vennekens, Marc Denecker
2024 B conf
Efficiently Grounding FOL Using Bit Vectors.
LPNMR
Lucas Van Laer, Simon Vandevelde, Joost Vennekens
2024 J jnl
Efficiently grounding FOL using bit vectors.
CoRR
Lucas Van Laer, Simon Vandevelde, Joost Vennekens
2024 J jnl
Enhancing Computer Vision with Knowledge: a Rummikub Case Study.
CoRR
Simon Vandevelde, Laurent P. Mertens, Sverre Lauwers, Joost Vennekens
2024 — conf
Extending Feature Models with Types.
HICSS
Benjamin Callewaert, Simon Vandevelde, Nuno Comenda, Bart Coppens, Nicholas Decleyre, Joost Vennekens
2024 J jnl
Knowledge-Based Support for Adhesive Selection: Will it Stick?
Theory Pract. Log. Program.
Simon Vandevelde, Joost Vennekens, Jeroen Jordens, Bart Van Doninck, Maarten Witters
2023 J jnl
An epistemic logic for modeling decisions in the context of incomplete knowledge.
CoRR
Djordje Markovic, Simon Vandevelde, Linde Vanbesien, Joost Vennekens, Marc Denecker
2023 A* conf
FOLL-E: Teaching First Order Logic to Children.
AAAI
Simon Vandevelde, Joost Vennekens
2023 — conf
Facilitating Investment Strategy Negotiations Through Logic.
SSCI
Benjamin Callewaert, Nicholas Decleyre, Simon Vandevelde, Nuno Comenda, Bart Coppens, Joost Vennekens
2023 — conf
GPT-3 for Decision Logic Modeling.
RuleML+RR (Companion)
Alexandre Goossens, Simon Vandevelde, Jan Vanthienen, Joost Vennekens
2023 J jnl
Knowledge-Based Support for Adhesive Selection: Will it Stick?
CoRR
Simon Vandevelde, Jeroen Jordens, Bart Van Doninck, Maarten Witters, Joost Vennekens
2023 J jnl
Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning.
Theory Pract. Log. Program.
Simon Vandevelde, Bram Aerts, Joost Vennekens
2022 — conf
Context-Aware Verification of DMN.
HICSS
Simon Vandevelde, Benjamin Callewaert, Joost Vennekens
2022 J jnl
IDP-Z3: a reasoning engine for FO(.).
CoRR
Pierre Carbonnelle, Simon Vandevelde, Joost Vennekens, Marc Denecker
2022 — conf
Interactive feature modeling with background knowledge for validation and configuration.
SPLC (B)
Simon Vandevelde, Benjamin Callewaert, Joost Vennekens
2022 B conf
Knowledge-Based Support for Adhesive Selection.
LPNMR
Simon Vandevelde, Jeroen Jordens, Bart Van Doninck, Maarten Witters, Joost Vennekens
2022 — conf
On the Semantics of "null" in DMN: Undefined is not Unknown.
RuleML+RR (Companion)
Djordje Markovic, Simon Vandevelde, Joost Vennekens, Marc Denecker
2022 J jnl
Problife: a Probabilistic Game of Life.
CoRR
Simon Vandevelde, Joost Vennekens
2021 J jnl
A Table-Based Representation for Probabilistic Logic: Preliminary Results.
CoRR
Simon Vandevelde, Victor Verreet, Luc De Raedt, Joost Vennekens
2021 B conf
Leveraging the Power of IDP with the Flexibility of DMN: A Multifunctional API.
RuleML+RR
Simon Vandevelde, Vedavyas Etikala, Jan Vanthienen, Joost Vennekens
2021 J jnl
Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning.
CoRR
Simon Vandevelde, Bram Aerts, Joost Vennekens
2020 B conf
Tackling the DMN Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning.
RuleML+RR
Bram Aerts, Simon Vandevelde, Joost Vennekens
2020 J jnl
Tackling the DMN Challenges with cDMN: a Tight Integration of DMN and constraint reasoning.
CoRR
Bram Aerts, Simon Vandevelde, Joost Vennekens
2019 — conf
An Interactive Knowledge Base Application for Group Assignment.
BNAIC/BENELEARN
Simon Vandevelde, Kylian Van Dessel, Herman Crauwels