{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:07Z","timestamp":1761611107224},"reference-count":15,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1986,5,1]],"date-time":"1986-05-01T00:00:00Z","timestamp":515289600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1986,5]]},"DOI":"10.1016\/0004-3702(86)90051-2","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T08:02:52Z","timestamp":1047628972000},"page":"245-292","source":"Crossref","is-referenced-by-count":50,"title":["A syntactic theory of belief and action"],"prefix":"10.1016","volume":"28","author":[{"given":"Andrew R.","family":"Haas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0004-3702(86)90051-2_BIB1","article-title":"A general model of action and time","author":"Allen","year":"1981"},{"key":"10.1016\/0004-3702(86)90051-2_BIB2","series-title":"Proceedings Sixth International Joint Conference on Artificial Intelligence","first-page":"176","article-title":"Propositional attitudes: Fregean representation and simulative reasoning","author":"Creary","year":"1979"},{"key":"10.1016\/0004-3702(86)90051-2_BIB3","series-title":"Representations","article-title":"Three cheers for propositional attitudes","author":"Fodor","year":"1982"},{"key":"10.1016\/0004-3702(86)90051-2_BIB4","series-title":"Ph.D. thesis","article-title":"Mental states and mental actions in planning","author":"Haas","year":"1982"},{"key":"10.1016\/0004-3702(86)90051-2_BIB5","series-title":"Reference and Modality","first-page":"112","article-title":"Quantifying in","author":"Kaplan","year":"1971"},{"key":"10.1016\/0004-3702(86)90051-2_BIB6","article-title":"A first-order formalization of knowledge and action for a multi-agent planning system","author":"Konolige","year":"1980"},{"key":"10.1016\/0004-3702(86)90051-2_BIB7","series-title":"Ph.D. thesis","article-title":"A deduction model of belief and its logics","author":"Konolige","year":"1984"},{"issue":"13","key":"10.1016\/0004-3702(86)90051-2_BIB8","doi-asserted-by":"crossref","first-page":"690","DOI":"10.2307\/2024634","article-title":"Outline of a theory of truth","volume":"72","author":"Kripke","year":"1975","journal-title":"J. Philos."},{"issue":"2","key":"10.1016\/0004-3702(86)90051-2_BIB9","first-page":"139","article-title":"Towards a homuncular theory of believing","volume":"4","author":"Lycan","year":"1981","journal-title":"Cognition and Brain Theory"},{"key":"10.1016\/0004-3702(86)90051-2_BIB10","first-page":"120","article-title":"First-order theories of individual concepts and propositions","volume":"9","author":"McCarthy","year":"1979"},{"key":"10.1016\/0004-3702(86)90051-2_BIB11","doi-asserted-by":"crossref","DOI":"10.1207\/s15516709cog0602_1","article-title":"A temporal logic for reasoning about processes and plans","author":"McDermott","year":"1981"},{"key":"10.1016\/0004-3702(86)90051-2_BIB12","article-title":"Reasoning about knowledge and action","author":"Moore","year":"1980"},{"key":"10.1016\/0004-3702(86)90051-2_BIB13","article-title":"Computational models of belief and semantics of belief sentences","author":"Moore","year":"1979"},{"key":"10.1016\/0004-3702(86)90051-2_BIB14","series-title":"Ph.D. thesis","article-title":"Truth, syntax and reason","author":"Perlis","year":"1980"},{"key":"10.1016\/0004-3702(86)90051-2_BIB15","series-title":"Proceedings of 2nd National Conference on Artificial Intelligence","first-page":"197","article-title":"A system for reasoning about time","author":"Vilain","year":"1981"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370286900512?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370286900512?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,26]],"date-time":"2019-03-26T19:55:03Z","timestamp":1553630103000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0004370286900512"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,5]]},"references-count":15,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1986,5]]}},"alternative-id":["0004370286900512"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(86)90051-2","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1986,5]]}}}