Benjamin Callewaert

According to our database, Benjamin Callewaert authored at least 8 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning.

Benjamin Callewaert, Simon Vandevelde, Joost Vennekens

Proceedings of the Proceedings 41st International Conference on Logic Programming, January, 2025

2024

Multi-Shot Answer Set Programming for Flexible Payroll Management.

Benjamin Callewaert, Joost Vennekens

Theory Pract. Log. Program., March, 2024

Answer Set Programming for Flexible Payroll Management.

Benjamin Callewaert, Joost Vennekens

CoRR, 2024

Extending Feature Models with Types.

Benjamin Callewaert, Simon Vandevelde, Nuno Comenda, Bart Coppens, Nicholas Decleyre, Joost Vennekens

Proceedings of the 57th Hawaii International Conference on System Sciences, 2024

2023

Facilitating Investment Strategy Negotiations Through Logic.

Benjamin Callewaert, Nicholas Decleyre, Simon Vandevelde, Nuno Comenda, Bart Coppens, Joost Vennekens

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2023

2022

Interactive feature modeling with background knowledge for validation and configuration.

Simon Vandevelde, Benjamin Callewaert, Joost Vennekens

Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

ASP for Flexible Payroll Management.

Benjamin Callewaert, Joost Vennekens

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Context-Aware Verification of DMN.

Simon Vandevelde, Benjamin Callewaert, Joost Vennekens

Proceedings of the 55th Hawaii International Conference on System Sciences, 2022