4 citations · 9 across the 10 of their papers we have counts for
10 papers
VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning
Benjamin Callewaert, Simon Vandevelde, Joost Vennekens
A recent approach to neurosymbolic reasoning is to explicitly combine the strengths of large language models (LLMs) and symbolic solvers to tackle complex reasoning tasks. However,…
Enhancing Computer Vision with Knowledge: a Rummikub Case Study
Simon Vandevelde, Laurent Mertens, Sverre Lauwers +1
Artificial Neural Networks excel at identifying individual components in an image. However, out-of-the-box, they do not manage to correctly integrate and interpret these components…
Efficiently grounding FOL using bit vectors
Lucas Van Laer, Simon Vandevelde, Joost Vennekens
Several paradigms for declarative problem solving start from a specification in a high-level language, which is then transformed to a low-level language, such as SAT or SMT. Often,…
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…
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,…
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,…
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…
Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning
Simon Vandevelde, Bram Aerts, Joost Vennekens
Knowledge-based AI typically depends on a knowledge engineer to construct a formal model of domain knowledge -- but what if domain experts could do this themselves? This paper desc…
A Table-Based Representation for Probabilistic Logic: Preliminary Results
Simon Vandevelde, Victor Verreet, Luc De Raedt +1
We present Probabilistic Decision Model and Notation (pDMN), a probabilistic extension of Decision Model and Notation (DMN). DMN is a modeling notation for deterministic decision l…
Tackling the DMN Challenges with cDMN: a Tight Integration of DMN and constraint reasoning
Bram Aerts, Simon Vandevelde, Joost Vennekens
This paper describes an extension to the DMN standard, called cDMN. It aims to enlarge the expressivity of DMN in order to solve more complex problems, while retaining DMN's goal o…