Picture for Simon Vandevelde

Simon Vandevelde

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

Add code
Dec 18, 2023
Viaarxiv icon

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

Add code
Nov 07, 2023
Viaarxiv icon

IDP-Z3: a reasoning engine for FO

Add code
Feb 11, 2022
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
Jan 24, 2022
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
Oct 06, 2021
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
Oct 05, 2021
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
May 17, 2020
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