Login / Signup

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

Jorge FandinnoZachary HansenYuliya Lierler
Published in: J. Artif. Intell. Res. (2024)
Keyphrases