Search Results for author: Simon Vandevelde

Found 7 papers, 1 papers with code

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

no code implementations18 Dec 2023 Đorđe Marković, Simon Vandevelde, Linde Vanbesien, Joost Vennekens, Marc Denecker

A challenging problem is that of expressing decision knowledge in the context of incomplete knowledge.

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

no code implementations7 Nov 2023 Simon Vandevelde, Jeroen Jordens, Bart Van Doninck, Maarten Witters, Joost Vennekens

This work presents a more advanced tool, that was developed together with a team of adhesive experts.

Interactive configurator with FO(.) and IDP-Z3

1 code implementation1 Feb 2022 Pierre Carbonnelle, Simon Vandevelde, Joost Vennekens, Marc Denecker

Industry abounds with interactive configuration problems, i. e., constraint solving problems interactively solved by persons with the assistance of a computer.

Problife: a Probabilistic Game of Life

no code implementations24 Jan 2022 Simon Vandevelde, Joost Vennekens

In Game of Life, cells are placed in a grid and then watched as they evolve throughout subsequent generations, as dictated by the rules of the game.

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

no code implementations6 Oct 2021 Simon Vandevelde, Bram Aerts, Joost Vennekens

DMN is a user-friendly, table-based notation for decision logic, which allows domain experts to model simple decision procedures without the help of IT staff.

A Table-Based Representation for Probabilistic Logic: Preliminary Results

no code implementations5 Oct 2021 Simon Vandevelde, Victor Verreet, Luc De Raedt, Joost Vennekens

We present Probabilistic Decision Model and Notation (pDMN), a probabilistic extension of Decision Model and Notation (DMN).

Cannot find the paper you are looking for? You can Submit a new open access paper.