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

Daniel Bresnahan, Nicholas Hippen, Yuliya Lierler. System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics. TPLP, 24(1):132-156, January 2024. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.