# System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics

arXiv: https://arxiv.org/abs/2303.17018 · HTML: https://mlsanity.com/paper/2303.17018/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 8 of its 36 references that are in the map.
- First posted on arXiv 29 Mar 2023.

## Builds on (most cited first, 8 of 8)

- [ASP-Core-2 Input Language Format](https://mlsanity.com/paper/1911.04326/) (2019)
- [An ASP-based Solution to the Chemotherapy Treatment Scheduling problem](https://mlsanity.com/paper/2108.02637/) (2021)
- [claspfolio 2: Advances in Algorithm Selection for Answer Set Programming](https://mlsanity.com/paper/1405.1520/) (2014)
- [On the Foundations of Grounding in Answer Set Programming](https://mlsanity.com/paper/2108.04769/) (2021)
- [Optimizing Answer Set Computation via Heuristic-Based Decomposition](https://mlsanity.com/paper/1812.09718/) (2018)
- [lpopt: A Rule Optimization Tool for Answer Set Programming](https://mlsanity.com/paper/1608.05675/) (2016)
- [A Machine Learning guided Rewriting Approach for ASP Logic Programs](https://mlsanity.com/paper/2009.10252/) (2020)
- [The Multi-engine ASP Solver ME-ASP: Progress Report](https://mlsanity.com/paper/1405.0876/) (2014)

## Abstract (arXiv)

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.