{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,9]],"date-time":"2023-01-09T14:33:43Z","timestamp":1673274823555},"reference-count":29,"publisher":"Cambridge University Press (CUP)","issue":"5-6","license":[{"start":{"date-parts":[[2016,10,14]],"date-time":"2016-10-14T00:00:00Z","timestamp":1476403200000},"content-version":"unspecified","delay-in-days":43,"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":[[2016,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In recent work we defined resource-based answer set semantics, which is an extension to answer set semantics stemming from the study of its relationship with linear logic. In fact, the name of the new semantics comes from the fact that in the linear-logic formulation every literal (including negative ones) were considered as a resource. In this paper, we propose a query-answering procedure reminiscent of Prolog for answer set programs under this extended semantics as an extension of XSB-resolution for logic programs with negation.<jats:sup>1<\/jats:sup>We prove formal properties of the proposed procedure. Under consideration for acceptance in TPLP.<\/jats:p>","DOI":"10.1017\/s1471068416000478","type":"journal-article","created":{"date-parts":[[2016,10,15]],"date-time":"2016-10-15T21:28:20Z","timestamp":1476566900000},"page":"619-635","source":"Crossref","is-referenced-by-count":4,"title":["Query answering in resource-based answer set semantics"],"prefix":"10.1017","volume":"16","author":[{"given":"STEFANIA","family":"COSTANTINI","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ANDREA","family":"FORMISANO","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2016,10,14]]},"reference":[{"key":"S1471068416000478_ref17","first-page":"1070","volume-title":"Proc. of the 5th Intl. Conf. and Symposium on Logic Programming","author":"Gelfond","year":"1988"},{"key":"S1471068416000478_ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-009-9113-1"},{"key":"S1471068416000478_ref3","first-page":"418","volume-title":"Proc. of AAAI 2008","author":"Bonatti","year":"2008"},{"key":"S1471068416000478_ref28","first-page":"76","volume-title":"Logic Programming, 23rd Intl. Conference, ICLP 2007","author":"Truszczy\u0144ski","year":"2007"},{"key":"S1471068416000478_ref26","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00187-X"},{"key":"S1471068416000478_ref14","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exn040"},{"key":"S1471068416000478_ref11","unstructured":"Costantini S. and Formisano A. 2016. Online supplementary materials for \u201cQuery Answering in Resource-Based Answer Set Semantics\u201d. TPLP archives. See also the arXiv version in http:\/\/arxiv.org\/abs\/1608.01604, CoRR."},{"key":"S1471068416000478_ref2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357"},{"key":"S1471068416000478_ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2015.09.008"},{"key":"S1471068416000478_ref21","doi-asserted-by":"publisher","DOI":"10.1145\/116825.116836"},{"key":"S1471068416000478_ref10","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2015-1255"},{"key":"S1471068416000478_ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90024-8"},{"key":"S1471068416000478_ref20","volume-title":"Foundations of Logic Programming","author":"Lloyd","year":"1993"},{"key":"S1471068416000478_ref23","first-page":"115","volume-title":"Proc. of LPNMR 1993","author":"Marek","year":"1993"},{"key":"S1471068416000478_ref19","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00227-8"},{"key":"S1471068416000478_ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(93)90034-E"},{"key":"S1471068416000478_ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2010.04.002"},{"key":"S1471068416000478_ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"S1471068416000478_ref9","unstructured":"Costantini S. and Formisano A. 2014. Query answering in resource-based answer set semantics. In Proc. of the 29th Italian Conference on Computational Logic. CEUR, Torino, Italy. Also appeared in the 7th Workshop ASPOCP 2014."},{"key":"S1471068416000478_ref8","doi-asserted-by":"publisher","DOI":"10.1080\/11663081.2013.798997"},{"key":"S1471068416000478_ref29","doi-asserted-by":"publisher","DOI":"10.1145\/116825.116838"},{"key":"S1471068416000478_ref22","first-page":"35","volume-title":"Proc. LPNMR 1991","author":"Marek","year":"1991"},{"key":"S1471068416000478_ref16","first-page":"285","volume-title":"Handbook of Knowledge Representation. Chapter 7","author":"Gelfond","year":"2007"},{"key":"S1471068416000478_ref27","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000500"},{"key":"S1471068416000478_ref12","doi-asserted-by":"crossref","first-page":"257","DOI":"10.3233\/FI-1995-2234","article-title":"A classification theory of semantics of normal logic programs I-II","volume":"22","author":"Dix","year":"1995","journal-title":"Fundam. Inform."},{"key":"S1471068416000478_ref25","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068414000118"},{"key":"S1471068416000478_ref6","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exp071"},{"key":"S1471068416000478_ref15","first-page":"11","volume-title":"Proc. of ICLP 2006","author":"Gebser","year":"2006"},{"key":"S1471068416000478_ref7","first-page":"229","volume-title":"Proc. of LPNMR'11","author":"Costantini","year":"2011"}],"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\/S1471068416000478","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,26]],"date-time":"2020-09-26T17:49:18Z","timestamp":1601142558000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068416000478\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9]]},"references-count":29,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2016,9]]}},"alternative-id":["S1471068416000478"],"URL":"https:\/\/doi.org\/10.1017\/s1471068416000478","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,9]]}}}