{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T18:45:35Z","timestamp":1758048335967,"version":"3.44.0"},"reference-count":30,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1998,9,1]],"date-time":"1998-09-01T00:00:00Z","timestamp":904608000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1998,9,1]],"date-time":"1998-09-01T00:00:00Z","timestamp":904608000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2000,1,27]],"date-time":"2000-01-27T00:00:00Z","timestamp":948931200000},"content-version":"vor","delay-in-days":513,"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":[[1998,9]]},"DOI":"10.1016\/s0004-3702(98)00050-2","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T00:24:09Z","timestamp":1027643049000},"page":"313-329","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":4,"title":["The expressive power of circumscription"],"prefix":"10.1016","volume":"104","author":[{"given":"Tom","family":"Costello","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0004-3702(98)00050-2_BIB1","series-title":"Principles of Knowledge Representation and Reasoning, Proc. 5th International Conference","first-page":"421","article-title":"Statistical first order conditionals","author":"Brafman","year":"1996"},{"article-title":"Non-monotonicity and change","year":"1997","author":"Costello","key":"10.1016\/S0004-3702(98)00050-2_BIB2"},{"key":"10.1016\/S0004-3702(98)00050-2_BIB3","series-title":"Proc. 15th International Joint Conference on Artificial Intelligence (IJCAI-97)","first-page":"1426","article-title":"Change, change, change, three approaches","author":"Costello","year":"1997"},{"issue":"1","key":"10.1016\/S0004-3702(98)00050-2_BIB4","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/0004-3702(88)90079-3","article-title":"An approach to default reasoning based on a first-order conditional logic","volume":"36","author":"Delgrande","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00050-2_BIB5","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1016\/0004-3702(89)90018-0","article-title":"Eliminating the fixed predicates from a circumscription","volume":"39","author":"de Kleer","year":"1989","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00050-2_BIB6","doi-asserted-by":"crossref","DOI":"10.1111\/j.1467-8640.1985.tb00055.x","article-title":"On the adequacy of predicate circumscription for closed world reasoning","volume":"1","author":"Etherington","year":"1985","journal-title":"Computational Intelligence"},{"key":"10.1016\/S0004-3702(98)00050-2_BIB7","series-title":"Logics and Models of Concurrent systems","first-page":"439","article-title":"Theoretical Foundations for Non-Monotonie Reasoning in Expert- Systems","author":"Gabbay","year":"1985"},{"key":"10.1016\/S0004-3702(98)00050-2_BIB8","first-page":"381","article-title":"Conditionals and changes of belief","volume":"30","author":"G\u00e4rdenfors","year":"1978","journal-title":"Acta Philos. Fennica"},{"year":"1988","series-title":"Knowledge in Flux","author":"G\u00e4rdenfors","key":"10.1016\/S0004-3702(98)00050-2_BIB9"},{"key":"10.1016\/S0004-3702(98)00050-2_BIB10","series-title":"Principles of Knowledge Representation and Reasoning: Proc. 5th International Conference (KR-96)","first-page":"76","article-title":"Determining ramifications in the situation calculus","author":"Giunchiglia","year":"1996"},{"key":"10.1016\/S0004-3702(98)00050-2_BIB11","series-title":"Proc. 2nd Conference on Theoretical Aspects of Reasoning about Knowledge","first-page":"83","article-title":"Revisions of knowledge systems using epistemic entrenchment","author":"G\u00e4rdenfors","year":"1988"},{"issue":"2","key":"10.1016\/S0004-3702(98)00050-2_BIB12","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(94)90017-5","article-title":"Nonmonotonic inference based on expectations","volume":"65","author":"G\u00e4rdenfors","year":"1994","journal-title":"Artificial Intelligence"},{"issue":"1","key":"10.1016\/S0004-3702(98)00050-2_BIB13","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","article-title":"Nonmonotonic reasoning, preferential models and cumulative logics","volume":"44","author":"Kraus","year":"1990","journal-title":"Artificial Intelligence"},{"year":"1973","series-title":"Counterfactuals","author":"Lewis","key":"10.1016\/S0004-3702(98)00050-2_BIB14"},{"key":"10.1016\/S0004-3702(98)00050-2_BIB15","series-title":"1st Workshop on Non-monotonic Reasoning","first-page":"151","article-title":"Some results on circumscription","author":"Lifschitz","year":"1984"},{"key":"10.1016\/S0004-3702(98)00050-2_BIB16","series-title":"Proc. 9th International Joint Conference on Artificial Intelligence (IJCAI-85)","first-page":"121","article-title":"Computing Circumscription","author":"Lifschitz","year":"1985"},{"key":"10.1016\/S0004-3702(98)00050-2_BIB17","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1016\/0004-3702(95)98594-E","article-title":"Nested abnormality theories","volume":"74","author":"Lifschitz","year":"1995","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00050-2_BIB18","series-title":"Proc. 3rd Conference on Theoretical Aspects of Reasoning about Knowledge","first-page":"57","article-title":"Preferential logics: the predicate calculus case","author":"Lehmann","year":"1990"},{"issue":"5","key":"10.1016\/S0004-3702(98)00050-2_BIB19","doi-asserted-by":"crossref","first-page":"655","DOI":"10.1093\/logcom\/4.5.655","article-title":"State constraints revisited","volume":"4","author":"Lin","year":"1994","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S0004-3702(98)00050-2_BIB20","series-title":"Proc. 5th International Joint Conference on Artificial Intelligence (IJCAI-77)","first-page":"223","article-title":"Epistemological problems of artificial intelligence","author":"McCarthy","year":"1977"},{"issue":"1\u20132","key":"10.1016\/S0004-3702(98)00050-2_BIB21","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","article-title":"Circumscription\u2014a form of non-monotonic reasoning","volume":"13","author":"McCarthy","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00050-2_BIB22","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","article-title":"Applications of circumscription to formalizing commonsense knowledge","volume":"28","author":"McCarthy","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00050-2_BIB23","series-title":"Machine Intelligence 4","first-page":"463","article-title":"Some philosophical problems from the standpoint of artificial intelligence","author":"McCarthy","year":"1969"},{"year":"1974","series-title":"Elementary Induction on Abstract Structures","author":"Moschovakis","key":"10.1016\/S0004-3702(98)00050-2_BIB24"},{"key":"10.1016\/S0004-3702(98)00050-2_BIB25","series-title":"Foundations: Essays in Philosophy. Logic, Mathematics and Economics","first-page":"237","article-title":"General propositions and causality (1925)","author":"Ramsey","year":"1978"},{"issue":"5","key":"10.1016\/S0004-3702(98)00050-2_BIB26","doi-asserted-by":"crossref","first-page":"819","DOI":"10.1145\/185675.185678","article-title":"Circumscription with homomorphisms: solving the equality and counterexample problem","volume":"41","author":"Rathmann","year":"1994","journal-title":"Journal of the ACM"},{"article-title":"Reasoning about change: time and causation from the standpoint of artificial intelligence","year":"1986","author":"Shoham","key":"10.1016\/S0004-3702(98)00050-2_BIB27"},{"key":"10.1016\/S0004-3702(98)00050-2_BIB28","first-page":"98","article-title":"A theory of conditionals","volume":"Vol. 2","author":"Stalnaker","year":"1968"},{"key":"10.1016\/S0004-3702(98)00050-2_BIB29","doi-asserted-by":"crossref","unstructured":"Also in: W. Harper, R.C. Stalnaker, G. Pearce (Eds.), Ifs, Reidel, Dordrecht, 1981.","DOI":"10.1007\/978-94-009-9117-0"},{"article-title":"Logics for conditionals","year":"1986","author":"Veltman","key":"10.1016\/S0004-3702(98)00050-2_BIB30"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370298000502?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370298000502?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,13]],"date-time":"2025-09-13T07:17:58Z","timestamp":1757747878000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370298000502"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,9]]},"references-count":30,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1998,9]]}},"alternative-id":["S0004370298000502"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(98)00050-2","relation":{},"ISSN":["0004-3702"],"issn-type":[{"type":"print","value":"0004-3702"}],"subject":[],"published":{"date-parts":[[1998,9]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"The expressive power of circumscription","name":"articletitle","label":"Article Title"},{"value":"Artificial Intelligence","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S0004-3702(98)00050-2","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1998 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}