Alert button
Picture for Simon Vandevelde

Simon Vandevelde

Alert button

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

Add code
Bookmark button
Alert button
Dec 18, 2023
Đorđe Marković, Simon Vandevelde, Linde Vanbesien, Joost Vennekens, Marc Denecker

Viaarxiv icon

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

Add code
Bookmark button
Alert button
Nov 07, 2023
Simon Vandevelde, Jeroen Jordens, Bart Van Doninck, Maarten Witters, Joost Vennekens

Figure 1 for Knowledge-Based Support for Adhesive Selection: Will it Stick?
Figure 2 for Knowledge-Based Support for Adhesive Selection: Will it Stick?
Figure 3 for Knowledge-Based Support for Adhesive Selection: Will it Stick?
Figure 4 for Knowledge-Based Support for Adhesive Selection: Will it Stick?
Viaarxiv icon

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

Add code
Bookmark button
Alert button
Feb 11, 2022
Pierre Carbonnelle, Simon Vandevelde, Joost Vennekens, Marc Denecker

Figure 1 for IDP-Z3: a reasoning engine for FO(.)
Figure 2 for IDP-Z3: a reasoning engine for FO(.)
Figure 3 for IDP-Z3: a reasoning engine for FO(.)
Figure 4 for IDP-Z3: a reasoning engine for FO(.)
Viaarxiv icon

Problife: a Probabilistic Game of Life

Add code
Bookmark button
Alert button
Jan 24, 2022
Simon Vandevelde, Joost Vennekens

Figure 1 for Problife: a Probabilistic Game of Life
Figure 2 for Problife: a Probabilistic Game of Life
Figure 3 for Problife: a Probabilistic Game of Life
Figure 4 for Problife: a Probabilistic Game of Life
Viaarxiv icon

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

Add code
Bookmark button
Alert button
Oct 06, 2021
Simon Vandevelde, Bram Aerts, Joost Vennekens

Figure 1 for Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning
Figure 2 for Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning
Figure 3 for Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning
Figure 4 for Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning
Viaarxiv icon

A Table-Based Representation for Probabilistic Logic: Preliminary Results

Add code
Bookmark button
Alert button
Oct 05, 2021
Simon Vandevelde, Victor Verreet, Luc De Raedt, Joost Vennekens

Figure 1 for A Table-Based Representation for Probabilistic Logic: Preliminary Results
Figure 2 for A Table-Based Representation for Probabilistic Logic: Preliminary Results
Figure 3 for A Table-Based Representation for Probabilistic Logic: Preliminary Results
Figure 4 for A Table-Based Representation for Probabilistic Logic: Preliminary Results
Viaarxiv icon

Tackling the DMN Challenges with cDMN: a Tight Integration of DMN and constraint reasoning

Add code
Bookmark button
Alert button
May 17, 2020
Bram Aerts, Simon Vandevelde, Joost Vennekens

Figure 1 for Tackling the DMN Challenges with cDMN: a Tight Integration of DMN and constraint reasoning
Figure 2 for Tackling the DMN Challenges with cDMN: a Tight Integration of DMN and constraint reasoning
Figure 3 for Tackling the DMN Challenges with cDMN: a Tight Integration of DMN and constraint reasoning
Figure 4 for Tackling the DMN Challenges with cDMN: a Tight Integration of DMN and constraint reasoning
Viaarxiv icon