collaborators

1 paper

cs.AI2025

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers

Michael Bartholomew, Joohyung Lee

Answer Set Programming Modulo Theories (ASPMT) is an approach to combining answer set programming and satisfiability modulo theories based on the functional stable model semantics.…