Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory

30 April 2021

Papers citing "Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory"

3 / 3 papers shown

Title
Non-deterministic approximation operators: ultimate operators, semi-equilibrium semantics and aggregates (full version) J. Heyninck B. Bogaerts 16 2 0 18 May 2023
On Nested Justification Systems (full version) Simon Marynissen J. Heyninck B. Bogaerts M. Denecker 25 4 0 09 May 2022
Aggregate Semantics for Propositional Answer Set Programs Mario Alviano Wolfgang Faber M. Gebser 26 8 0 17 Sep 2021