{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T16:47:14Z","timestamp":1762015634990,"version":"3.40.5"},"reference-count":31,"publisher":"Cambridge University Press (CUP)","issue":"5-6","license":[{"start":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T00:00:00Z","timestamp":1568937600000},"content-version":"unspecified","delay-in-days":19,"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":[[2019,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In this paper we consider Epistemic Logic Programs, which extend Answer Set Programming (ASP) with \u201c epistemic operators\u201d and \u201c epistemic negation\u201d, and a recent approach to the semantics of such programs in terms of<jats:italic>World Views<\/jats:italic>. We propose some observations on the existence and number of world views. We show how to exploit an extended ASP semantics in order to: (i) provide a characterization of world views, different from existing ones; (ii) query world views and query the whole set of world views.<\/jats:p>","DOI":"10.1017\/s147106841900019x","type":"journal-article","created":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T09:06:21Z","timestamp":1568970381000},"page":"790-807","source":"Crossref","is-referenced-by-count":5,"title":["About Epistemic Negation and World Views in Epistemic Logic Programs"],"prefix":"10.1017","volume":"19","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5686-6124","authenticated-orcid":false,"given":"STEFANIA","family":"COSTANTINI","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2019,9,20]]},"reference":[{"key":"S147106841900019X_ref28","unstructured":"Su, E. I. 2019. Epistemic answer set programming. In Logics in Artificial Intelligence - 16th European Conf., JELIA 2019, Proceedings, F. Calimeri, N. Leone, and M. Manna, Eds. Lecture Notes in Computer Science, vol. 11468. Springer, 608\u2013626."},{"key":"S147106841900019X_ref23","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"Lloyd","year":"1987"},{"key":"S147106841900019X_ref16","doi-asserted-by":"crossref","first-page":"227","DOI":"10.3233\/FI-1995-2233","article-title":"A classification theory of semantics of normal logic programs I-II","volume":"3","author":"Dix","year":"1995","journal-title":"Fundamenta Informaticae 22"},{"key":"S147106841900019X_ref10","unstructured":"Costantini, S. 2006. On the existence of stable models of non-stratified logic programs. Theory and Practice of Logic Programming 6, 1\u20132."},{"key":"S147106841900019X_ref9","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/S0743-1066(98)10020-1","article-title":"Extremal problems in logic programming and stable model computation","volume":"2","author":"Cholewinski","year":"1999","journal-title":"Journal of Logic Programming 38"},{"key":"S147106841900019X_ref5","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1609\/aimag.v37i3.2669","article-title":"Answer set programming: Special issue","volume":"3","author":"Brewka","year":"2016","journal-title":"AI Magazine 37"},{"key":"S147106841900019X_ref4","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1017\/S147106840100103X","article-title":"Transformation-based bottom-up computation of the well-founded model","volume":"5","author":"Brass","year":"2001","journal-title":"Theory and Practice of Logic Programming 1"},{"key":"S147106841900019X_ref7","unstructured":"Cabalar, P. , Fandinno, J. , and del Cerro, L. F . 2019b. Splitting epistemic logic programs. In Logic Programming and Nonmonotonic Reasoning - 15th Intl. Conf., LPNMR 2019, Proceedings, M. Balduccini, Y. Lierler, and S. Woltran, Eds. Lecture Notes in Computer Science, vol. 11481. 120\u2013133."},{"key":"S147106841900019X_ref15","unstructured":"del Cerro, L. F. , Herzig, A. , and Su, E. I. 2015. Epistemic equilibrium logic. In Proceedings of the Twenty-Fourth Intl. Joint Conf. on Artificial Intelligence, IJCAI 2015, Q. Yang and M. Wooldridge, Eds. AAAI Press, 2964\u2013270."},{"key":"S147106841900019X_ref25","unstructured":"Shen, Y. and Eiter, T. 2016. Evaluating epistemic negation in answer set programming. Artificial Intelligence 237, 115\u2013135."},{"key":"S147106841900019X_ref3","unstructured":"Bowen, K. and Kowalski, R. A. 1983. Amalgamating language and metalanguage in logic programming. In Logic Programming, K. Clark and S. A. Tarnlund, Eds. Academic Press."},{"key":"S147106841900019X_ref26","unstructured":"Son, T. C. , Le, T. , Kahl, P. T. , and Leclerc, A. P. 2017. On computing world views of epistemic logic programs. In Proc. of the Twenty-Sixth Intl. Joint Conf. on Artificial Intelligence, IJCAI 2017, C. Sierra, Ed. ijcai.org, 1269\u20131275."},{"key":"S147106841900019X_ref13","doi-asserted-by":"crossref","first-page":"619","DOI":"10.1017\/S1471068416000478","article-title":"Query answering in resource-based answer set semantics","volume":"5","author":"Costantini","year":"2016","journal-title":"Theory and Practice of Logic Programming 16"},{"key":"S147106841900019X_ref24","unstructured":"Marek, V. W. and Truszczyski, M. 1993. Reflective autoepistemic logic and logic programming. In LPNMR, Logic Programming and Non-monotonic Reasoning, Proc. of the Second Intl. Workshop, A. Nerode and L. M. Pereira, Eds. The MIT Press, 115\u2013131."},{"key":"S147106841900019X_ref30","unstructured":"Truszczynski, M. Revisiting epistemic specifications. In Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, M. Balduccini and T. C. Son, Eds."},{"key":"S147106841900019X_ref31","first-page":"620","article-title":"The well-founded semantics for general logic programs","volume":"3","author":"Van Gelder","year":"1991","journal-title":"Journal of the ACM 38"},{"key":"S147106841900019X_ref14","doi-asserted-by":"crossref","first-page":"747","DOI":"10.1017\/S1471068404002339","article-title":"Normal forms for answer sets programming","volume":"6","author":"Costantini","year":"2005","journal-title":"Theory and Practice of Logic Programming 5"},{"key":"S147106841900019X_ref6","unstructured":"Cabalar, P. , Fandinno, J. , and del Cerro, L. F. 2019a. Founded world views with autoepistemic equilibrium logic. In Logic Programming and Nonmonotonic Reasoning - 15th Intl. Conf., LPNMR 2019, Proceedings, M. Balduccini, Y. Lierler, and S. Woltran, Eds. Lecture Notes in Computer Science, vol. 11481. 134\u2013147."},{"key":"S147106841900019X_ref12","doi-asserted-by":"crossref","first-page":"279","DOI":"10.3233\/FI-2015-1255","article-title":"Negation as a resource: a novel view on answer set semantics","volume":"3","author":"Costantini","year":"2015","journal-title":"Fundamenta Informaticae 140"},{"key":"S147106841900019X_ref11","unstructured":"Costantini, S. 2011. Answer set modules for logical agents. In Datalog Reloaded - First Intl. Workshop, Datalog 2010, Revised Selected Papers, O. de Moor, G. Gottlob, T. Furche, and A. J. Sellers, Eds. Number 6702 in Lecture Notes in Computer Science. Springer, 37\u201358."},{"key":"S147106841900019X_ref29","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1017\/S1471068411000500","article-title":"XSB: Extending prolog with tabled logic programming","volume":"1","author":"Swift","year":"2012","journal-title":"Theory and Practice of Logic Programming 12"},{"key":"S147106841900019X_ref17","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1016\/j.artint.2010.04.002","article-title":"Semantics and complexity of recursive aggregates in answer set programming","volume":"1","author":"Faber","year":"2011","journal-title":"Artificial Intelligence 175"},{"key":"S147106841900019X_ref8","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1016\/0743-1066(93)90034-E","article-title":"A goal-oriented approach to computing the well-founded semantics","volume":"17","author":"Chen","year":"1993","journal-title":"Journal of Logic Programming"},{"key":"S147106841900019X_ref22","unstructured":"Kahl, P. T. and Leclerc, A. P. 2018. Epistemic logic programs with world view constraints. In Technical Communications of the 34th Intl. Conf. on Logic Programming, ICLP 2018, A. D. Pal\u00f9, P. Tarau, N. Saeedloei, and P. Fodor, Eds. OASIcs, vol. 64. Schloss Dagstuhl, 1:1\u20131:17."},{"key":"S147106841900019X_ref19","unstructured":"Gelfond, M. and Lifschitz, V. 1988. The stable model semantics for logic programming. In Proceedings of the 5th Intl. Conf. and Symposium on Logic Programming, R. Kowalski and K. Bowen, Eds. MIT Press, 1070\u20131080."},{"key":"S147106841900019X_ref27","unstructured":"Su, E. I. 2017. A monotonic view on reflexive autoepistemic reasoning. In Logic Programming and Nonmonotonic Reasoning - 14th Intl. Conf., LPNMR 2017, Proceedings, M. Balduccini and T. Janhunen, Eds. Lecture Notes in Computer Science, vol. 10377. Springer, 85\u2013100."},{"key":"S147106841900019X_ref18","unstructured":"Gelfond, M. 2011. New semantics for epistemic specifications. In Logic Programming and Nonmonotonic Reasoning - 11th Intl. Conf., LPNMR 2011, Proceedings, J. P. Delgrande and W. Faber, Eds. Lecture Notes in Computer Science, vol. 6645. Springer, 260\u2013265."},{"key":"S147106841900019X_ref21","unstructured":"Gelfond, M. and Przymusinska, H. 1991. Definitions in epistemic specifications. In Logic Programming and Non-monotonic Reasoning, Proceedings of the First Intl. Workshop, A. Nerode, V. W. Marek, and V. S. Subrahmanian, Eds. The MIT Press, 245\u2013259."},{"key":"S147106841900019X_ref1","unstructured":"Bichler, M. , Morak, M. , and Woltran, S. 2018. Single-shot epistemic logic program solving. In Proc. of the Twenty-Seventh Intl. Joint Conf. on Artificial Intelligence, IJCAI 2018, J. Lang, Ed. ijcai.org, 1714\u20131720."},{"key":"S147106841900019X_ref20","unstructured":"Gelfond, M. and Lifschitz, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 365\u2013385."},{"key":"S147106841900019X_ref2","first-page":"33","article-title":"A survey of programming languages and platforms for multi-agent systems","volume":"1","author":"Bordini","year":"2006","journal-title":"Informatica (Slovenia) 30"}],"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\/S147106841900019X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,7]],"date-time":"2019-12-07T12:21:58Z","timestamp":1575721318000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S147106841900019X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9]]},"references-count":31,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2019,9]]}},"alternative-id":["S147106841900019X"],"URL":"https:\/\/doi.org\/10.1017\/s147106841900019x","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"type":"print","value":"1471-0684"},{"type":"electronic","value":"1475-3081"}],"subject":[],"published":{"date-parts":[[2019,9]]}}}