{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T02:10:10Z","timestamp":1743214210039,"version":"3.40.3"},"reference-count":18,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[1994,1]]},"DOI":"10.1080\/11663081.1994.10510817","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T07:57:26Z","timestamp":1338364646000},"page":"29-71","source":"Crossref","is-referenced-by-count":0,"title":["Actions on belief"],"prefix":"10.1080","volume":"4","author":[{"given":"Sam","family":"Steel","sequence":"first","affiliation":[]}],"member":"301","reference":[{"key":"CIT0001","unstructured":"Goldblatt, Robert. 1987. \u201cLogics of time and computation. Center for the study of language and information lecture notes #7\u201d."},{"key":"CIT0002","unstructured":"Hintikka, J. 1962. \u201cKnowledge and Belief. Cornell UP, Ithaca, NY\u201d."},{"key":"CIT0003","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF01784885","volume":"3","author":"Halpem J. Y.","year":"1989","journal-title":"Distributed Computing"},{"key":"CIT0004","unstructured":"Konolige, K. 1980. Edited by: Hayes, J. E., Michie, D. and Pao, Y. H. Ellis Horwood. A first-order formalization of knowledge and belief for a multi-agent planning system. In: Machine Intelligence 10"},{"volume-title":"Knowledge, belief and time. In: Lecture Notes in Computer Science, Vol. 226","year":"1986","author":"Lehmann D.","key":"CIT0005"},{"key":"CIT0006","unstructured":"Levesque, H. 1987. \u201cAll I know: An abridged report. Proc. of the National Conf. on Artificial Intelligence (AAAI'87)\u201d. 426\u2013431."},{"key":"CIT0007","unstructured":"Moore, R. C. 1979. \u201cReasoning about knowledge and action. PhD thesis. Department EECS, MIT, Feb\u201d."},{"key":"CIT0008","unstructured":"Moore, R. C. 1985. \u201cA formal theory of knowledge and action.\u201d. Edited by: Hobbs, J. R. and Moore, R. C. Norwood, NJ: Ablex Publishing Corp. Formal theories of the commonsense world (1985"},{"key":"CIT0009","unstructured":"Morgenstern, L. 1987. \u201cKnowledge preconditions for actions and plans. Proc. of the Inter. Joint Conf. on Artificial Intelligence (IJCAI '87), 867\u2013874\u201d."},{"key":"CIT0010","unstructured":"Pelavin, R. 1988. \u201cA formal approach to planning concurrent actions and external events. PhD (also TR 254), Dept Computer Science, Rochester USA\u201d."},{"key":"CIT0011","doi-asserted-by":"crossref","unstructured":"V.R. Semantical considerations on Floyd-Hoare logic. 1976. Vol. 17, 109\u2013121. IEEE Symp. on Foundations of Computer Science","DOI":"10.1109\/SFCS.1976.27"},{"issue":"4","key":"CIT0012","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/BF03037076","volume":"3","year":"1985","journal-title":"New Generation Computing"},{"key":"CIT0013","doi-asserted-by":"crossref","unstructured":"Rosenschein, S. J. 1986. Edited by: Halpern, J. 83\u201398. Morgan & Kaufman. The synthesis of digital machines with provable epistemic properties. In: Proc. Conf. on Theoretical Aspects of Reasoning","DOI":"10.1016\/B978-0-934613-04-0.50009-0"},{"key":"CIT0014","unstructured":"Shoham, Y. 1989. \u201cTime for action: on the relation between time, knowledge and action. Proc. of the Inter. Joint Conf. on Artificial Intelligence (IJCAI '89)\u201d. 954\u2013959."},{"key":"CIT0015","unstructured":"Singh, M. 1991. \u201cA logic of situated know-how. Proc. of the National Conf. on Artificial Intelligence (AAAI'91), 343\u2013348\u201d."},{"key":"CIT0016","doi-asserted-by":"crossref","unstructured":"Steel, S. W.D. 1991. \u201cSound substitution into modal contexts. Proc. 8th Conf. of SSAISB, Springer-Verlag\u201d.","DOI":"10.1007\/978-1-4471-1852-7_21"},{"key":"CIT0017","unstructured":"Werner, E. 1989. \u201cModal logic of games. WISBER Report Nr. B48, University of Saarbr\u00fccken\u201d."},{"key":"CIT0018","unstructured":"Werner, E. 1990. \u201cA unified view of information, intention and ability. Proc. of the 2nd Europ. Workshop on Modelizing Autonomous Agents and Multi-Agent Worlds, St Quentin en Yvelines, France, Aug.\u201d. 69\u201383."}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T01:44:51Z","timestamp":1743212691000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.1994.10510817"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,1]]},"references-count":18,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994,1]]}},"alternative-id":["10.1080\/11663081.1994.10510817"],"URL":"https:\/\/doi.org\/10.1080\/11663081.1994.10510817","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"type":"print","value":"1166-3081"},{"type":"electronic","value":"1958-5780"}],"subject":[],"published":{"date-parts":[[1994,1]]}}}