{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T06:05:31Z","timestamp":1747893931369},"reference-count":15,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1985,2,1]],"date-time":"1985-02-01T00:00:00Z","timestamp":476064000000},"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":["International Journal of Man-Machine Studies"],"published-print":{"date-parts":[[1985,2]]},"DOI":"10.1016\/s0020-7373(85)80067-5","type":"journal-article","created":{"date-parts":[[2008,8,14]],"date-time":"2008-08-14T08:40:20Z","timestamp":1218703220000},"page":"151-161","source":"Crossref","is-referenced-by-count":7,"title":["Selecting a humanly understandable knowledge representation for reasoning about knowledge"],"prefix":"10.1016","volume":"22","author":[{"given":"Anthony S.","family":"Maida","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0020-7373(85)80067-5_bib1","series-title":"Language, Memory, and Thought","author":"Anderson","year":"1976"},{"key":"10.1016\/S0020-7373(85)80067-5_bib2","series-title":"Theoretical Issues in Natural Language Processing-2","first-page":"51","article-title":"The processing of referring expressions within a semantic network","author":"Anderson","year":"1978"},{"key":"10.1016\/S0020-7373(85)80067-5_bib3","first-page":"280","article-title":"Intensions as such: an outline","author":"Barnden","year":"1983","journal-title":"Proc. IJCAI-83"},{"key":"10.1016\/S0020-7373(85)80067-5_bib4","first-page":"176","article-title":"Propositional attitudes: Fregean representation and simulative reasoning","author":"Creary","year":"1979","journal-title":"Proc. IJCAI-79"},{"key":"10.1016\/S0020-7373(85)80067-5_bib5_1","first-page":"25","article-title":"Ueber Sinn und Bedeutung","volume":"100","author":"Frege","year":"1982","journal-title":"Zeitschrift f\u00fcr Philosophie und philosophische Kritik"},{"key":"10.1016\/S0020-7373(85)80067-5_bib5_2","series-title":"Translation from the philosophical writings of Gottlob Frege","year":"1960"},{"key":"10.1016\/S0020-7373(85)80067-5_bib6","series-title":"Reference and Modality","first-page":"145","article-title":"Semantics for propositional attitudes","author":"Hintikka","year":"1971"},{"key":"10.1016\/S0020-7373(85)80067-5_bib7","first-page":"381","article-title":"Knowing intensional individuals and reasoning about knowing intensional individuals","author":"Maida","year":"1983","journal-title":"Proc. IJCAI-83"},{"key":"10.1016\/S0020-7373(85)80067-5_bib8","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1207\/s15516709cog0604_1","article-title":"Intensional concepts in propositional semantic networks","volume":"6","author":"Maida","year":"1982","journal-title":"Cognitive Science"},{"key":"10.1016\/S0020-7373(85)80067-5_bib9","series-title":"AI-TR-550","article-title":"The use of equality in deduction and knowledge representation","author":"Mcallester","year":"1980"},{"key":"10.1016\/S0020-7373(85)80067-5_bib10","article-title":"First order theories of individual concepts and propositions","volume":"9","author":"McCarthy","year":"1979"},{"key":"10.1016\/S0020-7373(85)80067-5_bib11","first-page":"223","article-title":"Reasoning about knowledge and action","author":"Moore","year":"1977","journal-title":"Proc. IJCAI-77"},{"key":"10.1016\/S0020-7373(85)80067-5_bib12","article-title":"Reasoning about knowledge and action","author":"Moore","year":"1980","journal-title":"SRI technical note 191"},{"key":"10.1016\/S0020-7373(85)80067-5_bib13","series-title":"Human Problem Solving","author":"Newell","year":"1972"},{"key":"10.1016\/S0020-7373(85)80067-5_bib14","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1207\/s15516709cog0702_1","article-title":"Beliefs, points of view, and multiple environments","volume":"7","author":"Wilks","year":"1983","journal-title":"Cognitive Science"}],"container-title":["International Journal of Man-Machine Studies"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020737385800675?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020737385800675?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,12,26]],"date-time":"2018-12-26T12:57:19Z","timestamp":1545829039000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0020737385800675"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,2]]},"references-count":15,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1985,2]]}},"alternative-id":["S0020737385800675"],"URL":"https:\/\/doi.org\/10.1016\/s0020-7373(85)80067-5","relation":{},"ISSN":["0020-7373"],"issn-type":[{"value":"0020-7373","type":"print"}],"subject":[],"published":{"date-parts":[[1985,2]]}}}