dc.creator | Havur, Giray | es |
dc.creator | Cabanillas Macías, Cristina | es |
dc.creator | Polleres, Axel | es |
dc.date.accessioned | 2020-11-12T08:55:13Z | |
dc.date.available | 2020-11-12T08:55:13Z | |
dc.date.issued | 2019 | |
dc.identifier.citation | Havur, G., Cabanillas Macías, C. y Polleres, A. (2019). A Benchmark for ASP Systems: Resource Allocation in Business Processes. Working Papers on Information Systems, Information Business and Operations, 01/2019 | |
dc.identifier.issn | 2518-6809 | es |
dc.identifier.uri | https://hdl.handle.net/11441/102591 | |
dc.description.abstract | The goal of this paper is to benchmark Answer Set Programming (ASP) systems to test their performance
when dealing with a complex optimization problem. In particular, the problem tackled is resource allocation
in the area of Business Process Management (BPM). Like many other scheduling problems, the allocation
of resources and starting times to business process activities is a challenging optimization problem for ASP
solvers. Our problem encoding is ASP Core-2 standard compliant and it is realized in a declarative and
compact fashion. We develop an instance generator that produces problem instances of different size and
hardness with respect to adjustable parameters. By using the baseline encoding and the instance generator,
we provide a comparison between the two award-winning ASP solvers CLASP and WASP and report the
grounding performance of GRINGO and I-DLV. The benchmark suggests that there is room for improvement
concerning both the grounders and the solvers. Fostered by the relevance of the problem addressed, of which
several variants have been described in different domains, we believe this is a solid application-oriented
benchmark for the ASP community. | es |
dc.description.sponsorship | Austrian Research Promotion Agency (FFG) 845638 (SHAPE) | es |
dc.format | application/pdf | es |
dc.format.extent | 25 | es |
dc.language.iso | eng | es |
dc.publisher | Department für Informationsverarbeitung und Prozessmanagement | es |
dc.relation.ispartof | Working Papers on Information Systems, Information Business and Operations, 01/2019 | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Answer set programming | es |
dc.subject | Benchmark | es |
dc.subject | Business Process Management | es |
dc.subject | Resource allocation | es |
dc.title | A Benchmark for ASP Systems: Resource Allocation in Business Processes | es |
dc.type | info:eu-repo/semantics/article | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos | es |
dc.relation.projectID | 845638 (SHAPE) | es |
dc.relation.publisherversion | https://epub.wu.ac.at/7060/ | es |
dc.journaltitle | Working Papers on Information Systems, Information Business and Operations | es |
dc.publication.issue | 01/2019 | es |
dc.contributor.funder | Austrian Research Promotion Agency (FFG) | es |