Simon Vandevelde

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 20

Top Topics

Tight Integration

Top Venues

RuleML+RR (Companion)

Publications

Dorde Markovic, Simon Vandevelde, Linde Vanbesien, Joost Vennekens, Marc Denecker
An epistemic logic for modeling decisions in the context of incomplete knowledge. SAC (2024)
Benjamin Callewaert, Simon Vandevelde, Nuno Comenda, Bart Coppens, Nicholas Decleyre, Joost Vennekens
Extending Feature Models with Types. HICSS (2024)
Alexandre Goossens, Simon Vandevelde, Jan Vanthienen, Joost Vennekens
GPT-3 for Decision Logic Modeling. RuleML+RR (Companion) (2023)
Simon Vandevelde, Bram Aerts, Joost Vennekens
Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning. Theory Pract. Log. Program. 23 (3) (2023)
Dorde Markovic, Simon Vandevelde, Linde Vanbesien, Joost Vennekens, Marc Denecker
An epistemic logic for modeling decisions in the context of incomplete knowledge. CoRR (2023)
Benjamin Callewaert, Nicholas Decleyre, Simon Vandevelde, Nuno Comenda, Bart Coppens, Joost Vennekens
Facilitating Investment Strategy Negotiations Through Logic. SSCI (2023)
Simon Vandevelde, Jeroen Jordens, Bart Van Doninck, Maarten Witters, Joost Vennekens
Knowledge-Based Support for Adhesive Selection: Will it Stick? CoRR (2023)
Simon Vandevelde, Joost Vennekens
FOLL-E: Teaching First Order Logic to Children. AAAI (2023)
Ðorde Markovic, Simon Vandevelde, Joost Vennekens, Marc Denecker
On the Semantics of "null" in DMN: Undefined is not Unknown. RuleML+RR (Companion) (2022)
Simon Vandevelde, Joost Vennekens
Problife: a Probabilistic Game of Life. CoRR (2022)
Simon Vandevelde, Benjamin Callewaert, Joost Vennekens
Interactive feature modeling with background knowledge for validation and configuration. SPLC (B) (2022)
Pierre Carbonnelle, Simon Vandevelde, Joost Vennekens, Marc Denecker
IDP-Z3: a reasoning engine for FO(.). CoRR (2022)
Simon Vandevelde, Benjamin Callewaert, Joost Vennekens
Context-Aware Verification of DMN. HICSS (2022)
Simon Vandevelde, Jeroen Jordens, Bart Van Doninck, Maarten Witters, Joost Vennekens
Knowledge-Based Support for Adhesive Selection. LPNMR (2022)
Simon Vandevelde, Victor Verreet, Luc De Raedt, Joost Vennekens
A Table-Based Representation for Probabilistic Logic: Preliminary Results. CoRR (2021)
Simon Vandevelde, Bram Aerts, Joost Vennekens
Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning. CoRR (2021)
Simon Vandevelde, Vedavyas Etikala, Jan Vanthienen, Joost Vennekens
Leveraging the Power of IDP with the Flexibility of DMN: A Multifunctional API. RuleML+RR (2021)
Bram Aerts, Simon Vandevelde, Joost Vennekens
Tackling the DMN Challenges with cDMN: a Tight Integration of DMN and constraint reasoning. CoRR (2020)
Bram Aerts, Simon Vandevelde, Joost Vennekens
Tackling the DMN Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning. RuleML+RR (2020)
Simon Vandevelde, Kylian Van Dessel, Herman Crauwels
An Interactive Knowledge Base Application for Group Assignment. BNAIC/BENELEARN (2019)