Benchmarking Answer Set Programming systems for resource allocation in business processes

作者：

Highlights：

• Resource Allocation in Business Processes problem is formalized and encoded in ASP.

• An ASP systems benchmark is devised to evaluate the configured systems for RABP.

• A detailed evaluation of four state-of-the-art ASP systems for RABP is presented.

摘要

•Resource Allocation in Business Processes problem is formalized and encoded in ASP.•An ASP systems benchmark is devised to evaluate the configured systems for RABP.•A detailed evaluation of four state-of-the-art ASP systems for RABP is presented.

论文关键词：Resource allocation,Business process management,Answer set programming,Benchmark

论文评审过程：Received 21 February 2022, Revised 21 April 2022, Accepted 13 May 2022, Available online 23 May 2022, Version of Record 6 June 2022.

论文官网地址：https://doi.org/10.1016/j.eswa.2022.117599