Operator-based semantics for choice programs: is choosing losing? (full version)

31 July 2024

Papers citing "Operator-based semantics for choice programs: is choosing losing? (full version)"

3 / 3 papers shown

Title
Aggregate Semantics for Propositional Answer Set Programs Mario Alviano Wolfgang Faber M. Gebser 26 8 0 17 Sep 2021
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory Linde Vanbesien Maurice Bruynooghe M. Denecker 21 9 0 30 Apr 2021
Conflict-driven ASP Solving with External Sources Thomas Eiter Michael Fink T. Krennwallner Christoph Redl LRM 42 37 0 05 Oct 2012