{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:16:39Z","timestamp":1750306599264,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,5,20]],"date-time":"2015-05-20T00:00:00Z","timestamp":1432080000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"name":"National Group for Scientific Computation (GNCS-INDAM)"},{"name":"Finanziamento Giovani Ricercatori UNICAL"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,5,20]]},"DOI":"10.1145\/2745754.2745758","type":"proceedings-article","created":{"date-parts":[[2015,5,26]],"date-time":"2015-05-26T14:36:25Z","timestamp":1432650985000},"page":"79-90","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Default Negation for Non-Guarded Existential Rules"],"prefix":"10.1145","author":[{"given":"Mario","family":"Alviano","sequence":"first","affiliation":[{"name":"University of Calabria, Rende, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Pieris","sequence":"additional","affiliation":[{"name":"Vienna University of Technology, Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,5,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594538.2594555"},{"key":"e_1_3_2_1_2_1","first-page":"39","volume-title":"ECAI","author":"Baget J.","year":"2014","unstructured":"J. Baget , F. Garreau , M. Mugnier , and S. Rocher . Extending acyclicity notions for existential rules . In ECAI , pages 39 -- 44 , 2014 . J. Baget, F. Garreau, M. Mugnier, and S. Rocher. Extending acyclicity notions for existential rules. In ECAI, pages 39--44, 2014."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2011.03.002"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/646235.682563"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/2591248.2591252"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2012.03.001"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2012.08.002"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9078-x"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/502807.502810"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1656242.1656249"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.10.033"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/116825.116838"},{"key":"e_1_3_2_1_13_1","first-page":"1070","volume-title":"ICLP\/SLP","author":"Gelfond M.","year":"1988","unstructured":"M. Gelfond and V. Lifschitz . The stable model semantics for logic programming . In ICLP\/SLP , pages 1070 -- 1080 , 1988 . M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In ICLP\/SLP, pages 1070--1080, 1988."},{"key":"e_1_3_2_1_14_1","volume-title":"AAAI","author":"Gottlob G.","year":"2012","unstructured":"G. Gottlob , A. Hernich , C. Kupke , and T. Lukasiewicz . Equality-friendly well-founded semantics and applications to description logics . In AAAI , 2012 . G. Gottlob, A. Hernich, C. Kupke, and T. Lukasiewicz. Equality-friendly well-founded semantics and applications to description logics. In AAAI, 2012."},{"key":"e_1_3_2_1_15_1","volume-title":"KR","author":"Gottlob G.","year":"2014","unstructured":"G. Gottlob , A. Hernich , C. Kupke , and T. Lukasiewicz . Stable model semantics for guarded existential rules and description logics . In KR , 2014 . G. Gottlob, A. Hernich, C. Kupke, and T. Lukasiewicz. Stable model semantics for guarded existential rules and description logics. In KR, 2014."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2638546"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463664.2465229"},{"key":"e_1_3_2_1_18_1","volume-title":"KR","author":"Leone N.","year":"2012","unstructured":"N. Leone , M. Manna , G. Terracina , and P. Veltri . Efficiently computable Datalog\u2203 programs . In KR , 2012 . N. Leone, M. Manna, G. Terracina, and P. Veltri. Efficiently computable Datalog\u2203 programs. In KR, 2012."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/2540128.2540277"}],"event":{"name":"SIGMOD\/PODS'15: International Conference on Management of Data","sponsor":["SIGMOD ACM Special Interest Group on Management of Data"],"location":"Melbourne Victoria Australia","acronym":"SIGMOD\/PODS'15"},"container-title":["Proceedings of the 34th ACM SIGMOD-SIGACT-SIGAI  Symposium on Principles of Database Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2745754.2745758","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2745754.2745758","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:16:45Z","timestamp":1750227405000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2745754.2745758"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5,20]]},"references-count":19,"alternative-id":["10.1145\/2745754.2745758","10.1145\/2745754"],"URL":"https:\/\/doi.org\/10.1145\/2745754.2745758","relation":{},"subject":[],"published":{"date-parts":[[2015,5,20]]},"assertion":[{"value":"2015-05-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}