Zachary Hansen

According to our database, Zachary Hansen authored at least 9 papers between 2021 and 2024.

Collaborative distances:

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

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