Multi-Shot Answer Set Programming for Flexible Payroll Management

BENJAMIN CALLEWAERT,JOOST VENNEKENS
DOI: https://doi.org/10.1017/s1471068424000115
2024-05-03
Theory and Practice of Logic Programming
Abstract:Payroll management is a critical business task that is subject to a large number of rules, which vary widely between companies, sectors, and countries. Moreover, the rules are often complex and change regularly. Therefore, payroll management systems must be flexible in design. In this paper, we suggest an approach based on a flexible answer set programming (ASP) model and an easy-to-read tabular representation based on the decision model and notation standard. It allows HR consultants to represent complex rules without the need for a software engineer and to ultimately design payroll systems for a variety of different scenarios. We show how the multi-shot solving capabilities of the clingo ASP system can be used to reach the performance that is necessary to handle real-world instances.
computer science, theory & methods, software engineering,logic
What problem does this paper attempt to address?