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]

Authors

Daniel Bresnahan

This author has not been identified. Look up 'Daniel Bresnahan' in Google

Nicholas Hippen

This author has not been identified. Look up 'Nicholas Hippen' in Google

Yuliya Lierler

This author has not been identified. Look up 'Yuliya Lierler' in Google