System predictor: grounding size estimator for logic programs under answer set semantics

DOI10.1017/S1471068423000078MaRDI QIDQ7027169zbMATH OpenFDO

Authors Daniel Bresnahan, Nicholas Hippen, Yuliya Lierler

Publication date 14 February 2025

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/S1471068423000078

zbMATH Keywords

answer-set programmingencoding optimizations

Mathematics Subject Classification ID

Logic programming (68N17)

Cites work

• claspfolio2: Advances in Algorithm Selection for Answer Set Programming
• A machine learning system to improve the performance of ASP solving based on encoding selection
• Answer set based design of knowledge systems
• ASP-Core-2 input language format
• Design and results of the Fifth Answer Set Programming Competition
• Estimating grounding sizes of logic programs under answer set semantics
• scientific article; zbMATH DE number 1179106 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• scientific article; zbMATH DE number 7455725 (Why is no real title available?)
• lpopt: a rule optimization tool for answer set programming
• Optimizing answer set computation via heuristic-based decomposition
• Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming
• Performance tuning in answer set programming
• Team-building with answer set programming in the Gioia-Tauro seaport
• The intelligent grounder of DLV

This page was built for publication: System predictor: grounding size estimator for logic programs under answer set semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7027169)