Simon Vandevelde
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | PADL | An Efficient Compiler for the IDP-Z3 Knowledge Base System. | Wout Piessens, Simon Vandevelde, Joost Vennekens, Tom Schrijvers |
| 2025 | ESANN | Enhancing Computer Vision with Knowledge: a Rummikub Case Study. | Simon Vandevelde, Laurent P. Mertens, Sverre Lauwers, Joost Vennekens |
| 2025 | JELIA | DIRT: a Literature-Based Benchmark Suite for Grounders. | Lucas Van Laer, Simon Vandevelde, Joost Vennekens |
| 2024 | LPNMR | Efficiently Grounding FOL Using Bit Vectors. | Lucas Van Laer, Simon Vandevelde, Joost Vennekens |
| 2024 | SAC | An epistemic logic for modeling decisions in the context of incomplete knowledge. | Djordje Markovic, Simon Vandevelde, Linde Vanbesien, Joost Vennekens, Marc Denecker |
| 2023 | AAAI | FOLL-E: Teaching First Order Logic to Children. | Simon Vandevelde, Joost Vennekens |
| 2022 | LPNMR | Knowledge-Based Support for Adhesive Selection. | Simon Vandevelde, Jeroen Jordens, Bart Van Doninck, Maarten Witters, Joost Vennekens |
| 2022 | SPLC | Interactive feature modeling with background knowledge for validation and configuration. | Simon Vandevelde, Benjamin Callewaert, Joost Vennekens |