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 25th AAAI Conference on Artificial Intelligence, AAAI 2011 |
| Publisher | AAAI Press |
| Pages | 286-291 |
| Number of pages | 6 |
| ISBN (Electronic) | 9781577355083 |
| DOIs | |
| Publication status | Published - 11 Aug 2011 |
| Event | 25th AAAI Conference on Artificial Intelligence, AAAI 2011 - San Francisco, United States Duration: 7 Aug 2011 → 11 Aug 2011 |
Publication series
| Name | Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011 |
|---|
Conference
| Conference | 25th AAAI Conference on Artificial Intelligence, AAAI 2011 |
|---|---|
| Country/Territory | United States |
| City | San Francisco |
| Period | 7/08/11 → 11/08/11 |
Bibliographical note
Publisher Copyright:Copyright © 2011, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.