Context-Aware Verification of DMN. - Simon Vandevelde; Benjamin Callewaert; Joost Vennekens (HICSS, 2022)

ASP for Flexible Payroll Management. - Benjamin Callewaert; Joost Vennekens (LPNMR, 2022)

Interactive feature modeling with background knowledge for validation and configuration. - Simon Vandevelde; Benjamin Callewaert; Joost Vennekens (SPLC (B), 2022)

Facilitating Investment Strategy Negotiations Through Logic. - Benjamin Callewaert; Nicholas Decleyre; Simon Vandevelde; Nuno Comenda; Bart Coppens 002; Joost Vennekens (SSCI, 2023)

Extending Feature Models with Types. - Benjamin Callewaert; Simon Vandevelde; Nuno Comenda; Bart Coppens 002; Nicholas Decleyre; Joost Vennekens (HICSS, 2024)

Answer Set Programming for Flexible Payroll Management. - Benjamin Callewaert; Joost Vennekens (CoRR, 2024)

Multi-Shot Answer Set Programming for Flexible Payroll Management. - Benjamin Callewaert; Joost Vennekens (Theory Pract. Log. Program., 2024)

VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning. - Benjamin Callewaert; Simon Vandevelde; Joost Vennekens (CoRR, 2025)