2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.LO2025
Relating Answer Set Programming and Many-sorted Logics for Formal Verification
Zachary Hansen
Answer Set Programming (ASP) is an important logic programming paradigm within the field of Knowledge Representation and Reasoning. As a concise, human-readable, declarative langua…
cs.LO2022
Tools and Methodologies for Verifying Answer Set Programs
Zach Hansen
Answer Set Programming (ASP) is a powerful declarative programming paradigm commonly used for solving challenging search and optimization problems. The modeling languages of ASP ar…
cs.CY2022★ 2 cited
A Preliminary Data-driven Analysis of Common Errors Encountered by Novice SPARC Programmers
Zach Hansen, Hanxiang Du, Wanli Xing +3
Answer Set Programming (ASP), a modern development of Logic Programming, enables a natural integration of Computing with STEM subjects. This integration addresses a widely acknowle…