Skip to main content
Article
Estimating Grounding Sizes of Logic Programs under Answer Set Semantics
Proceedings of the 17th European Conference on Logics in Artificial Intelligence (JELIA), Austria (2021)
  • Nicholas Hippen, University of Nebraska at Omaha
  • Yuliya Lierler
Abstract
Answer set programming (ASP) 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 a system Predictor (and its algorithmic backend) for estimating the grounding size of programs, a metric that can influence a program's performance. We evaluate an impact of Predictor when used as a guide for rewritings produced by the ASP rewriting tool Projector. The results demonstrate potential to this approach.
Publication Date
2021
Citation Information
Nicholas Hippen and Yuliya Lierler. "Estimating Grounding Sizes of Logic Programs under Answer Set Semantics" Proceedings of the 17th European Conference on Logics in Artificial Intelligence (JELIA), Austria (2021)
Available at: http://works.bepress.com/yuliya_lierler/107/