Author ORCID Identifier
Lierler - https://orcid.org/0000-0002-6146-623X
Document Type
Article
Publication Date
6-22-2023
Publication Title
Theory and Practice of Logic Programming
First Page
1
Last Page
25
Abstract
Answer set programming is a declarative logic programming paradigm geared towards solving difficult combinatorial search problems. While different logic programs can encode the same problem, their performance may vary significantly. It is not always easy to identify which version of the program performs the best. We present the system PREDICTOR (and its algorithmic backend) for estimating the grounding size of programs, a metric that can influence a performance of a system processing a program. We evaluate the impact of PREDICTOR when used as a guide for rewritings produced by the answer set programming rewriting tools PROJECTOR and LPOPT. The results demonstrate potential to this approach.
Recommended Citation
Bresnahan, Daniel; Hippen, Nicholas; and Lierler, Yuliya, "System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics" (2023). Computer Science Faculty Publications. 102.
https://digitalcommons.unomaha.edu/compscifacpub/102
Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 License.
Comments
This is an open access article that was published through the Open Access Publishing agreement between Cambridge University Press and the University of Nebraska.
This is an open access article that is licensed under the Creative Commons Attribution license. Theory and Practice of Logic Programming , First View , pp. 1 - 25
DOI: https://doi.org/10.1017/S1471068423000078