{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T08:39:16Z","timestamp":1774946356510,"version":"3.50.1"},"reference-count":25,"publisher":"Oxford University Press (OUP)","issue":"2","funder":[{"name":"Innovational Research Incentives Scheme","award":["275-20-043"],"award-info":[{"award-number":["275-20-043"]}]},{"DOI":"10.13039\/501100003246","name":"Netherlands Organisation for Scientific Research","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003246","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004281","name":"National Science Centre Poland","doi-asserted-by":"publisher","award":["2015\/19\/B\/HS1\/03292"],"award-info":[{"award-number":["2015\/19\/B\/HS1\/03292"]}],"id":[{"id":"10.13039\/501100004281","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,3,6]]},"DOI":"10.1093\/logcom\/exx036","type":"journal-article","created":{"date-parts":[[2017,10,30]],"date-time":"2017-10-30T08:09:24Z","timestamp":1509350964000},"page":"337-365","source":"Crossref","is-referenced-by-count":7,"title":["Learning to act: qualitative learning of deterministic action models"],"prefix":"10.1093","volume":"28","author":[{"given":"Thomas","family":"Bolander","sequence":"first","affiliation":[{"name":"Department of Applied Mathematics and Computer Science, Technical University of Denmark, Richard Petersens Plads, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nina","family":"Gierasimczuk","sequence":"additional","affiliation":[{"name":"Department of Applied Mathematics and Computer Science, Technical University of Denmark, Richard Petersens Plads, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2017,12,6]]},"reference":[{"key":"key\n\t\t\t\t20180306103535_B1","first-page":"94","article-title":"Conditional epistemic planning.","volume-title":"Proceedings of 13th European Conference on Logics in Artificial Intelligence (JELIA 2012), Toulouse, France","author":"Andersen","year":"2012"},{"key":"key\n\t\t\t\t20180306103535_B2","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0019-9958(80)90285-5","article-title":"Inductive inference of formal languages from positive data.","volume":"45","author":"Angluin.","year":"1980","journal-title":"Information and Control"},{"key":"key\n\t\t\t\t20180306103535_B3","first-page":"187","article-title":"Belief revision as a truth-tracking process.","volume-title":"Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2011), Groningen, The Netherlands","author":"Baltag","year":"2011"},{"key":"key\n\t\t\t\t20180306103535_B4","article-title":"Truth tracking by belief revision. Prepublication Series PP-2014-20, ILLC,","author":"Baltag","year":"2014"},{"key":"key\n\t\t\t\t20180306103535_B5","first-page":"81","article-title":"On the solvability of inductive problems: A study in epistemic topology.","volume":"vol. 215","author":"Baltag","year":"2016","journal-title":"Proceedings of the 15th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2015), Carnegie Mellon University, Pittsburgh, PA, USA"},{"key":"key\n\t\t\t\t20180306103535_B6","first-page":"43","article-title":"The logic of public announcements, common knowledge, and private suspicions.","volume-title":"Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 1998),","author":"Baltag","year":"1998"},{"key":"key\n\t\t\t\t20180306103535_B7","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1007\/978-3-642-40624-9_18","article-title":"Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL.","author":"Baral","year":"2013","journal-title":"Computational Logic in Multi-Agent Systems"},{"key":"key\n\t\t\t\t20180306103535_B8","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"Blackburn","year":"2001"},{"key":"key\n\t\t\t\t20180306103535_B9","doi-asserted-by":"crossref","first-page":"9","DOI":"10.3166\/jancl.21.9-34","article-title":"Epistemic planning for single- and multi-agent systems.","volume":"21","author":"Bolander","year":"2011","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"key\n\t\t\t\t20180306103535_B10","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/978-3-662-48561-3_4","article-title":"Learning action models: qualitative approach.","volume":"Vol. 9394","author":"Bolander","year":"2015","journal-title":"Proceedings of the 5th International Workshop on Logic, Rationality and Interaction (LORI 2015), Taipei, Taiwan"},{"key":"key\n\t\t\t\t20180306103535_B11","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","article-title":"STRIPS: A new approach to the application of theorem proving to problem solving.","volume":"2","author":"Fikes","year":"1971","journal-title":"Artificial Intelligence"},{"key":"key\n\t\t\t\t20180306103535_B12","author":"Ghallab","year":"2004","journal-title":"Automated Planning: Theory and Practice"},{"key":"key\n\t\t\t\t20180306103535_B13","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1007\/s11229-009-9549-1","article-title":"Bridging learning theory and dynamic epistemic logic.","volume":"169","author":"Gierasimczuk.","year":"2009","journal-title":"Synthese"},{"key":"key\n\t\t\t\t20180306103535_B14","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1007\/978-3-642-00982-2_31","article-title":"Learning by erasing in dynamic epistemic logic.","volume-title":"Proceedings of the 3rd International Conference on Language and Automata Theory and Applications (LATA 2009), Tarragona, Spain","author":"Gierasimczuk.","year":"2009"},{"key":"key\n\t\t\t\t20180306103535_B15","volume-title":"Knowing One\u2019s Limits. Logical Analysis of Inductive Inference","author":"Gierasimczuk.","year":"2010"},{"key":"key\n\t\t\t\t20180306103535_B16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-06025-5_10","article-title":"Logic and learning.","author":"Gierasimczuk","year":"2014","journal-title":"Johan van Benthem on Logical and Informational Dynamics"},{"key":"key\n\t\t\t\t20180306103535_B17","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1093\/comjnl\/bxs059","article-title":"On the complexity of conclusive update.","volume":"56","author":"Gierasimczuk","year":"2013","journal-title":"The Computer Journal"},{"key":"key\n\t\t\t\t20180306103535_B18","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","article-title":"Language identification in the limit.","volume":"10","author":"Gold.","year":"1967","journal-title":"Information and Control"},{"key":"key\n\t\t\t\t20180306103535_B19","first-page":"111","article-title":"The learning power of belief revision.","volume-title":"Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 1998), Evanston, IL, USA","author":"Kelly.","year":"1998"},{"key":"key\n\t\t\t\t20180306103535_B20","first-page":"377","article-title":"Types of monotonic language learning and their characterization.","volume-title":"Proceedings of the 5th Annual ACM Conference on Computational Learning Theory (COLT 1992), Pittsburgh, PA, USA","author":"Lange","year":"1992"},{"key":"key\n\t\t\t\t20180306103535_B21","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1007\/3-540-56004-1_18","article-title":"Characterization of finite identification.","volume-title":"Proceedings of the International Workshop on Analogical and Inductive Inference (AII 1992), Dagstuhl Castle, Germany","author":"Mukouchi.","year":"1992"},{"key":"key\n\t\t\t\t20180306103535_B22","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/s11229-007-9168-7","article-title":"Logics of public communications.","volume":"158","author":"Plaza.","year":"2007","journal-title":"Synthese"},{"key":"key\n\t\t\t\t20180306103535_B23","first-page":"913","article-title":"Learning partially observable action schemas.","volume-title":"Proceedings of the 21st National Conference on Artificial Intelligence (AAAI 2006), Boston, MA, USA","author":"Shahaf","year":"2006"},{"key":"key\n\t\t\t\t20180306103535_B24","first-page":"87","article-title":"Semantic results for ontic and epistemic change.","volume-title":"Proceedings of the 7th Conference on Logic and the Foundation of Game and Decision Theory (LOFT 7), Liverpool, UK","author":"van Ditmarsch","year":"2008"},{"key":"key\n\t\t\t\t20180306103535_B25","first-page":"714","article-title":"Efficient learning of action schemas and web-service descriptions.","volume-title":"Proceedings of the 23rd National Conference on Artificial Intelligence (AAAI 2008), Chicago, IL, USA","author":"Walsh","year":"2008"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/28\/2\/337\/24261856\/exx036.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,5]],"date-time":"2019-10-05T05:49:22Z","timestamp":1570254562000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/28\/2\/337\/4695480"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,6]]},"references-count":25,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2017,12,6]]},"published-print":{"date-parts":[[2018,3,6]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exx036","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2018,3]]},"published":{"date-parts":[[2017,12,6]]}}}