2 citations · 3 across the 5 of their papers we have counts for
5 papers
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…
Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
Jorge Fandinno, Zachary Hansen
This paper shows that the semantics of programs with aggregates implemented by the solvers clingo and dlv can be characterized as extended First-Order formulas with intensional fun…
External Behavior of a Logic Program and Verification of Refactoring
Jorge Fandinno, Zachary Hansen, Yuliya Lierler +2
Refactoring is modifying a program without changing its external behavior. In this paper, we make the concept of external behavior precise for a simple answer set programming langu…
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…
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…