Abstract
In this paper, we extend the progression semantics for first-order disjunctive logic programs and show that it coincides with the stable model semantics. Based on it, we further show how disjunctive answer set programming is related to Satisfiability Modulo Theories.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have