AAAI

Association for the Advancement of Artificial Intelligence

Home / Proceedings / Proceedings of the AAAI Conference on Artificial Intelligence, 25 / No. 1: Twenty-Fifth AAAI Conference on Artificial Intelligence

Progression Semantics for Disjunctive Logic Programs

Download PDF

Authors

Yi Zhou

University of Western Sydney


Yan Zhang

University of Western Sydney


DOI:

10.1609/aaai.v25i1.7843


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.