{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T06:07:00Z","timestamp":1740118020713,"version":"3.37.3"},"reference-count":42,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2015,7,1]],"date-time":"2015-07-01T00:00:00Z","timestamp":1435708800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"vor","delay-in-days":1461,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"funder":[{"DOI":"10.13039\/501100004040","name":"KU Leuven","doi-asserted-by":"publisher","award":["GOA 13\/010"],"id":[{"id":"10.13039\/501100004040","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003130","name":"Research Foundation Flanders","doi-asserted-by":"publisher","award":["G.0489.10","G.0357.12","G.0922.13"],"id":[{"id":"10.13039\/501100003130","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1016\/j.artint.2015.03.006","type":"journal-article","created":{"date-parts":[[2015,3,31]],"date-time":"2015-03-31T06:15:44Z","timestamp":1427782544000},"page":"51-71","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":17,"special_numbering":"C","title":["Grounded fixpoints and their applications in knowledge representation"],"prefix":"10.1016","volume":"224","author":[{"given":"Bart","family":"Bogaerts","sequence":"first","affiliation":[]},{"given":"Joost","family":"Vennekens","sequence":"additional","affiliation":[]},{"given":"Marc","family":"Denecker","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/j.artint.2015.03.006_br0010","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1016\/0022-0000(91)90032-Z","article-title":"Datalog extensions for database queries and updates","volume":"43","author":"Abiteboul","year":"1991","journal-title":"J. Comput. Syst. Sci."},{"key":"10.1016\/j.artint.2015.03.006_br0020","series-title":"LPNMR","first-page":"102","article-title":"Hex semantics via approximation fixpoint theory","volume":"vol. 8148","author":"Antic","year":"2013"},{"issue":"3","key":"10.1016\/j.artint.2015.03.006_br0040","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/BF00881799","article-title":"Dualities between alternative semantics for logic programming and nonmonotonic reasoning","volume":"10","author":"Baral","year":"1993","journal-title":"J. Autom. Reason."},{"key":"10.1016\/j.artint.2015.03.006_br0050","series-title":"Web Reasoning and Rule Systems","first-page":"45","article-title":"A generalization of approximation fixpoint theory and application","volume":"vol. 8741","author":"Bi","year":"2014"},{"key":"10.1016\/j.artint.2015.03.006_br0060","series-title":"AAAI 2015, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence","first-page":"1453","article-title":"Grounded fixpoints","author":"Bogaerts","year":"2015"},{"issue":"4\u20135 Online Suppl.","key":"10.1016\/j.artint.2015.03.006_br0070","first-page":"60","article-title":"FO(C): a knowledge representation language of causality","volume":"14","author":"Bogaerts","year":"2014","journal-title":"Theory Pract. Log. Program."},{"key":"10.1016\/j.artint.2015.03.006_br0080","series-title":"IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence","article-title":"Abstract dialectical frameworks revisited","author":"Brewka","year":"2013"},{"key":"10.1016\/j.artint.2015.03.006_br0090","series-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference","first-page":"102","article-title":"Abstract dialectical frameworks","author":"Brewka","year":"2010"},{"key":"10.1016\/j.artint.2015.03.006_br0100","series-title":"AAAI'98","first-page":"840","article-title":"Fixpoint 3-valued semantics for autoepistemic logic","author":"Denecker","year":"1998"},{"key":"10.1016\/j.artint.2015.03.006_br0110","series-title":"Logic-Based Artificial Intelligence","first-page":"127","article-title":"Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning","volume":"vol. 597","author":"Denecker","year":"2000"},{"issue":"1","key":"10.1016\/j.artint.2015.03.006_br0120","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/S0004-3702(02)00293-X","article-title":"Uniform semantic treatment of default and autoepistemic logics","volume":"143","author":"Denecker","year":"2003","journal-title":"Artif. Intell."},{"issue":"1","key":"10.1016\/j.artint.2015.03.006_br0130","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1016\/j.ic.2004.02.004","article-title":"Ultimate approximation and its application in nonmonotonic knowledge representation systems","volume":"192","author":"Denecker","year":"2004","journal-title":"Inf. Comput."},{"key":"10.1016\/j.artint.2015.03.006_br0140","series-title":"Nonmonotonic Reasoning \u2013 Essays Celebrating Its 30th Anniversary","first-page":"111","article-title":"Reiter's default logic is a logic of autoepistemic reasoning and a good one, too","author":"Denecker","year":"2011"},{"issue":"2","key":"10.1016\/j.artint.2015.03.006_br0150","doi-asserted-by":"crossref","first-page":"14:1","DOI":"10.1145\/1342991.1342998","article-title":"A logic of nonmonotone inductive definitions","volume":"9","author":"Denecker","year":"2008","journal-title":"ACM Trans. Comput. Log."},{"key":"10.1016\/j.artint.2015.03.006_br0160","series-title":"LPNMR","first-page":"84","article-title":"Well-founded semantics and the algebraic theory of non-monotone inductive definitions","volume":"vol. 4483","author":"Denecker","year":"2007"},{"key":"10.1016\/j.artint.2015.03.006_br0170","series-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference","first-page":"22","article-title":"The well-founded semantics is the principle of inductive definition, revisited","author":"Denecker","year":"2014"},{"issue":"2","key":"10.1016\/j.artint.2015.03.006_br0180","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","article-title":"On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games","volume":"77","author":"Dung","year":"1995","journal-title":"Artif. Intell."},{"issue":"1","key":"10.1016\/j.artint.2015.03.006_br0190","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":"175","author":"Faber","year":"2011","journal-title":"Artif. Intell."},{"key":"10.1016\/j.artint.2015.03.006_br0200","series-title":"Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)","first-page":"119","article-title":"Answer sets for propositional theories","author":"Ferraris","year":"2005"},{"issue":"1\u20132","key":"10.1016\/j.artint.2015.03.006_br0210","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/S0304-3975(00)00330-3","article-title":"Fixpoint semantics for logic programming \u2014 a survey","volume":"278","author":"Fitting","year":"2002","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/j.artint.2015.03.006_br0220","series-title":"ICLP\/SLP","first-page":"1070","article-title":"The stable model semantics for logic programming","author":"Gelfond","year":"1988"},{"issue":"4\u20135","key":"10.1016\/j.artint.2015.03.006_br0230","doi-asserted-by":"crossref","first-page":"587","DOI":"10.1017\/S1471068414000222","article-title":"Vicious circle principle and logic programs with aggregates","volume":"14","author":"Gelfond","year":"2014","journal-title":"Theory Pract. Log. Program."},{"issue":"4","key":"10.1016\/j.artint.2015.03.006_br0240","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1145\/210332.210334","article-title":"Translating default logic into standard autoepistemic logic","volume":"42","author":"Gottlob","year":"1995","journal-title":"J. ACM"},{"key":"10.1016\/j.artint.2015.03.006_br0250","series-title":"Logics and Models of Concurrent Systems","first-page":"459","article-title":"Towards a theory of knowledge and ignorance: preliminary report","volume":"vol. 13","author":"Halpern","year":"1985"},{"issue":"4","key":"10.1016\/j.artint.2015.03.006_br0260","doi-asserted-by":"crossref","first-page":"150","DOI":"10.2307\/2267778","article-title":"On notation for ordinal numbers","volume":"3","author":"Kleene","year":"1938","journal-title":"J. Symb. Log."},{"key":"10.1016\/j.artint.2015.03.006_br0270","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0004-3702(88)90021-5","article-title":"On the relation between default and autoepistemic logic","volume":"35","author":"Konolige","year":"1988","journal-title":"Artif. Intell."},{"issue":"2\u20133","key":"10.1016\/j.artint.2015.03.006_br0280","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(90)90056-6","article-title":"All I know: a study in autoepistemic logic","volume":"42","author":"Levesque","year":"1990","journal-title":"Artif. Intell."},{"key":"10.1016\/j.artint.2015.03.006_br0290","series-title":"ICLP","first-page":"37","article-title":"Twelve definitions of a stable model","volume":"vol. 5366","author":"Lifschitz","year":"2008"},{"issue":"2","key":"10.1016\/j.artint.2015.03.006_br0300","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1017\/S147106840700302X","article-title":"Logic programs with monotone abstract constraint atoms","volume":"8","author":"Marek","year":"2008","journal-title":"Theory Pract. Log. Program."},{"key":"10.1016\/j.artint.2015.03.006_br0310","series-title":"Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning","first-page":"276","article-title":"Relating autoepistemic and default logics","author":"Marek","year":"1989"},{"issue":"1","key":"10.1016\/j.artint.2015.03.006_br0320","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/322290.322293","article-title":"Nonmonotonic logic II: nonmonotonic modal theories","volume":"29","author":"McDermott","year":"1982","journal-title":"J. ACM"},{"issue":"1\u20132","key":"10.1016\/j.artint.2015.03.006_br0330","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","article-title":"Nonmonotonic logic I","volume":"13","author":"McDermott","year":"1980","journal-title":"Artif. Intell."},{"key":"10.1016\/j.artint.2015.03.006_br0340","series-title":"Proceedings of the Workshop on Non-Monotonic Reasoning","first-page":"344","article-title":"Possible-world semantics for autoepistemic logic","author":"Moore","year":"1984"},{"issue":"1","key":"10.1016\/j.artint.2015.03.006_br0350","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","article-title":"Semantical considerations on nonmonotonic logic","volume":"25","author":"Moore","year":"1985","journal-title":"Artif. Intell."},{"issue":"3","key":"10.1016\/j.artint.2015.03.006_br0360","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1017\/S1471068406002973","article-title":"Well-founded and stable semantics of logic programs with aggregates","volume":"7","author":"Pelov","year":"2007","journal-title":"Theory Pract. Log. Program."},{"issue":"1\u20132","key":"10.1016\/j.artint.2015.03.006_br0370","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","article-title":"A logic for default reasoning","volume":"13","author":"Reiter","year":"1980","journal-title":"Artif. Intell."},{"author":"Son","key":"10.1016\/j.artint.2015.03.006_br0380"},{"key":"10.1016\/j.artint.2015.03.006_br0390","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/j.artint.2013.09.004","article-title":"Approximating operators and semantics for abstract dialectical frameworks","volume":"205","author":"Strass","year":"2013","journal-title":"Artif. Intell."},{"key":"10.1016\/j.artint.2015.03.006_br0400","series-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference","first-page":"101","article-title":"Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory","author":"Strass","year":"2014"},{"issue":"4","key":"10.1016\/j.artint.2015.03.006_br0410","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","article-title":"The semantics of predicate logic as a programming language","volume":"23","author":"van Emden","year":"1976","journal-title":"J. ACM"},{"issue":"3","key":"10.1016\/j.artint.2015.03.006_br0420","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","article-title":"The well-founded semantics for general logic programs","volume":"38","author":"Van Gelder","year":"1991","journal-title":"J. ACM"},{"issue":"4","key":"10.1016\/j.artint.2015.03.006_br0430","doi-asserted-by":"crossref","first-page":"765","DOI":"10.1145\/1183278.1183284","article-title":"Splitting an operator: algebraic modularity results for logics with fixpoint semantics","volume":"7","author":"Vennekens","year":"2006","journal-title":"ACM Trans. Comput. Log."}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370215000521?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370215000521?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,9,23]],"date-time":"2019-09-23T22:43:23Z","timestamp":1569278603000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370215000521"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":42,"alternative-id":["S0004370215000521"],"URL":"https:\/\/doi.org\/10.1016\/j.artint.2015.03.006","relation":{},"ISSN":["0004-3702"],"issn-type":[{"type":"print","value":"0004-3702"}],"subject":[],"published":{"date-parts":[[2015,7]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Grounded fixpoints and their applications in knowledge representation","name":"articletitle","label":"Article Title"},{"value":"Artificial Intelligence","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.artint.2015.03.006","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2015 Elsevier B.V. All rights reserved.","name":"copyright","label":"Copyright"}]}}