@dblp

Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory.

, , and . Theory Pract. Log. Program., 22 (4): 523-537 (2022)

Links and resources

Tags