{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T15:39:11Z","timestamp":1765294751493,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662485606"},{"type":"electronic","value":"9783662485613"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-662-48561-3_4","type":"book-chapter","created":{"date-parts":[[2015,10,28]],"date-time":"2015-10-28T13:39:12Z","timestamp":1446039552000},"page":"40-52","source":"Crossref","is-referenced-by-count":10,"title":["Learning Actions Models: Qualitative Approach"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Bolander","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nina","family":"Gierasimczuk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,19]]},"reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-642-33353-8_8","volume-title":"Logics in Artificial Intelligence","author":"M.B. Andersen","year":"2012","unstructured":"Andersen, M.B., Bolander, T., Jensen, M.H.: Conditional epistemic planning. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS, vol.\u00a07519, pp. 94\u2013106. Springer, Heidelberg (2012)"},{"issue":"2","key":"4_CR2","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0019-9958(80)90285-5","volume":"45","author":"D. Angluin","year":"1980","unstructured":"Angluin, D.: Inductive inference of formal languages from positive data. Information and Control\u00a045(2), 117\u2013135 (1980)","journal-title":"Information and Control"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Baltag, A., Gierasimczuk, N., Smets, S.: Belief revision as a truth-tracking process. In: Apt, K. (ed.) TARK 2011: Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge, pp. 187\u2013190. ACM (2011)","DOI":"10.1145\/2000378.2000400"},{"key":"4_CR4","unstructured":"Baltag, A., Gierasimczuk, N., Smets, S.: Truth tracking by belief revision. ILLC Prepublication Series PP-2014-20 (to appear in Studia Logica 2015) (2014)"},{"key":"4_CR5","unstructured":"Baltag, A., Gierasimczuk, N., Smets, S.: On the solvability of inductive problems: A study in epistemic topology. ILLC Prepublication Series PP-2015-13 (to appear in Proceedings of TARK 2015) (2015)"},{"key":"4_CR6","unstructured":"Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements and common knowledge and private suspicions. In: Gilboa, I. (ed.) TARK 1998: Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge, pp. 43\u201356. Morgan Kaufmann (1998)"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"9","DOI":"10.3166\/jancl.21.9-34","volume":"21","author":"T. Bolander","year":"2011","unstructured":"Bolander, T., Andersen, M.B.: Epistemic planning for single- and multi-agent systems. Journal of Applied Non-Classical Logics\u00a021, 9\u201334 (2011)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"4_CR8","unstructured":"van Ditmarsch, H., Kooi, B.: Semantic results for ontic and epistemic change. In: Bonanno, G., van der Hoek, W., Wooldridge, M. (eds.) LOFT 7: Logic and the Foundation of Game and Decision Theory. Texts in Logic and Games, vol.\u00a03, pp. 87\u2013117. Amsterdam University Press (2008)"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Ghallab, M., Nau, D.S., Traverso, P.: Automated Planning: Theory and Practice. Morgan Kaufmann (2004)","DOI":"10.1016\/B978-155860856-6\/50020-X"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/978-3-642-00982-2_31","volume-title":"Language and Automata Theory and Applications","author":"N. Gierasimczuk","year":"2009","unstructured":"Gierasimczuk, N.: Learning by erasing in dynamic epistemic logic. In: Dediu, A.H., Ionescu, A.M., Mart\u00edn-Vide, C. (eds.) LATA 2009. LNCS, vol.\u00a05457, pp. 362\u2013373. Springer, Heidelberg (2009)"},{"key":"4_CR11","unstructured":"Gierasimczuk, N.: Knowing One\u2019s Limits. Logical Analysis of Inductive Inference. Ph.D. thesis, Universiteit van Amsterdam, The Netherlands (2010)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Gierasimczuk, N., de Jongh, D., Hendricks, V.F.: Logic and learning. In: Baltag, A., Smets, S. (eds.) Johan van Benthem on Logical and Informational Dynamics. Springer (2014)","DOI":"10.1007\/978-3-319-06025-5_10"},{"issue":"3","key":"4_CR13","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1093\/comjnl\/bxs059","volume":"56","author":"N. Gierasimczuk","year":"2013","unstructured":"Gierasimczuk, N., de Jongh, D.: On the complexity of conclusive update. The Computer Journal\u00a056(3), 365\u2013377 (2013)","journal-title":"The Computer Journal"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Lange, S., Zeugmann, T.: Types of monotonic language learning and their characterization. In: COLT 1992: Proceedings of the 5th Annual ACM Conference on Computational Learning Theory, pp. 377\u2013390. ACM (1992)","DOI":"10.1145\/130385.130427"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/3-540-56004-1_18","volume-title":"Analogical and Inductive Inference","author":"Y. Mukouchi","year":"1992","unstructured":"Mukouchi, Y.: Characterization of finite identification. In: Jantke, K.P. (ed.) AII 1992. LNCS, vol.\u00a0642, pp. 260\u2013267. Springer, Heidelberg (1992)"},{"key":"4_CR16","unstructured":"Sadzik, T.: Exploring the Iterated Update Universe, ILLC Prepublications PP-2006-26 (2006)"},{"issue":"6","key":"4_CR17","doi-asserted-by":"publisher","first-page":"905","DOI":"10.1007\/s10992-013-9298-y","volume":"42","author":"F. Sietsma","year":"2013","unstructured":"Sietsma, F., van Eijck, J.: Action emulation between canonical models. Journal of Philosophical Logic\u00a042(6), 905\u2013925 (2013)","journal-title":"Journal of Philosophical Logic"},{"key":"4_CR18","unstructured":"Walsh, T.J., Littman, M.L.: Efficient learning of action schemas and web-service descriptions. In: AAAI 2008: Proceedings of the 23rd National Conference on Artificial Intelligence, vol.\u00a02, pp. 714\u2013719. AAAI Press (2008)"}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-48561-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T06:41:50Z","timestamp":1559284910000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-48561-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662485606","9783662485613"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48561-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}