{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:57:01Z","timestamp":1725530221226},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642009815"},{"type":"electronic","value":"9783642009822"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-00982-2_31","type":"book-chapter","created":{"date-parts":[[2009,3,30]],"date-time":"2009-03-30T19:51:54Z","timestamp":1238442714000},"page":"362-373","source":"Crossref","is-referenced-by-count":6,"title":["Learning by Erasing in Dynamic Epistemic Logic"],"prefix":"10.1007","author":[{"given":"Nina","family":"Gierasimczuk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/3-540-61863-5_49","volume-title":"Algorithmic Learning Theory","author":"S. Lange","year":"1996","unstructured":"Lange, S., Wiehagen, R., Zeugmann, T.: Learning by erasing. In: Arikawa, S., Sharma, A.K. (eds.) ALT 1996. LNCS (LNAI), vol.\u00a01160, pp. 228\u2013241. Springer, Heidelberg (1996)"},{"issue":"2","key":"31_CR2","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/B:SYNT.0000024912.56773.5e","volume":"139","author":"A. Baltag","year":"2004","unstructured":"Baltag, A., Moss, L.: Logics for epistemic programs. Synthese\u00a0139(2), 165\u2013224 (2004)","journal-title":"Synthese"},{"key":"31_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H. Ditmarsch van","year":"2007","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer, Heidelberg (2007)"},{"key":"31_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6610.001.0001","volume-title":"Systems that Learn","author":"S. Jain","year":"1999","unstructured":"Jain, S., Osherson, D., Royer, J.S., Sharma, A.: Systems that Learn. MIT Press, Cambridge (1999)"},{"key":"31_CR5","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"E. Gold","year":"1967","unstructured":"Gold, E.: Language identification in the limit. Information and Control\u00a010, 447\u2013474 (1967)","journal-title":"Information and Control"},{"key":"31_CR6","first-page":"93","volume":"1","author":"H.J. Tiede","year":"1999","unstructured":"Tiede, H.J.: Identifiability in the limit of context-free generalized quantifiers. Journal of Language and Computation\u00a01, 93\u2013102 (1999)","journal-title":"Journal of Language and Computation"},{"key":"31_CR7","unstructured":"Costa Flor\u00eantio, C.: Learning generalized quantifiers. In: Proc. 7th ESSLLI Student Session (2002)"},{"key":"31_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-540-75144-1_9","volume-title":"Logic, Language, and Computation","author":"N. Gierasimczuk","year":"2007","unstructured":"Gierasimczuk, N.: The problem of learning the semantics of quantifiers. In: ten Cate, B.D., Zeevat, H.W. (eds.) TbiLLC 2005. LNCS (LNAI), vol.\u00a04363, pp. 117\u2013126. Springer, Heidelberg (2007)"},{"key":"31_CR9","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195091953.001.0001","volume-title":"The Logic of Reliable Inquiry","author":"K. Kelly","year":"1996","unstructured":"Kelly, K.: The Logic of Reliable Inquiry. Oxford University Press, Oxford (1996)"},{"key":"31_CR10","doi-asserted-by":"publisher","first-page":"737","DOI":"10.1016\/B978-044481714-3\/50017-5","volume-title":"Handbook of Logic and Language","author":"D. Osherson","year":"1997","unstructured":"Osherson, D., de Jongh, D., Martin, E., Weinstein, S.: Formal learning theory. In: van Benthem, J., Ter Meulen, A. (eds.) Handbook of Logic and Language, pp. 737\u2013775. MIT Press, Cambridge (1997)"},{"key":"31_CR11","volume-title":"Elements of Scientific Inquiry","author":"E. Martin","year":"1998","unstructured":"Martin, E., Osherson, D.: Elements of Scientific Inquiry. MIT Press, Cambridge (1998)"},{"key":"31_CR12","unstructured":"Hintikka, J.: Knowledge and Belief. An Introduction to the Logic of the Two Notions. Cornell University Press (1962)"},{"issue":"2","key":"31_CR13","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C.E. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. The Journal of Symbolic Logic\u00a050(2), 510\u2013530 (1985)","journal-title":"The Journal of Symbolic Logic"},{"key":"31_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/3-540-62064-8_12","volume-title":"Perspectives of System Informatics","author":"R. Freivalds","year":"1996","unstructured":"Freivalds, R., Zeugmann, T.: Co\u2013learning of recursive languages from positive data. In: Bjorner, D., Broy, M., Pottosin, I.V. (eds.) PSI 1996. LNCS, vol.\u00a01181, pp. 122\u2013133. Springer, Heidelberg (1996)"},{"key":"31_CR15","doi-asserted-by":"crossref","unstructured":"van Benthem, J., Gerbrandy, J., Pacuit, E.: Merging frameworks for interaction: DEL and ETL. In: Proc. TARK 2007, pp. 72\u201381 (2007)","DOI":"10.1145\/1324249.1324262"},{"key":"31_CR16","unstructured":"Batlag, A., Moss, L.S., Solecki, S.: The logic of public announcements and common knowledge and private suspicions. In: Proc. TARK 1998, pp. 43\u201356 (1998)"},{"issue":"1","key":"31_CR17","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1006\/inco.2001.2922","volume":"176","author":"R. Freivalds","year":"2002","unstructured":"Freivalds, R., Karpinski, M., Smith, C., Wiehagen, R.: Learning by the process of elimination. Information and Computation\u00a0176(1), 37\u201350 (2002)","journal-title":"Information and Computation"},{"key":"31_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/978-3-642-00665-4_16","volume-title":"TbiLLC 2007","author":"N. Gierasimczuk","year":"2009","unstructured":"Gierasimczuk, N.: Identification through inductive verification. Application to monotone quantifiers. In: Bosch, P., Gabelaia, D., Lang, J. (eds.) TbiLLC 2007. LNCS, vol.\u00a05422, pp. 193\u2013205. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Language and Automata Theory and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00982-2_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T05:50:11Z","timestamp":1710222611000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00982-2_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642009815","9783642009822"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00982-2_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}