| 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 | 12 | 2020 |
| 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 | 9 | 2021 |
| IDP-Z3: a reasoning engine for FO (.) P Carbonnelle, S Vandevelde, J Vennekens, M Denecker arXiv preprint arXiv:2202.00343, 2022 | 8 | 2022 |
| 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 | 6 | 2021 |
| A multifunctional, interactive DMN decision modelling tool S Vandevelde, J Vennekens BNAIC 2020, Date: 2020/11/19-2020/11/20, Location: Virtual, 2020 | 4 | 2020 |
| 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 | 3 | 2022 |
| 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 | 3 | 2022 |
| 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 |
| 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 | 2 | 2022 |
| GPT-3 for Decision Logic Modeling A Goossens, S Vandevelde, J Vanthienen, J Vennekens Proceedings of the 17th International Rule Challenge and 7th Doctoral …, 2023 | 1 | 2023 |
| 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 |
| Interactive configurator with FO (.) and IDP-Z3 P Carbonnelle, S Vandevelde, J Vennekens, M Denecker arXiv e-prints, arXiv: 2202.00343, 2022 | 1 | 2022 |
| 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 |
| Simplifying Knowledge Base Creation for Domain Experts S Vandevelde | | 2024 |
| Extending Feature Models with Types B Callewaert, S Vandevelde, N Comenda, B Coppens, N Decleyre, ... | | 2024 |
| An epistemic logic for modeling decisions in the context of incomplete knowledge Đ Marković, S Vandevelde, L Vanbesien, J Vennekens, M Denecker arXiv preprint arXiv:2312.11186, 2023 | | 2023 |
| Facilitating Investment Strategy Negotiations Through Logic B Callewaert, N Decleyre, S Vandevelde, N Comenda, B Coppens, ... 2023 IEEE Symposium Series on Computational Intelligence (SSCI), 103-108, 2023 | | 2023 |
