AAAI Publications, Twenty-Fifth AAAI Conference on Artificial Intelligence

Font Size: 
Progression Semantics for Disjunctive Logic Programs
Yi Zhou, Yan Zhang

Last modified: 2011-08-04

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.

Full Text: PDF