Research output per year
Research output per year
Personal profile
Research interests
- Answer Set Programming
- Logic Programming
- Knowledge Representation and Reasoning
- Artificial Intelligence
- Formal Methods
- Software Verification
Education/Academic qualification
PhD, University of Nebraska Omaha
Aug 2020 → May 2026
Bachelor, Texas Tech University
Aug 2016 → May 2020
Fingerprint
Dive into the research topics where Zach Hansen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
ANTHEM 2.0: Automated Reasoning for Answer Set Programming
Fandinno, J., Hansen, Z., Lierler, Y., Glinzer, C., Heuer, J., Schaub, T., Stolzmann, T. & Lifschitz, V., 2025, (Accepted/In press) In: Theory and Practice of Logic Programming. 25, 4, p. 668-684 17 p.Research output: Contribution to journal › Article › peer-review
Open Access1 Scopus citations -
Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
Fandinno, J. & Hansen, Z., 11 Apr 2025, Proceedings of the AAAI Conference on Artificial Intelligence: Special Track on AI Alignment. Walsh, T., Shah, J. & Kolter, Z. (eds.). 14 ed. Association for the Advancement of Artificial Intelligence, p. 14893-14901 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 39, no. 14).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access2 Scopus citations -
SM-Based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic
Hansen, Z. & Lierler, Y., 2025, Practical Aspects of Declarative Languages - 27th International Symposium, PADL 2025, Proceedings. Erdem, E. & Vidal, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 71-87 17 p. (Lecture Notes in Computer Science; vol. 15537 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
2 Scopus citations -
Axiomatization of Non-Recursive Aggregates in First-Order Answer Set Programming
Fandinno, J., Hansen, Z. & Lierler, Y., Jul 2024, In: Journal of Artificial Intelligence Research. 80, p. 977-1031 55 p.Research output: Contribution to journal › Article › peer-review
Open Access5 Scopus citations -
Anthem-P2P: Automatically Verifying the Equivalent External Behavior of ASP Programs
Hansen, Z., 12 Sep 2023, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 385, p. 330-333 4 p.Research output: Contribution to journal › Conference article › peer-review
Open Access3 Scopus citations