activity
20042023
most citedSplitting an operator: Algebraic modularity results for logics with fixpoint semantics

7 citations · 37 across the 25 of their papers we have counts for

collaborators

26 papers

cs.AI2023

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

Đorđe Marković, Simon Vandevelde, Linde Vanbesien +2

Substantial efforts have been made in developing various Decision Modeling formalisms, both from industry and academia. A challenging problem is that of expressing decision knowled…

cs.AI2023

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

Simon Vandevelde, Jeroen Jordens, Bart Van Doninck +2

As the popularity of adhesive joints in industry increases, so does the need for tools to support the process of selecting a suitable adhesive. While some such tools already exist,…

cs.AI2023

Interactive Model Expansion in an Observable Environment

Pierre Carbonnelle, Joost Vennekens, Bart Bogaerts +1

Many practical problems can be understood as the search for a state of affairs that extends a fixed partial state of affairs, the \emph{environment}, while satisfying certain condi…

cs.SE2022★ 6 cited

Self-Assessing Creative Problem Solving for Aspiring Software Developers: A Pilot Study

Wouter Groeneveld, Lynn Van den Broeck, Joost Vennekens +1

We developed a self-assessment tool for computing students in higher education to measure their Creative Problem Solving skills. Our survey encompasses 7 dimensions of creativity,…

cs.LO2022★ 4 cited

Interactive configurator with FO(.) and IDP-Z3

Pierre Carbonnelle, Simon Vandevelde, Joost Vennekens +1

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

cs.AI2022★ 1 cited

Problife: a Probabilistic Game of Life

Simon Vandevelde, Joost Vennekens

This paper presents a probabilistic extension of the well-known cellular automaton, Game of Life. In Game of Life, cells are placed in a grid and then watched as they evolve throug…