{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T06:16:26Z","timestamp":1768457786294,"version":"3.49.0"},"reference-count":21,"publisher":"Elsevier BV","issue":"2-3","license":[{"start":{"date-parts":[[1990,3,1]],"date-time":"1990-03-01T00:00:00Z","timestamp":636249600000},"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":[[1990,3]]},"DOI":"10.1016\/0004-3702(90)90056-6","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T13:02:52Z","timestamp":1047646972000},"page":"263-309","source":"Crossref","is-referenced-by-count":194,"title":["All I know: A study in autoepistemic logic"],"prefix":"10.1016","volume":"42","author":[{"given":"Hector J.","family":"Levesque","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0004-3702(90)90056-6_BIB1","series-title":"Proceedings AAAI-86","first-page":"394","article-title":"A comparison of the commonsense and fixed point theories of nonmonotonicity","author":"Brown","year":"1986"},{"key":"10.1016\/0004-3702(90)90056-6_BIB2","series-title":"Proceedings AAAI-87","first-page":"207","article-title":"On stratified autoepistemic theories","author":"Gelfond","year":"1987"},{"key":"10.1016\/0004-3702(90)90056-6_BIB3","series-title":"Proceedings Non-Monotonic Reasoning Workshop","first-page":"125","article-title":"Towards a theory of knowledge and ignorance: Preliminary report","author":"Halpern","year":"1984"},{"key":"10.1016\/0004-3702(90)90056-6_BIB4","series-title":"Proceedings IJCAI-85","first-page":"480","article-title":"A guide to the modal logics of knowledge and belief: A preliminary draft","author":"Halpern","year":"1985"},{"key":"10.1016\/0004-3702(90)90056-6_BIB5","series-title":"An Introduction to Modal Logic","author":"Hughes","year":"1968"},{"key":"10.1016\/0004-3702(90)90056-6_BIB6","series-title":"Proceedings AAAI-80","first-page":"99","article-title":"What's wrong with non-monotonic logic?","author":"Israel","year":"1980"},{"key":"10.1016\/0004-3702(90)90056-6_BIB7","series-title":"Proceedings AAAI-82","first-page":"202","article-title":"Circumscriptive ignorance","author":"Konolige","year":"1982"},{"key":"10.1016\/0004-3702(90)90056-6_BIB8","article-title":"On the relation between default theories and autoepistemic logic","author":"Konolige","year":"1987"},{"key":"10.1016\/0004-3702(90)90056-6_BIB9","article-title":"A formal treatment of incomplete knowledge bases","author":"Levesque","year":"1981"},{"key":"10.1016\/0004-3702(90)90056-6_BIB10","series-title":"Proceedings IJCAI-81","first-page":"240","article-title":"The interaction with incomplete knowledge bases: A formal treatment","author":"Levesque","year":"1981"},{"key":"10.1016\/0004-3702(90)90056-6_BIB11","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0004-3702(84)90009-2","article-title":"Foundations of a functional approach to knowledge representation","volume":"24","author":"Levesque","year":"1984","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0004-3702(90)90056-6_BIB12","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(90)90056-6_BIB13","series-title":"Proceedings AAAI-87","first-page":"426","article-title":"All I know: An abridged report","author":"Levesque","year":"1987"},{"issue":"3","key":"10.1016\/0004-3702(90)90056-6_BIB14","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1111\/j.1467-8640.1988.tb00278.x","article-title":"Reasoning about knowledge and belief: A review","volume":"4","author":"McArthur","year":"1988","journal-title":"Comput. Intell."},{"key":"10.1016\/0004-3702(90)90056-6_BIB15","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","article-title":"Circumscription: A form of non-monotonic reasoning","volume":"13","author":"McCarthy","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0004-3702(90)90056-6_BIB16","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","article-title":"Applications of circumscription to formalizing common-sense knowledge","volume":"28","author":"McCarthy","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0004-3702(90)90056-6_BIB17","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","article-title":"Non-monotonic logic I","volume":"13","author":"McDermott","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0004-3702(90)90056-6_BIB18","series-title":"Proceedings IJCAI-83","first-page":"272","article-title":"Semantical considerations on nonmonotonic logic","author":"Moore","year":"1983"},{"key":"10.1016\/0004-3702(90)90056-6_BIB19","series-title":"Proceedings Non-Monotonic Reasoning Workshop","first-page":"344","article-title":"Possible-world semantics for autoepistemic logic","author":"Moore","year":"1984"},{"key":"10.1016\/0004-3702(90)90056-6_BIB20","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","article-title":"A logic for default reasoning","volume":"13","author":"Reiter","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0004-3702(90)90056-6_BIB21","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1146\/annurev.cs.02.060187.001051","article-title":"Nonmonotonic reasoning","volume":"2","author":"Reiter","year":"1987","journal-title":"Ann. Rev. Comput. Sci."}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370290900566?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370290900566?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,27]],"date-time":"2019-03-27T00:23:18Z","timestamp":1553646198000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0004370290900566"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,3]]},"references-count":21,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1990,3]]}},"alternative-id":["0004370290900566"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(90)90056-6","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1990,3]]}}}