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…