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.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence and the Twentry-Third Innovative Applications of Artificial Intelligence: 7-11 August 2011, San Francisco, California, USA |
| Publisher | AAAI Press |
| Pages | 286-291 |
| Number of pages | 6 |
| ISBN (Print) | 9781577355083 |
| Publication status | Published - 2011 |
| Event | AAAI Conference on Artificial Intelligence - Duration: 22 Jul 2012 → … |
Conference
| Conference | AAAI Conference on Artificial Intelligence |
|---|---|
| Period | 22/07/12 → … |