Zachary Hansen

According to our database, Zachary Hansen authored at least 13 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Anthem 2.0: Automated Reasoning for Answer Set Programming.

Jorge Fandinno, Christoph Glinzer, Zachary Hansen, Jan Heuer, Yuliya Lierler, Vladimir Lifschitz, Torsten Schaub, Tobias Stolzmann

CoRR, July, 2025

SM-Based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic.

Zachary Hansen, Yuliya Lierler

Proceedings of the Practical Aspects of Declarative Languages, 2025

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence.

Jorge Fandinno, Zachary Hansen

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

2024

Relating Answer Set Programming and Many-sorted Logics for Formal Verification.

Zachary Hansen

Proceedings of the Proceedings 40th International Conference on Logic Programming, February, 2024

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

Jorge Fandinno, Zachary Hansen, Yuliya Lierler

J. Artif. Intell. Res., 2024

2023

External Behavior of a Logic Program and Verification of Refactoring.

Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple

Theory Pract. Log. Program., July, 2023

Recursive Aggregates as Intensional Functions.

Jorge Fandinno, Zachary Hansen

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

2022

Tools and Methodologies for Verifying Answer Set Programs.

Zach Hansen

Proceedings of the Proceedings 38th International Conference on Logic Programming, 2022

A Preliminary Data-driven Analysis of Common Errors Encountered by Novice SPARC Programmers.

Zach Hansen, Hanxiang Du, Wanli Xing, Rory Eckel, Justin Lugo, Yuanlin Zhang

Proceedings of the Proceedings 38th International Conference on Logic Programming, 2022

Semantics for Conditional Literals via the SM Operator.

Zachary Hansen, Yuliya Lierler

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Arguing Correctness of ASP Programs with Aggregates.

Jorge Fandinno, Zachary Hansen, Yuliya Lierler

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Axiomatization of Aggregates in Answer Set Programming.

Jorge Fandinno, Zachary Hansen, Yuliya Lierler

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

DMM-GAPBS: Adapting the GAP Benchmark Suite to a Distributed Memory Model.

Zach Hansen, Brody Williams, John D. Leidel, Xi Wang, Yong Chen

Proceedings of the 2021 IEEE High Performance Extreme Computing Conference, 2021