Hansen, Zachary

3 publications

AAAI 2025 Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence Jorge Fandinno, Zachary Hansen

JAIR 2024 Axiomatization of Non-Recursive Aggregates in First-Order Answer Set Programming Jorge Fandinno, Zachary Hansen, Yuliya Lierler

AAAI 2022 Axiomatization of Aggregates in Answer Set Programming Jorge Fandinno, Zachary Hansen, Yuliya Lierler