{"type":"ScholarlyArticle","title":"First-Order Disjunctive Logic Programming vs Normal Logic Programming","authors":[{"name":"Yi Zhou","slug":"yi-zhou-2","given":"Yi","family":"Zhou","affiliation":""}],"abstract":"In this paper, we study the expressive power of first-order disjunctive logic programming (DLP) and normal logic programming (NLP) under the stable model semantics. We show that, unlike the propositional case, first-order DLP is strictly more expressive than NLP. This result still holds even if auxiliary predicates are allowed, assuming that NP not equals to coNP. On the other side, we propose a partial translation from first-order DLP to NLP via unfolding and shifting, which suggests a sound yet incomplete approach to implement DLP via NLP solvers. We also identify some NLP definable subclasses, and conjecture to exactly capture NLP definability by unfolding and shifting.","doi":null,"url":"https://ijcai.org/proceedings/2015/464","pdf":"https://ijcai.org/proceedings/2015/0464.pdf","markdown":"https://ijcai.org/proceedings/2015/464.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/464","volume":{"slug":"2015","title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2015","url":"https://ijcai.org/proceedings/2015/","year":2015,"location":"Buenos Aires, Argentina","dates":"25–31 July 2015","editors":"Qiang Yang and Michael Wooldridge","isbn":"978-1-57735-738-4","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Special Track on Knowledge Representation and Reasoning","track":"Special Track on Knowledge Representation and Reasoning","number":464,"pages":{"first":3292,"last":3297},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}