{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T19:02:09Z","timestamp":1766084529110},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319616599"},{"type":"electronic","value":"9783319616605"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-61660-5_10","type":"book-chapter","created":{"date-parts":[[2017,6,27]],"date-time":"2017-06-27T09:22:22Z","timestamp":1498555342000},"page":"85-100","source":"Crossref","is-referenced-by-count":3,"title":["A Monotonic View on Reflexive Autoepistemic Reasoning"],"prefix":"10.1007","author":[{"given":"Ezgi Iraz","family":"Su","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,28]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal logic. Cambridge Tracts in Theoretical Computer Science, vol. 53. Cambridge University Press (2002)","DOI":"10.1017\/CBO9781107050884"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Halpern, J.-Y., Moses, Y.: Towards a theory of knowledge and ignorance: preliminary report. In: Apt, K.-R. (ed.) Logics and Models of Concurrent Systems, vol. 13, pp. 459\u2013476. Springer (1985)","DOI":"10.1007\/978-3-642-82453-1_16"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Konolige, K.: Autoepistemic logic. In: Gabbay, D.-M., Hogger, C.-J., Robinson, J.-A. Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, pp. 217\u2013295. Oxford University Press, Inc. (1994)","DOI":"10.1093\/oso\/9780198537472.003.0005"},{"key":"10_CR4","unstructured":"Lakemeyer, G., Levesque, H.-J.: Only knowing meets nonmonotonic modal logic. In: Brewka, G., Eiter, T., McIlraith, S.-A. (eds.) Proceedings of the 13th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2012), pp. 350\u2013357. AAAI Press (2012)"},{"key":"10_CR5","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(90)90056-6","volume":"42","author":"H-J Levesque","year":"1990","unstructured":"Levesque, H.-J.: All i know: a study in autoepistemic logic. Artif. Intell. J. 42, 263\u2013309 (1990)","journal-title":"Artif. Intell. J."},{"issue":"1\u20132","key":"10_CR6","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/0004-3702(94)90103-1","volume":"70","author":"V Lifschitz","year":"1994","unstructured":"Lifschitz, V.: Minimal belief and negation as failure. Artif. Intell. J. 70(1\u20132), 53\u201372 (1994). Oxford University Press","journal-title":"Artif. Intell. J."},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Lifschitz, V., Schwarz, G.: Extended logic programs as autoepistemic theories. In: Proceedings of the 2nd Intenational Workshop (LPNMR 1993), pp. 101\u2013114. MIT Press (1993)","DOI":"10.7551\/mitpress\/4307.003.0011"},{"key":"10_CR8","unstructured":"Marek, V.-W., Truszczy\u0144ski, M.: Relating autoepistemic and default logics. In: Brachman, R.-J., Levesque, H.-J., Reiter, R. (eds.) Proceedings of the 1st International Conference on the Principles of Knowledge Representation and Reasoning (KR 1989), pp. 276\u2013288. Morgan Kaufmann, Toronto (1989)"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Marek, V.-W., Truszczy\u0144ski, M.: Reflexive autoepistemic logic and logic programming. In: Proceedings of the 2nd International Workshop on Logic Programming and Non-Monotonic Reasoning, pp. 115\u2013131. MIT Press (1993)","DOI":"10.1007\/978-3-662-02906-0_6"},{"key":"10_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02906-0","volume-title":"Nonmonotonic Logic: Context-Dependent Reasoning","author":"V-W Marek","year":"1993","unstructured":"Marek, V.-W., Truszczy\u0144ski, M.: Nonmonotonic Logic: Context-Dependent Reasoning. Springer, Heidelberg (1993)"},{"issue":"1","key":"10_CR11","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R-C Moore","year":"1985","unstructured":"Moore, R.-C.: Semantical considerations on nonmonotonic logic. Artif. Intell. J. 25(1), 75\u201394 (1985). Elsevier","journal-title":"Artif. Intell. J."},{"key":"10_CR12","unstructured":"Pearce, D., Uridia, L.: An approach to minimal belief via objective belief. In: Walsh, T. (ed.) Proceedings of the International Conference on Artificial Intelligence (IJCAI 2011), vol. 22(1), pp. 1045\u20131050. AAAI Press (2011)"},{"key":"10_CR13","unstructured":"Schwarz, G.-F.: Autoepistemic logic of knowledge. In: Nerode, A., Marek, V.-W., Subrahmanian, V.-S. (eds.) Proceedings of the 1st International Workshop on Logic Programming and Nonmonotonic Reasoning (LPNMR 1991), pp. 260\u2013274. MIT Press (1991)"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Schwarz, G.-F.: Minimal model semantics for nonmonotonic modal logics. In: Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science (LICS 1992), pp. 34\u201343. IEEE Computer Society Press (1992)","DOI":"10.1109\/LICS.1992.185517"},{"issue":"1\u20132","key":"10_CR15","doi-asserted-by":"crossref","first-page":"157","DOI":"10.3233\/FI-1992-171-209","volume":"17","author":"G-F Schwarz","year":"1992","unstructured":"Schwarz, G.-F.: Reflexive autoepistemic logic. Fundamenta Informaticae 17(1\u20132), 157\u2013173 (1992). IOS Press","journal-title":"Fundamenta Informaticae"},{"key":"10_CR16","unstructured":"Schwarz, G.-F., Truszczynski, M.: Modal logic S4F and the minimal knowledge paradigm. In: Moses, Y. (ed.) Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge (TARK 1992), pp. 184\u2013198. Morgan Kaufmann (1992)"},{"key":"10_CR17","unstructured":"Shoham, Y.: A semantical approach to nonmonotonic logics. In: Proceedings of the 10th International Joint Conference on Artificial Intelligence (IJCAI 1987), pp. 1413\u20131419. Morgan Kaufmann Publishers Inc. (1987)"},{"issue":"1\u20132","key":"10_CR18","doi-asserted-by":"crossref","first-page":"7","DOI":"10.3233\/FI-1994-21121","volume":"21","author":"R Stalnaker","year":"1994","unstructured":"Stalnaker, R.: What is a nonmonotonic consequence relation? Fundamenta Informaticae 21(1\u20132), 7\u201321 (1994). IOS Press","journal-title":"Fundamenta Informaticae"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61660-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,25]],"date-time":"2024-06-25T00:43:49Z","timestamp":1719276229000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61660-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319616599","9783319616605"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61660-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}