{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:45:10Z","timestamp":1762101910651,"version":"3.41.0"},"reference-count":38,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2016,9,10]],"date-time":"2016-09-10T00:00:00Z","timestamp":1473465600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Research Foundation-Flanders","award":["G.0489.10, G.0357.12, and G.0922.13"],"award-info":[{"award-number":["G.0489.10, G.0357.12, and G.0922.13"]}]},{"name":"Research Fund KU Leuven","award":["GOA 13\/010"],"award-info":[{"award-number":["GOA 13\/010"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2016,11,15]]},"abstract":"<jats:p>In the past, compelling arguments in favour of the well-founded semantics for autoepistemic logic have been presented. In this article, we show that for certain classes of theories, this semantics fails to identify the unique intended model. We solve this problem by refining the well-founded semantics. We develop our work in approximation fixpoint theory, an abstract algebraical study of semantics of nonmonotonic logics. As such, our results also apply to logic programming, default logic, Dung\u2019s argumentation frameworks, and abstract dialectical frameworks.<\/jats:p>","DOI":"10.1145\/2963096","type":"journal-article","created":{"date-parts":[[2016,9,12]],"date-time":"2016-09-12T13:33:37Z","timestamp":1473687217000},"page":"1-32","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["On Well-Founded Set-Inductions and Locally Monotone Operators"],"prefix":"10.1145","volume":"17","author":[{"given":"Bart","family":"Bogaerts","sequence":"first","affiliation":[{"name":"Department of Computer Science, KU Leuven"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joost","family":"Vennekens","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Campus De Nayer, KU Leuven"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Denecker","sequence":"additional","affiliation":[{"name":"Department of Computer Science, KU Leuven"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,9,10]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40564-8_11"},{"key":"e_1_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Krzysztof R. Apt Howard A. Blair and Adrian Walker. 1988. Towards a theory of declarative knowledge. See Minker {1988} 89--148.   Krzysztof R. Apt Howard A. Blair and Adrian Walker. 1988. Towards a theory of declarative knowledge. See Minker {1988} 89--148.","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/322326.322339"},{"volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the 14th International Conference (KR\u201914)","year":"2014","author":"Baral Chitta","key":"e_1_2_1_4_1"},{"volume-title":"A generalization of approximation fixpoint theory and application","author":"Bi Yi","key":"e_1_2_1_5_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-11113-1_4"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2015.03.006"},{"key":"e_1_2_1_8_1","first-page":"4","article-title":"FO(C): A knowledge representation language of causality","volume":"14","author":"Bogaerts Bart","year":"2014","journal-title":"TPLP"},{"volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the 12th International Conference (KR\u201910)","year":"2010","author":"Brewka Gerhard","key":"e_1_2_1_9_1"},{"volume-title":"The Springer International Series in Engineering and Computer Science","author":"Denecker Marc","key":"e_1_2_1_10_1"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00293-X"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2004.02.004"},{"volume-title":"Nonmonotonic Reasoning -- Essays Celebrating Its 30th Anniversary, Gerd Brewka, Victor Marek, and Miros\u0142aw Truszczy\u0144ski (Eds.)","author":"Denecker Marc","key":"e_1_2_1_13_1"},{"volume-title":"LPNMR (Lecture Notes in Computer Science), Chitta Baral, Gerhard Brewka, and John S","author":"Denecker Marc","key":"e_1_2_1_14_1"},{"volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the 14th International Conference (KR\u201914)","year":"2014","author":"Denecker Marc","key":"e_1_2_1_15_1"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00041-X"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(85)80005-4"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/39515.39521"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00330-3"},{"volume-title":"ICLP\/SLP, Robert A","author":"Gelfond Michael","key":"e_1_2_1_20_1"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.2307\/2267778"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(88)90021-5"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90056-6"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/116825.116836"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02485815"},{"key":"e_1_2_1_26_1","unstructured":"Jack Minker (Ed.). 1988. Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann.   Jack Minker (Ed.). 1988. Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(85)90042-6"},{"volume-title":"Proceedings of the 12th International Joint Conference on Artificial Intelligence, John Mylopoulos and Raymond Reiter (Eds.). Morgan Kaufmann, 399--405","year":"1991","author":"Niemel\u00e4 Ilkka","key":"e_1_2_1_28_1"},{"key":"e_1_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Teodor C. Przymusinski. 1988. On the declarative semantics of deductive databases and logic programs. In Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann 193--216.   Teodor C. Przymusinski. 1988. On the declarative semantics of deductive databases and logic programs. In Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann 193--216.","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2013.09.004"},{"volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the 14th International Conference, KR 2014","year":"2014","author":"Strass Hannes","key":"e_1_2_1_32_1"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/321978.321991"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/116825.116838"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1183278.1183284"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1182613.1189735"},{"key":"e_1_2_1_37_1","first-page":"1","article-title":"Predicate introduction for logics with a fixpoint semantics. Part I: Logic programming","volume":"79","author":"Vennekens Joost","year":"2007","journal-title":"Fundam. Inform."},{"key":"e_1_2_1_38_1","first-page":"1","article-title":"Predicate introduction for logics with a fixpoint semantics. Part II: Autoepistemic logic","volume":"79","author":"Vennekens Joost","year":"2007","journal-title":"Fundam. Inform."},{"volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the 13th International Conference, KR","year":"2012","author":"Vlaeminck Hanne","key":"e_1_2_1_39_1"}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2963096","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2963096","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:54:04Z","timestamp":1750222444000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2963096"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,10]]},"references-count":38,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,11,15]]}},"alternative-id":["10.1145\/2963096"],"URL":"https:\/\/doi.org\/10.1145\/2963096","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"type":"print","value":"1529-3785"},{"type":"electronic","value":"1557-945X"}],"subject":[],"published":{"date-parts":[[2016,9,10]]},"assertion":[{"value":"2015-08-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2016-06-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2016-09-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}