{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T05:18:02Z","timestamp":1739423882466,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642048920"},{"type":"electronic","value":"9783642048937"}],"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-04893-7_19","type":"book-chapter","created":{"date-parts":[[2009,9,26]],"date-time":"2009-09-26T02:11:09Z","timestamp":1253931069000},"page":"238-250","source":"Crossref","is-referenced-by-count":4,"title":["An Epistemic Logic for Planning with Trials"],"prefix":"10.1007","author":[{"given":"Rajdeep","family":"Niyogi","sequence":"first","affiliation":[]},{"given":"R.","family":"Ramanujam","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Belnap, N.D., Steel, T.B.: The Logic of Questions and Answers. Yale University Press (1976)"},{"issue":"1-2","key":"19_CR2","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/S0004-3702(00)00080-1","volume":"125","author":"C. Baral","year":"2001","unstructured":"Baral, C., Son, T.: Formalizing sensing actions\u2013a transition function based approach. Artificial Intelligence\u00a0125(1-2), 19\u201391 (2001)","journal-title":"Artificial Intelligence"},{"key":"19_CR3","unstructured":"Etzioni, O., Hanks, S., Weld, D., Draper, D., Lesh, N., Williamson, M.: An approach to planning with incomplete information. In: Proceedings of Knowledge Representation, pp. 115\u2013125 (1992)"},{"key":"19_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press, Cambridge (1995)"},{"key":"19_CR5","unstructured":"Golden, R.P., Boddy, M.S.: Expressive planning and explicit knowledge. In: Proceedings of the Third Artificial Intelligence Planning Systems, pp. 110\u2013117 (1996)"},{"key":"19_CR6","volume-title":"Automated Planning: Theory and Practice","author":"M. Ghallab","year":"2004","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Automated Planning: Theory and Practice. Morgan Kaufmann Publishers, San Francisco (2004)"},{"key":"19_CR7","unstructured":"Golden, K., Weld, D.: Representing sensing actions: The middle ground revisited. In: Proceedings of Knowledge Representation, pp. 213\u2013224 (1996)"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Harrah, D.: The logic of questions. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a08, pp. 1\u201360 (2002)","DOI":"10.1007\/978-94-010-0387-2_1"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Hintikka, J.: Reasoning about knowledge in philosophy. In: Proceedings of Theoretical Aspects of Rationality and Knowledge (1986)","DOI":"10.1016\/B978-0-934613-04-0.50007-7"},{"key":"19_CR10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"issue":"1","key":"19_CR11","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/s11098-005-4060-0","volume":"128","author":"V.F. Hendricks","year":"2006","unstructured":"Hendricks, V.F., Symons, J.: Where is the bridge? epistemology and epistemic logic. Philosophical Studies\u00a0128(1), 137\u2013167 (2006)","journal-title":"Philosophical Studies"},{"key":"19_CR12","unstructured":"Levesque, H.: What is planning in the presence of sensing? In: Proceedings of AAAI, pp. 1139\u20131146 (1996)"},{"key":"19_CR13","unstructured":"Levesque, H.: Planning with loops. In: Proceedings of IJCAI, pp. 311\u2013316 (2005)"},{"key":"19_CR14","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/BF00247434","volume":"3","author":"Z. Manna","year":"1987","unstructured":"Manna, Z., Waldinger, R.: How to clear a block: A theory of plans. Journal of Automated Reasoning\u00a03, 343\u2013377 (1987)","journal-title":"Journal of Automated Reasoning"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Niyogi, R.: Planning with trial and errors. In: Proceedings of International Conference on Intelligent Agents and Multi Agent Systems (IAMA 2009), Chennai, July 22-24 (2009)","DOI":"10.1109\/IAMA.2009.5228067"},{"key":"19_CR16","unstructured":"Rosenschien, S.: Plan synthesis: a logical perspective. In: Proceedings of IJCAI, pp. 331\u2013337 (1981)"},{"key":"19_CR17","unstructured":"Ramanujam, R., Simon, S.: A logical structure for strategies. In: Logic and the Foundations of Game and Decision Theory. Texts in Logic and Games, vol.\u00a03, pp. 151\u2013176 (2008)"},{"issue":"1-2","key":"19_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(02)00365-X","volume":"144","author":"R.B. Scherl","year":"2003","unstructured":"Scherl, R.B., Levesque, H.: Knowledge, action, and the frame problem. Artificial Intelligence\u00a0144(1-2), 1\u201339 (2003)","journal-title":"Artificial Intelligence"},{"issue":"6","key":"19_CR19","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1093\/logcom\/10.6.787","volume":"10","author":"L. Spalazzi","year":"2000","unstructured":"Spalazzi, L., Traverso, P.: A dynamic logic for acting, sensing, and planning. Logic Computation\u00a010(6), 727\u2013821 (2000)","journal-title":"Logic Computation"},{"key":"19_CR20","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":"19_CR21","doi-asserted-by":"crossref","unstructured":"van Riemsdijk, M.B., de Boer, F.S., Meyer, J.C.: Dynamic logic for plan revision in intelligent agents. In: Proceedings of the 5th International Workshop on Computational Logic in Multi agent systems, pp. 16\u201332 (2005)","DOI":"10.1007\/11533092_2"}],"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-642-04893-7_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T11:02:53Z","timestamp":1739358173000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04893-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642048920","9783642048937"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04893-7_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}