{"type":"ScholarlyArticle","title":"Completion of Disjunctive Logic Programs","authors":[{"name":"Mario Alviano","slug":"mario-alviano","given":"Mario","family":"Alviano","affiliation":""},{"name":"Carmine Dodaro","slug":"carmine-dodaro","given":"Carmine","family":"Dodaro","affiliation":""}],"abstract":"Clark's completion plays an important role in ASP computation:it discards unsupported models via unit resolution; hence, it improves the performance of ASP solvers, and at the same time it simplifies their implementation.In the disjunctive case, however, Clark's completion is usually preceded by another transformation known as shift, whose size is quadratic in general. A different approach is proposed in this paper: Clark's completion is extended to disjunctive programs without the need of intermediate program rewritings such as the shift.As in the non-disjunctive case, the new completion is linear in size, and discards unsupported models via unit resolution. Moreover, an ad-hoc propagator for supported model search is presented.","doi":null,"url":"https://ijcai.org/proceedings/2016/130","pdf":"https://ijcai.org/proceedings/2016/0130.pdf","markdown":"https://ijcai.org/proceedings/2016/130.md","bibtex":"https://ijcai.org/proceedings/2016/bibtex/130","volume":{"slug":"2016","title":"Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2016","url":"https://ijcai.org/proceedings/2016/","year":2016,"location":"New York, NY, USA","dates":"9–15 July 2016","editors":"Subbarao Kambhampati","isbn":"978-1-57735-770-4; 978-1-57735-771-1","publisher":"AAAI Press / International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":130,"pages":{"first":886,"last":891},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}