{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T22:21:01Z","timestamp":1759962061655,"version":"3.44.0"},"reference-count":77,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2004,2,19]],"date-time":"2004-02-19T00:00:00Z","timestamp":1077148800000},"content-version":"vor","delay-in-days":4797,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1991,1]]},"DOI":"10.1016\/0004-3702(91)90056-p","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T08:02:52Z","timestamp":1047628972000},"page":"251-288","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":43,"title":["The owl and the electric encyclopedia"],"prefix":"10.1016","volume":"47","author":[{"given":"Brian Cantwell","family":"Smith","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"year":"1985","author":"Agre","key":"10.1016\/0004-3702(91)90056-P_BIB1"},{"article-title":"The dynamic structure of everyday life","year":"1989","author":"Agre","key":"10.1016\/0004-3702(91)90056-P_BIB2"},{"key":"10.1016\/0004-3702(91)90056-P_BIB3_1","series-title":"On Conditionals","article-title":"The situation in logic II: conditionals and conditional information","author":"Barwise","year":"1986"},{"journal-title":"Rept. No. CLSI-85-21, Stanford, CA","year":"1985","key":"10.1016\/0004-3702(91)90056-P_BIB3_2"},{"key":"10.1016\/0004-3702(91)90056-P_BIB3_3","article-title":"The Situation of Logic","volume":"17","author":"Barwise","year":"1989"},{"key":"10.1016\/0004-3702(91)90056-P_BIB4","article-title":"The Situation of Logic","volume":"17","author":"Barwise","year":"1989"},{"key":"10.1016\/0004-3702(91)90056-P_BIB5","series-title":"Foundations of Cognitive Science","article-title":"Model-theoretic semantics","author":"Barwise","year":"1989"},{"key":"10.1016\/0004-3702(91)90056-P_BIB6","unstructured":"J. Barwise and J. Etchemendy, Visual information and valid reasoning, in: W. Zimmermann, ed., Visualization in Mathematics (Mathematical Association of America, to appear)."},{"key":"10.1016\/0004-3702(91)90056-P_BIB7","first-page":"33","article-title":"Information, infons, and inference","volume":"I","author":"Barwise","year":"1990"},{"year":"1983","author":"Barwise","key":"10.1016\/0004-3702(91)90056-P_BIB8"},{"year":"1984","key":"10.1016\/0004-3702(91)90056-P_BIB9"},{"key":"10.1016\/0004-3702(91)90056-P_BIB10","series-title":"Proceedings IJCAI-77","first-page":"213","article-title":"Experience with KRL-0: one cycle of a knowledge representation language","author":"Bobrow","year":"1977"},{"key":"10.1016\/0004-3702(91)90056-P_BIB11","series-title":"Metaphor and Thought","article-title":"Metaphor and theory change: what is \u201cmetaphor\u201d a metaphor for?","author":"Boyd","year":"1979"},{"key":"10.1016\/0004-3702(91)90056-P_BIB12","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/JRA.1986.1087032","article-title":"A robust layered control system for a mobile robot","volume":"2","author":"Brooks","year":"1986","journal-title":"IEEE J. Rob. Autom."},{"key":"10.1016\/0004-3702(91)90056-P_BIB13","series-title":"Reasoning about Action and Plans: Proceedings of the 1986 Workshop","first-page":"411","article-title":"Abstract reasoning as emergent from concrete activity","author":"Chapman","year":"1987"},{"key":"10.1016\/0004-3702(91)90056-P_BIB14","unstructured":"W.J. Clancey, The frame of reference problem in the design of intelligent machines, in: K. VanLehn, ed., Architectures for Intelligence (Erlbaum, Hillsdale, NJ, to appear)."},{"key":"10.1016\/0004-3702(91)90056-P_BIB15","series-title":"The Philosophy of Artificial Intelligence","first-page":"368","article-title":"The connectionist construction of concepts","author":"Cussins","year":"1990"},{"volume":"10","year":"1989","key":"10.1016\/0004-3702(91)90056-P_BIB16"},{"year":"1987","author":"Dennett","key":"10.1016\/0004-3702(91)90056-P_BIB17"},{"key":"10.1016\/0004-3702(91)90056-P_BIB18","unstructured":"M.A. Dixon, Open semantics and programming language design (working title), Doctoral Dissertation, Computer Science Department, Stanford University, Stanford, CA (to appear)."},{"year":"1981","author":"Dretske","key":"10.1016\/0004-3702(91)90056-P_BIB19"},{"year":"1988","author":"Dretske","key":"10.1016\/0004-3702(91)90056-P_BIB20"},{"year":"1979","author":"Dreyfus","key":"10.1016\/0004-3702(91)90056-P_BIB21"},{"key":"10.1016\/0004-3702(91)90056-P_BIB22","series-title":"Mind Design: Philosophy, Psychology, Artificial Intelligence","first-page":"161","article-title":"From micro-worlds to knowledge representation: AI at an impasse","author":"Dreyfus","year":"1981"},{"year":"1982","key":"10.1016\/0004-3702(91)90056-P_BIB23"},{"year":"1985","author":"Dreyfus","key":"10.1016\/0004-3702(91)90056-P_BIB24"},{"year":"1982","author":"Evans","key":"10.1016\/0004-3702(91)90056-P_BIB25"},{"key":"10.1016\/0004-3702(91)90056-P_BIB26","series-title":"Proceedings IJCAI-85","first-page":"491","article-title":"Belief, awareness, and limited reasoning","author":"Fagin","year":"1985"},{"key":"10.1016\/0004-3702(91)90056-P_BIB27_1","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF00485230","article-title":"Special sciences (or: the disunity of science as a working hypothesis)","volume":"28","author":"Fodor","year":"1974","journal-title":"Synthese"},{"year":"1980","key":"10.1016\/0004-3702(91)90056-P_BIB27_2","first-page":"120"},{"year":"1987","author":"Fodor","key":"10.1016\/0004-3702(91)90056-P_BIB28"},{"key":"10.1016\/0004-3702(91)90056-P_BIB29","series-title":"Mental Models","article-title":"Flowing waters or teeming crowds: Mental models of electricity","author":"Gentner","year":"1983"},{"issue":"3","key":"10.1016\/0004-3702(91)90056-P_BIB30","first-page":"175","article-title":"Attention, intentions, and the structure of discourse","volume":"12","author":"Grosz","year":"1986","journal-title":"Comput. Linguistics"},{"key":"10.1016\/0004-3702(91)90056-P_BIB31","series-title":"Mind Design: Philosophy, Psychology, Artificial Intelligence","first-page":"1","article-title":"Semantic engines: introduction to mind design","author":"Haugeland","year":"1981"},{"year":"1981","key":"10.1016\/0004-3702(91)90056-P_BIB32"},{"issue":"1","key":"10.1016\/0004-3702(91)90056-P_BIB33","first-page":"93","article-title":"Weak supervenience","volume":"19","author":"Haugeland","year":"1982","journal-title":"Am. Philos. Q."},{"key":"10.1016\/0004-3702(91)90056-P_BIB34","series-title":"Formal Theories of the Commonsense World","first-page":"1","article-title":"The second naive physics manifesto","author":"Hayes","year":"1985"},{"key":"10.1016\/0004-3702(91)90056-P_BIB35","series-title":"Formal Theories of the Commonsense World","first-page":"71","article-title":"Naive physics I: ontology for liquids","author":"Hayes","year":"1985"},{"year":"1985","key":"10.1016\/0004-3702(91)90056-P_BIB36"},{"article-title":"Commonsense summer: final report","year":"1985","author":"Hobbs","key":"10.1016\/0004-3702(91)90056-P_BIB37"},{"key":"10.1016\/0004-3702(91)90056-P_BIB38","series-title":"Proceedings AAAI-80","article-title":"What's wrong with non-monotonic logic?","author":"Israel","year":"1980"},{"key":"10.1016\/0004-3702(91)90056-P_BIB39","series-title":"Reasoning about Action and Plans: Proceedings of the 1986 Workshop","first-page":"395","article-title":"An architecture for intelligent reactive systems","author":"Kaelbling","year":"1987"},{"key":"10.1016\/0004-3702(91)90056-P_BIB40","first-page":"149","article-title":"Supervenience and nomological incommensurables","volume":"15","author":"Kim","year":"1978","journal-title":"Am. Philos. Q."},{"key":"10.1016\/0004-3702(91)90056-P_BIB41","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1111\/j.1475-4975.1979.tb00372.x","article-title":"Causality, identity, and supervenience in the mind-body problem","volume":"4","author":"Kim","year":"1979","journal-title":"Midwest Stud. Philos."},{"key":"10.1016\/0004-3702(91)90056-P_BIB42","series-title":"Information, Language, and Cognition","first-page":"340","article-title":"When is information explicitly represented?","volume":"1","author":"Kirsh","year":"1990"},{"year":"1980","author":"Kripke","key":"10.1016\/0004-3702(91)90056-P_BIB43"},{"year":"1988","author":"Lave","key":"10.1016\/0004-3702(91)90056-P_BIB44"},{"key":"10.1016\/0004-3702(91)90056-P_BIB45","series-title":"Proceedings AAAI-84","first-page":"198","article-title":"A logic of implicit and explicit belief","author":"Levesque","year":"1984"},{"key":"10.1016\/0004-3702(91)90056-P_BIB46","series-title":"Proceedings ACM Conference on Document Processing Systems","first-page":"145","article-title":"Formalizing the figural","author":"Levy","year":"1988"},{"key":"10.1016\/0004-3702(91)90056-P_BIB47","first-page":"463","article-title":"Some philosophical problems from the standpoint of artificial intelligence","volume":"4","author":"McCarthy","year":"1969"},{"year":"1986","series-title":"Parallel Distributed Processing: Explorations in the Microstructure of Cognition 2: Psychological and Biological Models","key":"10.1016\/0004-3702(91)90056-P_BIB48"},{"key":"10.1016\/0004-3702(91)90056-P_BIB49","series-title":"Mind Design: Philosophy, Psychology, Artificial Intelligence","first-page":"143","article-title":"Artificial intelligence meets natural stupidity","author":"McDermott","year":"1981"},{"year":"1986","author":"Nagel","key":"10.1016\/0004-3702(91)90056-P_BIB50"},{"year":"1988","author":"Norman","key":"10.1016\/0004-3702(91)90056-P_BIB51"},{"year":"1979","key":"10.1016\/0004-3702(91)90056-P_BIB52"},{"key":"10.1016\/0004-3702(91)90056-P_BIB53","doi-asserted-by":"crossref","first-page":"3","DOI":"10.2307\/2214792","article-title":"The problem of the essential indexical","volume":"13","author":"Perry","year":"1979","journal-title":"NOUS"},{"key":"10.1016\/0004-3702(91)90056-P_BIB54","series-title":"Information, Language, and Cognition","first-page":"1","article-title":"What is information?","volume":"1","author":"Perry","year":"1990"},{"issue":"6","key":"10.1016\/0004-3702(91)90056-P_BIB55","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1145\/5948.5950","article-title":"Legged robots","volume":"29","author":"Raibert","year":"1986","journal-title":"Commun. ACM"},{"issue":"1","key":"10.1016\/0004-3702(91)90056-P_BIB56","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1038\/scientificamerican0183-44","article-title":"Machines that walk","volume":"248","author":"Raibert","year":"1983","journal-title":"Sci. Am."},{"issue":"4","key":"10.1016\/0004-3702(91)90056-P_BIB57","doi-asserted-by":"crossref","DOI":"10.1007\/BF03037076","article-title":"Formal theories of knowledge in AI and robotics","volume":"3","author":"Rosenschein","year":"1985","journal-title":"New Generation Comput."},{"key":"10.1016\/0004-3702(91)90056-P_BIB58_1","series-title":"Proceedings Workshop on Theoretical Aspects of Reasoning about Knowledge","article-title":"The synthesis of digital machines with provable epistemic properties","author":"Rosenschein","year":"1986"},{"year":"1987","series-title":"Tech. Rept. CSLI-87-83","key":"10.1016\/0004-3702(91)90056-P_BIB58_2"},{"year":"1986","series-title":"Parallel Distributed Processing: Explorations in the Microstructure of Cognition 1: Foundations","key":"10.1016\/0004-3702(91)90056-P_BIB59"},{"key":"10.1016\/0004-3702(91)90056-P_BIB60_1","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1017\/S0140525X00005756","article-title":"Minds, brains, and programs","volume":"3","author":"Searle","year":"1980","journal-title":"Behav. Brain Sci."},{"year":"1981","key":"10.1016\/0004-3702(91)90056-P_BIB60_2","first-page":"282"},{"year":"1984","author":"Searle","key":"10.1016\/0004-3702(91)90056-P_BIB61"},{"key":"10.1016\/0004-3702(91)90056-P_BIB62","series-title":"Readings in Knowledge Representation","first-page":"31","article-title":"Prologue to \u201cReflection and semantics in a procedural language\u201d","author":"Smith","year":"1985"},{"key":"10.1016\/0004-3702(91)90056-P_BIB63","series-title":"Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference","article-title":"Varieties of self-reference","author":"Smith","year":"1986"},{"key":"10.1016\/0004-3702(91)90056-P_BIB64","series-title":"Aspects of Artificial Intelligence","first-page":"3","article-title":"The semantics of clocks","author":"Smith","year":"1988"},{"key":"10.1016\/0004-3702(91)90056-P_BIB65","unstructured":"B.C. Smith, A View from Somewhere: An Essay on the Foundations of Computation and Intentionality (MIT Press\/Bradford Books, Cambridge, MA, to appear)."},{"key":"10.1016\/0004-3702(91)90056-P_BIB66","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0140525X00052432","article-title":"On the proper treatment of connectionism","volume":"11","author":"Smolensky","year":"1988","journal-title":"Behav. Brain Sci."},{"year":"1986","author":"Suchman","key":"10.1016\/0004-3702(91)90056-P_BIB67"},{"key":"10.1016\/0004-3702(91)90056-P_BIB68","series-title":"Logic, Semantics, Metamathematics","first-page":"152","article-title":"The concept of truth in formalized languages","author":"Tarski","year":"1956"},{"article-title":"Moving the semantic fulcrum","year":"1984","author":"Winograd","key":"10.1016\/0004-3702(91)90056-P_BIB69"},{"article-title":"Thinking machines: Can there be? Are we?","year":"1987","author":"Winograd","key":"10.1016\/0004-3702(91)90056-P_BIB70"},{"article-title":"Three responses to situation theory","year":"1987","author":"Winograd","key":"10.1016\/0004-3702(91)90056-P_BIB71"},{"year":"1986","author":"Winograd","key":"10.1016\/0004-3702(91)90056-P_BIB72"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000437029190056P?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000437029190056P?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T14:19:25Z","timestamp":1756909165000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/000437029190056P"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,1]]},"references-count":77,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[1991,1]]}},"alternative-id":["000437029190056P"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(91)90056-p","relation":{},"ISSN":["0004-3702"],"issn-type":[{"type":"print","value":"0004-3702"}],"subject":[],"published":{"date-parts":[[1991,1]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"The owl and the electric encyclopedia","name":"articletitle","label":"Article Title"},{"value":"Artificial Intelligence","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/0004-3702(91)90056-P","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1991 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}