v1v2v3 (latest)

On the Foundations of Grounding in Answer Set Programming

10 August 2021

Papers citing "On the Foundations of Grounding in Answer Set Programming"

3 / 3 papers shown

Title
Operator-based semantics for choice programs: is choosing losing? (full version) Jesse Heyninck 33 0 0 31 Jul 2024
Finite Groundings for ASP with Functions: A Journey through Consistency Lukas Gerlach David Carral Markus Hecher LRM 20 0 0 08 May 2024
System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics Daniel Bresnahan Nicholas Hippen Yuliya Lierler 13 0 0 29 Mar 2023