Zachary Hansen

16 papers A* 2B 3C 1Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
ANTHEM 2.0: Automated Reasoning for Answer Set Programming.
Theory Pract. Log. Program.
Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Christoph Glinzer, Jan Heuer, Torsten Schaub, Tobias Stolzmann, Vladimir Lifschitz
2025 J jnl
Anthem 2.0: Automated Reasoning for Answer Set Programming.
CoRR
Jorge Fandinno, Christoph Glinzer, Zachary Hansen, Jan Heuer, Yuliya Lierler, Vladimir Lifschitz, Torsten Schaub, Tobias Stolzmann
2025 — conf
BAIT: A Social Engineering Practice Platform.
SIGCITE
Benjamin L. Schooley, Derek Hansen, Jackson Knepper, Zachary Hansen, Spencer Smith, Ezra Bradley, Tyler Bosco Holland, Jonathan Allan Houston, Ethan Beere, Barry M. Lunt
2025 — conf
Formal Verification of Answer Set Programs Containing Advanced Language Constructs.
ICLP Workshops
Zachary Hansen
2025 A* conf
Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence.
AAAI
Jorge Fandinno, Zachary Hansen
2025 C conf
SM-Based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic.
PADL
Zachary Hansen, Yuliya Lierler
2025 J jnl
SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic.
CoRR
Zachary Hansen, Yuliya Lierler
2024 J jnl
Axiomatization of Non-Recursive Aggregates in First-Order Answer Set Programming.
J. Artif. Intell. Res.
Jorge Fandinno, Zachary Hansen, Yuliya Lierler
2024 J jnl
Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence.
CoRR
Jorge Fandinno, Zachary Hansen
2024 B conf
Relating Answer Set Programming and Many-sorted Logics for Formal Verification.
ICLP
Zachary Hansen
2023 J jnl
External Behavior of a Logic Program and Verification of Refactoring.
CoRR
Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple
2023 J jnl
External Behavior of a Logic Program and Verification of Refactoring.
Theory Pract. Log. Program.
Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple
2023 — conf
Recursive Aggregates as Intensional Functions.
ICLP Workshops
Jorge Fandinno, Zachary Hansen
2022 B conf
Arguing Correctness of ASP Programs with Aggregates.
LPNMR
Jorge Fandinno, Zachary Hansen, Yuliya Lierler
2022 A* conf
Axiomatization of Aggregates in Answer Set Programming.
AAAI
Jorge Fandinno, Zachary Hansen, Yuliya Lierler
2022 B conf
Semantics for Conditional Literals via the SM Operator.
LPNMR
Zachary Hansen, Yuliya Lierler