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

Daniel Bresnahan, Nicholas Hippen, Yuliya Lierler
3/29/2023
cs.AI

No confident code implementation found for this paper. 1 possible match can be shown below.

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.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. 1 weaker match is hidden by default — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Finite Groundings for ASP with Functions: A Journey through Consistency

85% match2024

IASCAR: Incremental Answer Set Counting by Anytime Refinement

82% match2023

Winning Snake: Design Choices in Multi-Shot ASP

79% match2024

Generalizing Level Ranking Constraints for Monotone and Convex Aggregates

79% match2023

Exact ASP Counting with Compact Encodings

78% match1 repo12023

CombEval: A Framework for Evaluating Combinatorial Counting in Large Language Models

78% match1 repo2026

Cite this paper

@article{bresnahan2023system,
  title  = {System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics},
  author = {Daniel Bresnahan and Nicholas Hippen and Yuliya Lierler},
  year   = {2023},
  eprint = {2303.17018},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2303.17018v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2303.17018.svg)](https://codeofpaper.com/paper/2303.17018)

Discussion