View of Axiomatization of Non-Recursive Aggregates in First-Order Answer Set Programming

Return to Article Details Axiomatization of Non-Recursive Aggregates in First-Order Answer Set Programming Download Download PDF