{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T20:46:24Z","timestamp":1742935584283,"version":"3.40.3"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319115573"},{"type":"electronic","value":"9783319115580"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11558-0_20","type":"book-chapter","created":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T02:22:39Z","timestamp":1410834159000},"page":"282-296","source":"Crossref","is-referenced-by-count":0,"title":["Only-Knowing \u00e0 la Halpern-Moses for Non-omniscient Rational Agents: A Preliminary Report"],"prefix":"10.1007","author":[{"given":"Dimitris","family":"Askounis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Costas D.","family":"Koutras","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christos","family":"Moyzes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yorgos","family":"Zikos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"20_CR1","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1093\/logcom\/exl019","volume":"17","author":"T. \u00c5gotnes","year":"2007","unstructured":"\u00c5gotnes, T., Alechina, N.: The dynamics of syntactic knowledge. Journal of Logic and Computation\u00a017(1), 83\u2013116 (2007)","journal-title":"Journal of Logic and Computation"},{"key":"20_CR2","unstructured":"Belle, V., Lakemeyer, G.: Multi-agent only-knowing revisited. In: Lin, et al. (eds.) [26]"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol.\u00a053. Cambridge University Press (2001)","DOI":"10.1017\/CBO9781107050884"},{"key":"20_CR4","unstructured":"Brewka, G., Eiter, T., McIlraith, S.A. (eds.): Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012. AAAI Press (2012)"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Chellas, B.F.: Modal Logic, an Introduction. Cambridge University Press (1980)","DOI":"10.1017\/CBO9780511621192"},{"issue":"4","key":"20_CR6","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1093\/logcom\/7.4.523","volume":"7","author":"F.M. Donini","year":"1997","unstructured":"Donini, F.M., Nardi, D., Rosati, R.: Ground nonmonotonic modal logics. Journal of Logic and Computation\u00a07(4), 523\u2013548 (1997)","journal-title":"Journal of Logic and Computation"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Fitting, M.C.: Basic Modal Logic. In: Gabbay, et al. (eds.) [8], vol.\u00a01, pp. 368\u2013448 (1993)","DOI":"10.1093\/oso\/9780198537458.003.0006"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.): Handbook of Logic in Artificial Intelligence and Logic Programming. Oxford University Press (1993)","DOI":"10.1093\/oso\/9780198537458.001.0001"},{"key":"20_CR9","unstructured":"Gabbay, D.M., Woods, J.: Logic and the Modalities in the Twentieth Century. Handbook of the History of Logic, vol.\u00a07. North-Holland (2006)"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Gochet, P., Gribomont, P.: Epistemic logic. In: Gabbay, Woods (eds.) [9], vol.\u00a07, pp. 99\u2013195 (2006)","DOI":"10.1016\/S1874-5857(06)80028-2"},{"key":"#cr-split#-20_CR11.1","doi-asserted-by":"crossref","unstructured":"Halpern, J.: A critical reexamination of default logic, autoepistemic logic and only-knowing. Computational Intelligence\u00a013(1), 144-163 (1993)","DOI":"10.1111\/0824-7935.00036"},{"key":"#cr-split#-20_CR11.2","unstructured":"A preliminary version appears in Mundici, D., Gottlob, G., Leitsch, A. (eds.): KGC 1993. LNCS, vol.\u00a0713, pp. 144-163. Springer, Heidelberg (1993)"},{"issue":"1","key":"20_CR12","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1093\/logcom\/7.1.79","volume":"7","author":"J. Halpern","year":"1997","unstructured":"Halpern, J.: A theory of knowledge and ignorance for many agents. Journal of Logic and Computation\u00a07(1), 79\u2013108 (1997)","journal-title":"Journal of Logic and Computation"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Halpern, J., Moses, Y.: Towards a theory of knowledge and ignorance: Preliminary report in Apt, K. (ed.) Logics and Models of Concurrent Systems. Springer (1985)","DOI":"10.1007\/978-3-642-82453-1_16"},{"issue":"1","key":"20_CR14","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1093\/logcom\/11.1.41","volume":"11","author":"J.Y. Halpern","year":"2001","unstructured":"Halpern, J.Y., Lakemeyer, G.: Multi-agent only knowing. Journal of Logic and Computation\u00a011(1), 41\u201370 (2001)","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"20_CR15","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1016\/j.artint.2010.04.009","volume":"175","author":"J.Y. Halpern","year":"2011","unstructured":"Halpern, J.Y., Pucella, R.: Dealing with logical omniscience: Expressiveness and pragmatics. Artificial Intelligence\u00a0175(1), 220\u2013235 (2011)","journal-title":"Artificial Intelligence"},{"issue":"3","key":"20_CR16","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/BF00372771","volume":"56","author":"W. van der Hoek","year":"1996","unstructured":"van der Hoek, W., Jaspars, J., Thijsse, E.: Honesty in partial logic. Studia Logica\u00a056(3), 323\u2013360 (1996)","journal-title":"Studia Logica"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Hughes, G.E., Cresswell, M.J.: A New Introduction to Modal Logic. Routledge (1996)","DOI":"10.4324\/9780203290644"},{"key":"20_CR18","unstructured":"Jago, M.: Logics for Resource-Bounded Agents. PhD thesis, University of Nottingham (2006)"},{"key":"20_CR19","series-title":"Lecture Notes in Computer Science","volume-title":"Logics in Artificial Intelligence","year":"2010","unstructured":"Janhunen, T., Niemel\u00e4, I. (eds.): JELIA 2010. LNCS, vol.\u00a06341. Springer, Heidelberg (2010)"},{"key":"20_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/3-540-54487-9_65","volume-title":"Computer Science Logic","author":"J. Jaspars","year":"1991","unstructured":"Jaspars, J.: A generalization of stability and its application to circumscription of positive introspective knowledge. In: Sch\u00f6nfeld, W., B\u00f6rger, E., Kleine B\u00fcning, H., Richter, M.M. (eds.) CSL 1990. LNCS, vol.\u00a0533, pp. 289\u2013299. Springer, Heidelberg (1991)"},{"key":"20_CR21","unstructured":"Koutras, C.D., Moyzes, C., Zikos, Y.: Syntactic reconstructions of stable belief sets. Technical report, Graduate Programme in Algorithms and Computation (2014)"},{"issue":"1-2","key":"20_CR22","doi-asserted-by":"crossref","first-page":"111","DOI":"10.3233\/FI-2009-170","volume":"96","author":"C.D. Koutras","year":"2009","unstructured":"Koutras, C.D., Zikos, Y.: On a modal epistemic axiom emerging from McDermott-Doyle logics. Fundamenta Informaticae\u00a096(1-2), 111\u2013125 (2009)","journal-title":"Fundamenta Informaticae"},{"key":"20_CR23","doi-asserted-by":"crossref","unstructured":"Koutras, C.D., Zikos, Y.: Stable belief sets revisited. In: Janhunen, Niemel\u00e4 (eds.) [19], pp. 221\u2013233","DOI":"10.1007\/978-3-642-15675-5_20"},{"key":"20_CR24","unstructured":"Lakemeyer, G., Levesque, H.J.: Only-knowing meets nonmonotonic modal logic. In: Brewka, et al. (eds.) [4]"},{"issue":"2-3","key":"20_CR25","doi-asserted-by":"publisher","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. Artificial Intelligence\u00a042(2-3), 263\u2013309 (1990)","journal-title":"Artificial Intelligence"},{"key":"20_CR26","unstructured":"Lin, F., Sattler, U., Truszczynski, M. (eds.): Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13. AAAI Press (2010)"},{"key":"20_CR27","doi-asserted-by":"publisher","first-page":"963","DOI":"10.1145\/153724.153773","volume":"40","author":"V.W. Marek","year":"1993","unstructured":"Marek, V.W., Schwarz, G.F., Truszczy\u0144ski, M.: Modal non-monotonic logics: Ranges,characterization, computation. Journal of the ACM\u00a040, 963\u2013990 (1993)","journal-title":"Journal of the ACM"},{"key":"20_CR28","doi-asserted-by":"crossref","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Nonmonotonic Logic: Context-dependent Reasoning. Springer (1993)","DOI":"10.1007\/978-3-662-02906-0"},{"key":"20_CR29","unstructured":"Pearce, D., Uridia, L.: An approach to minimal belief via objective belief. In: Walsh (ed.) [34], pp. 1045\u20131050"},{"key":"20_CR30","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0004-3702(94)90013-2","volume":"67","author":"G.F. Schwarz","year":"1994","unstructured":"Schwarz, G.F., Truszczy\u0144ski, M.: Minimal knowledge problem: a new approach. Artificial Intelligence\u00a067, 113\u2013141 (1994)","journal-title":"Artificial Intelligence"},{"key":"20_CR31","unstructured":"Segerberg, K.: An essay in Clasical Modal Logic. Filosofiska Studies, Uppsala (1971)"},{"key":"20_CR32","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0004-3702(93)90104-J","volume":"64","author":"R. Stalnaker","year":"1993","unstructured":"Stalnaker, R.: A note on non-monotonic modal logic. Artificial Intelligence\u00a064, 183\u2013196 (1993) (Revised version of the unpublished note originally circulated in 1980)","journal-title":"Artificial Intelligence"},{"issue":"1-4","key":"20_CR33","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1023\/A:1018967130652","volume":"27","author":"W. van der Hoek","year":"1999","unstructured":"van der Hoek, W., Jaspars, J., Thijsse, E.: Persistence and minimality in epistemic logic. Annals of Mathematics and Artificial Intelligence\u00a027(1-4), 25\u201347 (1999)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"20_CR34","unstructured":"Walsh, T. (ed.): Proceedings of the 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011, Barcelona, Catalonia, Spain, July 16-22. IJCAI\/AAAI (2011)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11558-0_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,2]],"date-time":"2024-06-02T14:24:18Z","timestamp":1717338258000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11558-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115573","9783319115580"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11558-0_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}