| IDP-Z3: a reasoning engine for FO (.) P Carbonnelle, S Vandevelde, J Vennekens, M Denecker | 12 | 2022 |
| Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning S Vandevelde, B Aerts, J Vennekens Theory and Practice of Logic Programming, 1-24, 2021 | 10 | 2021 |
| Leveraging the Power of IDP with the Flexibility of DMN: A Multifunctional API S Vandevelde, V Etikala, J Vanthienen, J Vennekens Rules and Reasoning: 5th International Joint Conference, RuleML+ RR 2021 …, 2021 | 10 | 2021 |
| Tackling the DMN challenges with cDMN: a tight integration of DMN and constraint reasoning B Aerts, S Vandevelde, J Vennekens Rules and Reasoning: 4th International Joint Conference, RuleML+ RR 2020 …, 2020 | 10 | 2020 |
| GPT-3 for Decision Logic Modeling. A Goossens, S Vandevelde, J Vanthienen, J Vennekens RuleML+ RR (Companion), 2023 | 5 | 2023 |
| Adhesive selection via an interactive, user-friendly system based on Symbolic AI J Jordens, S Vandevelde, B Van Doninck, M Witters, J Vennekens Procedia CIRP 109, 161-166, 2022 | 5 | 2022 |
| Interactive Configurator with FO (.) and IDP-Z3 P Carbonnelle, S Vandevelde, J Vennekens, M Denecker arXiv preprint arXiv:2202.00343, 2022 | 4 | 2022 |
| Knowledge-Based Support for Adhesive Selection S Vandevelde, J Jordens, B Van Doninck, M Witters, J Vennekens Logic Programming and Nonmonotonic Reasoning 13416, 445-455, 2022 | 4 | 2022 |
| Interactive Feature Modeling with Background Knowledge for Validation and Configuration S Vandevelde, B Callewaert, J Vennekens Proceedings of the 26th ACM International Systems and Software Product Line …, 2022 | 3 | 2022 |
| A multifunctional, interactive DMN decision modelling tool S Vandevelde, J Vennekens Proceedings of BNAIC/BeneLearn, 399-400, 2020 | 3 | 2020 |
| ProbLife: a Probabilistic Game of Life S Vandevelde, J Vennekens arXiv preprint arXiv:2201.09521, 2022 | 2 | 2022 |
| Context-Aware Verification of DMN. S Vandevelde, B Callewaert, J Vennekens Proceedings of the 55th Hawaii International Conference on System Sciences., 1-8, 2022 | 2 | 2022 |
| An epistemic logic for modeling decisions in the context of incomplete knowledge Đ Marković, S Vandevelde, L Vanbesien, J Vennekens, M Denecker Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 789-793, 2024 | 1 | 2024 |
| FOLL-E: Teaching First-Order Logic to Children S Vandevelde, J Vennekens Proceedings of the AAAI Conference on Artificial Intelligence 37 (13), 15869 …, 2023 | 1 | 2023 |
| On the semantics of "null" in DMN: Undefined is not unknown D Markovic, S Vandevelde, J Vennekens, M Denecker Proceedings of RuleML+ RR 2022, 2022 | 1 | 2022 |
| A Table-Based Representation for Probabilistic Logic: Preliminary Results S Vandevelde, V Verreet, L De Raedt, J Vennekens arXiv preprint arXiv:2110.01909, 2021 | 1 | 2021 |
| Een interactieve kennisbanktoepassing voor groepsverdelingen S Vandevelde, K Van Dessel, H Crauwels | 1 | 2019 |
| Enhancing Computer Vision with Knowledge: a Rummikub Case Study S Vandevelde, L Mertens, S Lauwers, J Vennekens arXiv preprint arXiv:2411.18172, 2024 | | 2024 |
| Efficiently grounding FOL using bit vectors L Van Laer, S Vandevelde, J Vennekens International Conference on Logic Programming and Nonmonotonic Reasoning …, 2024 | | 2024 |
| Knowledge-Based Support for Adhesive Selection: Will it Stick? S Vandevelde, J Vennekens, J Jordens, B VAN DONINCK, M Witters Theory And Practice Of Logic Programming 24 (3), 560-580, 2024 | | 2024 |
