{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,3]],"date-time":"2024-08-03T21:41:09Z","timestamp":1722721269819},"reference-count":21,"publisher":"Cambridge University Press (CUP)","issue":"4-5","license":[{"start":{"date-parts":[[2012,9,5]],"date-time":"2012-09-05T00:00:00Z","timestamp":1346803200000},"content-version":"unspecified","delay-in-days":66,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2012,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Generalized relational theories with null values in the sense of Reiter are first-order theories that provide a semantics for relational databases with incomplete information. In this paper we show that any such theory can be turned into an equivalent logic program, so that models of the theory can be generated using computational methods of answer set programming. As a step towards this goal, we develop a general method for calculating stable models under the domain closure assumption but without the unique name assumption.<\/jats:p>","DOI":"10.1017\/s147106841200018x","type":"journal-article","created":{"date-parts":[[2012,9,5]],"date-time":"2012-09-05T07:28:45Z","timestamp":1346830125000},"page":"565-582","source":"Crossref","is-referenced-by-count":2,"title":["Relational theories with null values and non-herbrand stable models"],"prefix":"10.1017","volume":"12","author":[{"given":"VLADIMIR","family":"LIFSCHITZ","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"KARL","family":"PICHOTTA","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"FANGKAI","family":"YANG","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2012,9,5]]},"reference":[{"key":"S147106841200018X_ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"S147106841200018X_ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2010.04.011"},{"key":"S147106841200018X_ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90016-8"},{"key":"S147106841200018X_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"S147106841200018X_ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90032-9"},{"key":"S147106841200018X_ref3","unstructured":"Ferraris P. , Lee J. and Lifschitz V. 2007. A new perspective on stable models. In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI). 372\u2013379."},{"key":"S147106841200018X_ref17","unstructured":"Niemel\u00e4 I. and Simons P. 1996. Efficient implementation of the well-founded and stable model semantics. In Proceedings Joint Int'l Conference and Symposium on Logic Programming. 289\u2013303."},{"key":"S147106841200018X_ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1342991.1342998"},{"key":"S147106841200018X_ref5","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"key":"S147106841200018X_ref6","unstructured":"Gottlob G. , Cali A. , Lukasiewicz T. , Marnette B. and Pieris A. 2010. Datalog+\/-: A family of knowledge representation and query languages for new applications. In Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science."},{"key":"S147106841200018X_ref7","doi-asserted-by":"crossref","unstructured":"Lee J. and Palla R. 2009. System F2LP \u2014 computing answer sets of first-order formulas. In Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR). 515\u2013521.","DOI":"10.1007\/978-3-642-04238-6_51"},{"key":"S147106841200018X_ref12","doi-asserted-by":"crossref","unstructured":"Lifschitz V. , Pearce D. and Valverde A. 2007. A characterization of strong equivalence for logic programs with variables. In Procedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR). 188\u2013200.","DOI":"10.1007\/978-3-540-72200-7_17"},{"key":"S147106841200018X_ref8","first-page":"298","volume-title":"Handbook of Logic in AI and Logic Programming","author":"Lifschitz","year":"1994"},{"key":"S147106841200018X_ref9","first-page":"1594","volume-title":"Proceedings of the AAAI Conference on Artificial Intelligence","author":"Lifschitz","year":"2008"},{"key":"S147106841200018X_ref11","doi-asserted-by":"publisher","DOI":"10.1145\/383779.383783"},{"key":"S147106841200018X_ref16","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018930122475"},{"key":"S147106841200018X_ref19","volume-title":"Introduction to Model Theory and to the Metamathematics of Algebra","author":"Robinson","year":"1963"},{"key":"S147106841200018X_ref20","doi-asserted-by":"publisher","DOI":"10.1007\/BF00881915"},{"key":"S147106841200018X_ref21","first-page":"341","volume-title":"Logical Foundations of Computer Science, Proceedings of 3rd International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994","author":"Traylor","year":"1994"},{"key":"S147106841200018X_ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S1574-6526(07)03001-5"},{"key":"S147106841200018X_ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5196-5_8"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S147106841200018X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,25]],"date-time":"2019-04-25T16:27:19Z","timestamp":1556209639000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S147106841200018X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7]]},"references-count":21,"journal-issue":{"issue":"4-5","published-print":{"date-parts":[[2012,7]]}},"alternative-id":["S147106841200018X"],"URL":"https:\/\/doi.org\/10.1017\/s147106841200018x","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,7]]}}}