3 papers
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.…
cs.AI2023
First-Order Stable Model Semantics with Intensional Functions
Michael Bartholomew, Joohyung Lee
In classical logic, nonBoolean fluents, such as the location of an object, can be naturally described by functions. However, this is not the case in answer set programs, where the…
cs.AI2013
A Functional View of Strong Negation in Answer Set Programming
Michael Bartholomew, Joohyung Lee
The distinction between strong negation and default negation has been useful in answer set programming. We present an alternative account of strong negation, which lets us view str…