3 papers
cs.CV2024
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…
cs.LO2024
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,…
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,…