Progression Semantics for Disjunctive Logic Programs

Yi Zhou; Yan Zhang

doi:10.1609/aaai.v25i1.7843

Progression Semantics for Disjunctive Logic Programs

Authors

Yi Zhou University of Western Sydney
Yan Zhang University of Western Sydney

DOI:

https://doi.org/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.

Downloads

Published

2011-08-04

How to Cite

Zhou, Y., & Zhang, Y. (2011). Progression Semantics for Disjunctive Logic Programs. Proceedings of the AAAI Conference on Artificial Intelligence, 25(1), 286-291. https://doi.org/10.1609/aaai.v25i1.7843