{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T23:51:17Z","timestamp":1781999477530,"version":"3.54.5"},"reference-count":50,"publisher":"Oxford University Press (OUP)","issue":"8","license":[{"start":{"date-parts":[[2017,6,5]],"date-time":"2017-06-05T00:00:00Z","timestamp":1496620800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"funder":[{"DOI":"10.13039\/501100004543","name":"China Scholarship Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004543","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001721","name":"University of Groningen","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001721","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["61463044"],"award-info":[{"award-number":["61463044"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["[2014]7421"],"award-info":[{"award-number":["[2014]7421"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Education Ministry of China","award":["12&ZD119"],"award-info":[{"award-number":["12&ZD119"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,12,1]]},"DOI":"10.1093\/logcom\/exx020","type":"journal-article","created":{"date-parts":[[2017,5,11]],"date-time":"2017-05-11T20:58:28Z","timestamp":1494536308000},"page":"2383-2410","source":"Crossref","is-referenced-by-count":14,"title":["More for free: a dynamic epistemic framework for conformant planning over transition systems*"],"prefix":"10.1093","volume":"27","author":[{"given":"Yanjun","family":"Li","sequence":"first","affiliation":[{"name":"Philosophy College, Nankai University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Quan","family":"Yu","sequence":"additional","affiliation":[{"name":"School of Mathematics and Statistics, Qiannan Normal University for Nationalities, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yanjing","family":"Wang","sequence":"additional","affiliation":[{"name":"Department of Philosophy, Peking University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2017,6,5]]},"reference":[{"key":"key\n\t\t\t\t2019012306183251700_B1","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1007\/978-3-642-33353-8_8","article-title":"Conditional epistemic planning","volume-title":"Logics in Artificial Intelligence","author":"Andersen","year":"2012"},{"key":"key\n\t\t\t\t2019012306183251700_B2","first-page":"145","article-title":"Don\u2019t plan for the unexpected: Planning based on plausibility models","volume":"58","author":"Andersen","year":"2015","journal-title":"Logique et Analyse"},{"key":"key\n\t\t\t\t2019012306183251700_B3","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1080\/11663081.2012.736703","article-title":"DEL-sequents for regression and epistemic planning","volume":"22","author":"Aucher.","year":"2012","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"key\n\t\t\t\t2019012306183251700_B4","first-page":"27","article-title":"Undecidability in epistemic planning","author":"Aucher","year":"2013","journal-title":"Proceedings of IJCAI \u201913"},{"key":"key\n\t\t\t\t2019012306183251700_B5","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/S0004-3702(99)00071-5","article-title":"Using temporal logics to express search control knowledge for planning","volume":"116","author":"Bacchus","year":"2000","journal-title":"Artificial Intelligence"},{"key":"key\n\t\t\t\t2019012306183251700_B6","article-title":"All PSPACE-complete planning problems are equal but some are more equal than others","author":"B\u00e4ckstr\u00f6m","year":"2011","journal-title":"SOCS 2011"},{"key":"key\n\t\t\t\t2019012306183251700_B7","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1023\/B:SYNT.0000024912.56773.5e","article-title":"Logics for epistemic programs","volume":"139","author":"Baltag","year":"2004","journal-title":"Synthese"},{"key":"key\n\t\t\t\t2019012306183251700_B8","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/j.artint.2006.01.004","article-title":"Strong planning under partial observability","volume":"170","author":"Bertoli","year":"2006","journal-title":"Artificial Intelligence"},{"key":"key\n\t\t\t\t2019012306183251700_B9","volume-title":"Modal Logic","author":"Blackburn","year":"2002"},{"key":"key\n\t\t\t\t2019012306183251700_B10","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\t2019012306183251700_B11","first-page":"2791","article-title":"Complexity results in epistemic planning","author":"Bolander","year":"2015","journal-title":"Proceedings of IJCAI \u201915"},{"key":"key\n\t\t\t\t2019012306183251700_B12","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/j.artint.2009.11.001","article-title":"Conformant plans and beyond: Principles and complexity","volume":"174","author":"Bonet.","year":"2010","journal-title":"Artificial Intelligence."},{"key":"key\n\t\t\t\t2019012306183251700_B13","first-page":"52","article-title":"Planning with incomplete information as heuristic search in belief space","author":"Bonet","year":"2000","journal-title":"ICAPS 2000"},{"key":"key\n\t\t\t\t2019012306183251700_B14","article-title":"Width and complexity of belief tracking in non-deterministic conformant and contingent planning","author":"Bonet","year":"2012","journal-title":"Proceedings of AAAI \u201912"},{"key":"key\n\t\t\t\t2019012306183251700_B15","first-page":"355","article-title":"Conformant planning via heuristic forward search: a new approach","author":"Brafman","year":"2004","journal-title":"ICAPS 2004"},{"key":"key\n\t\t\t\t2019012306183251700_B16","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1613\/jair.1869","article-title":"Planning graph heuristics for belief space search","volume":"26","author":"Bryce","year":"2006","journal-title":"Journal of Artificial Intelligence Research"},{"key":"key\n\t\t\t\t2019012306183251700_B17","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1613\/jair.774","article-title":"Conformant planning via symbolic model checking","volume":"13","author":"Cimatti","year":"2000","journal-title":"Journal of Artificial Intelligence Research"},{"key":"key\n\t\t\t\t2019012306183251700_B18","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/j.artint.2004.05.003","article-title":"Conformant planning via symbolic model checking and heuristic search","volume":"159","author":"Cimatti","year":"2004","journal-title":"Artificial Intelligence"},{"key":"key\n\t\t\t\t2019012306183251700_B19","article-title":"Strategically knowing how","author":"Fervari","year":"2017","journal-title":"Proceedings of IJCAI\u201917"},{"key":"key\n\t\t\t\t2019012306183251700_B20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2200\/S00513ED1V01Y201306AIM022","article-title":"A concise introduction to models and methods for automated planning","volume":"8","author":"Geffner","year":"2013","journal-title":"Synthesis Lectures on Artificial Intelligence and Machine Learning"},{"key":"key\n\t\t\t\t2019012306183251700_B21","volume-title":"Automated Planning: Theory and Practice","author":"Ghallab","year":"2004"},{"key":"key\n\t\t\t\t2019012306183251700_B22","first-page":"1","article-title":"Planning as Model Checking","author":"Giunchiglia","year":"2000","journal-title":"Proceedings of ECP 99"},{"key":"key\n\t\t\t\t2019012306183251700_B23","first-page":"308","article-title":"Some results on the complexity of planning with incomplete information","author":"Haslum","year":"1999","journal-title":"ECP 1999"},{"key":"key\n\t\t\t\t2019012306183251700_B24","doi-asserted-by":"crossref","first-page":"423","DOI":"10.3166\/jancl.17.423-475","article-title":"Constructive knowledge: what agents can achieve under imperfect information","volume":"17","author":"Jamroga","year":"2007","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"key\n\t\t\t\t2019012306183251700_B25","volume-title":"Epistemic and Doxastic Planning","author":"Jensen.","year":"2014"},{"key":"key\n\t\t\t\t2019012306183251700_B26","volume-title":"Algorithm Design","author":"Kleinberg","year":"2005"},{"key":"key\n\t\t\t\t2019012306183251700_B27","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/j.jal.2005.08.002","article-title":"Model checking propositional dynamic logic with all extras","volume":"4","author":"Lange.","year":"2006","journal-title":"Journal of Applied Logic"},{"key":"key\n\t\t\t\t2019012306183251700_B28","first-page":"74","article-title":"From rules to runs: a dynamic epistemic take on imperfect information games","volume":"8","author":"Li","year":"2015","journal-title":"Studies in Logic"},{"key":"key\n\t\t\t\t2019012306183251700_B29","first-page":"230","article-title":"Tableaux for single-agent epistemic PDL with perfect recall and no miracles","author":"Li.","year":"2015","journal-title":"Proceedings of LORI \u201915"},{"key":"key\n\t\t\t\t2019012306183251700_B30","first-page":"34","article-title":"Stopping means achieving: a weaker logic of knowing how","volume":"9","author":"Li.","year":"2016","journal-title":"Studies in Logic"},{"key":"key\n\t\t\t\t2019012306183251700_B31","first-page":"154","article-title":"Achieving while maintaining: - a logic of knowing how with intermediate constraints","author":"Li","year":"2017","journal-title":"Proceedings of ICLA\u201917"},{"key":"key\n\t\t\t\t2019012306183251700_B32","first-page":"179","article-title":"DEL planning and some tractable cases","volume-title":"LORI\u201911","author":"L\u00f6we","year":"2011"},{"key":"key\n\t\t\t\t2019012306183251700_B33","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/s11225-005-3612-9","article-title":"The undecidability of iterated modal relativization","volume":"79","author":"Miller","year":"2005","journal-title":"Studia Logica"},{"key":"key\n\t\t\t\t2019012306183251700_B34","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v29i1.9665","article-title":"Planning over multi-agent epistemic states: a classical planning approach","author":"Muise","year":"2015","journal-title":"The 29th AAAI Conference on Artificial Intelligence"},{"key":"key\n\t\t\t\t2019012306183251700_B35","first-page":"900","article-title":"Compiling uncertainty away: solving conformant planning problems using a classical planner (sometimes)","author":"Palacios","year":"2006","journal-title":"Proceedings of AAAI \u201906"},{"key":"key\n\t\t\t\t2019012306183251700_B36","doi-asserted-by":"crossref","first-page":"623","DOI":"10.1613\/jair.2708","article-title":"Compiling uncertainty away in conformant planning problems with bounded width","volume":"35","author":"Palacios","year":"2009","journal-title":"Journal Of Artificial Intelligence Research"},{"key":"key\n\t\t\t\t2019012306183251700_B37","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/978-3-642-37890-4_3","article-title":"Strong planning in the logics of communication and change","volume-title":"Declarative Agent Languages and Technologies X","author":"Pardo","year":"2013"},{"key":"key\n\t\t\t\t2019012306183251700_B38","first-page":"393","article-title":"The complexity of temporal logic model checking","volume-title":"Advances in Modal Logic Vol. 4","author":"Schnoebelen.","year":"2003"},{"key":"key\n\t\t\t\t2019012306183251700_B39","first-page":"889","article-title":"Conformant graphplan","author":"Smith","year":"1998","journal-title":"Proceedings of AAAI \u201998"},{"key":"key\n\t\t\t\t2019012306183251700_B40","first-page":"1","article-title":"Word problems requiring exponential time (preliminary report)","volume-title":"STOC 1973","author":"Stockmeyer","year":"1973"},{"key":"key\n\t\t\t\t2019012306183251700_B41","first-page":"169","article-title":"A new approach to conformant planning using CNF","author":"To","year":"2010","journal-title":"ICAPS 2010"},{"key":"key\n\t\t\t\t2019012306183251700_B42","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","article-title":"Logics of communication and change","volume":"204","author":"van Benthem","year":"2006","journal-title":"Information and Computation"},{"key":"key\n\t\t\t\t2019012306183251700_B43","first-page":"1167","article-title":"Tractable multiagent planning for epistemic goals","author":"van der Hoek","year":"2002","journal-title":"Proceedings of AAMAS\u201902"},{"key":"key\n\t\t\t\t2019012306183251700_B44","volume-title":"Dynamic Epistemic Logic","author":"van Ditmarsch","year":"2007"},{"key":"key\n\t\t\t\t2019012306183251700_B45","first-page":"392","article-title":"A logic of knowing how","author":"Wang.","year":"2015","journal-title":"Proceedings of LORI\u201915"},{"key":"key\n\t\t\t\t2019012306183251700_B46","article-title":"A logic of goal-directed knowing how","author":"Wang.","year":"2017","journal-title":"Synthese"},{"key":"key\n\t\t\t\t2019012306183251700_B47","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/s11229-012-0233-5","article-title":"On axiomatizations of public announcement logic","volume":"190","author":"Wang","year":"2013","journal-title":"Synthese"},{"key":"key\n\t\t\t\t2019012306183251700_B48","first-page":"559","article-title":"Not all those who wander are lost: Dynamic epistemic reasoning in navigation","volume":"Vol. 9","author":"Wang","year":"2012","journal-title":"Advances in Modal Logic"},{"key":"key\n\t\t\t\t2019012306183251700_B49","article-title":"A dynamic epistemic framework for conformant planning","author":"Yu","year":"2015","journal-title":"EPTCS Proceedings of TARK\u201915"},{"key":"key\n\t\t\t\t2019012306183251700_B50","first-page":"1183","article-title":"Multi-agent epistemic explanatory diagnosis via reasoning about actions","author":"Yu","year":"2013","journal-title":"Proceedings of IJCAI\u201913"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/27\/8\/2383\/27582816\/exx020.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,28]],"date-time":"2022-07-28T14:07:37Z","timestamp":1659017257000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/27\/8\/2383\/3861309"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,5]]},"references-count":50,"journal-issue":{"issue":"8","published-online":{"date-parts":[[2017,6,5]]},"published-print":{"date-parts":[[2017,12,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exx020","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2017,12]]},"published":{"date-parts":[[2017,6,5]]}}}