{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T03:43:18Z","timestamp":1781062998701,"version":"3.54.1"},"reference-count":47,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1990,7,1]],"date-time":"1990-07-01T00:00:00Z","timestamp":646790400000},"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,7]]},"DOI":"10.1016\/0004-3702(90)90101-5","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T08:02:52Z","timestamp":1047628972000},"page":"167-207","source":"Crossref","is-referenced-by-count":1039,"title":["Nonmonotonic reasoning, preferential models and cumulative logics"],"prefix":"10.1016","volume":"44","author":[{"given":"Sarit","family":"Kraus","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel","family":"Lehmann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Menachem","family":"Magidor","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/0004-3702(90)90101-5_BIB1","series-title":"Aspects of Inductive Logic","article-title":"Probability and the logic of conditional","author":"Adams","year":"1966"},{"key":"10.1016\/0004-3702(90)90101-5_BIB2","series-title":"The Logic of Conditionals","author":"Adams","year":"1975"},{"key":"10.1016\/0004-3702(90)90101-5_BIB3","article-title":"Simple consequence relations","author":"Avron","year":"1987"},{"key":"10.1016\/0004-3702(90)90101-5_BIB4","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1305\/ndjfl\/1093883341","article-title":"Quick completeness proofs for some logics of conditionals","volume":"22","author":"Burgess","year":"1981","journal-title":"Notre Dame J. Formal Logic"},{"key":"10.1016\/0004-3702(90)90101-5_BIB5","series-title":"Logics and Data Bases","first-page":"293","article-title":"Negation as failure","author":"Clark","year":"1978"},{"key":"10.1016\/0004-3702(90)90101-5_BIB6","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0004-3702(87)90053-1","article-title":"A first-order logic for prototypical properties","volume":"33","author":"Delgrande","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0004-3702(90)90101-5_BIB7","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: Revised report","volume":"36","author":"Delgrande","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0004-3702(90)90101-5_BIB8","doi-asserted-by":"crossref","first-page":"11","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":"Comput. Intell."},{"key":"10.1016\/0004-3702(90)90101-5_BIB9","series-title":"Manuscript","article-title":"Faithful models and preferential inference operations","author":"Freund","year":"1989"},{"key":"10.1016\/0004-3702(90)90101-5_BIB10","series-title":"Proceedings NATO Advanced Study Institute on Logics and Models of Concurrent Systems","first-page":"439","article-title":"Theoretical foundations for non-monotonic reasoning in expert systems","author":"Gabbay","year":"1985"},{"key":"10.1016\/0004-3702(90)90101-5_BIB11","unstructured":"D.M. Gabbay, Personal communication (March 1989)."},{"key":"10.1016\/0004-3702(90)90101-5_BIB12","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1007\/BF01448897","article-title":"\u00dcber die Existenz unabh\u00e4ngiger Axiomensysteme zu unendlichen Satzsystemen","volume":"107","author":"Gentzen","year":"1932","journal-title":"Math. Ann."},{"key":"10.1016\/0004-3702(90)90101-5_BIB13","author":"Gentzen","year":"1969"},{"key":"10.1016\/0004-3702(90)90101-5_BIB14","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0004-3702(86)90067-6","article-title":"Counterfactuals","volume":"30","author":"Ginsberg","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0004-3702(90)90101-5_BIB15","series-title":"Proceedings Workshop on Non-Monotonic Reasoning","first-page":"125","article-title":"Towards a theory of knowledge and ignorance: Preliminary report","author":"Halpern","year":"1984"},{"key":"10.1016\/0004-3702(90)90101-5_BIB16","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","article-title":"An axiomatic basis for computer programming","volume":"12","author":"Hoare","year":"1969","journal-title":"Commun. ACM"},{"key":"10.1016\/0004-3702(90)90101-5_BIB17","series-title":"Proceedings AAAI-80","first-page":"99","article-title":"What's wrong with nonmonotonic logic?","author":"Israel","year":"1980"},{"key":"10.1016\/0004-3702(90)90101-5_BIB18","article-title":"Preferential models and cumulative logics","author":"Kraus","year":"1988"},{"key":"10.1016\/0004-3702(90)90101-5_BIB19","series-title":"Fifth Israeli Symposium on Artificial Intelligence, Vision and Pattern Recognition","first-page":"365","article-title":"Preferential models and cumulative logics","author":"Lehmann","year":"1988"},{"key":"10.1016\/0004-3702(90)90101-5_BIB20","series-title":"Proceedings First International Conference on Principles of Knowledge Representation and Reasoning","article-title":"What does a conditional knowledge base entail?","author":"Lehmann","year":"1989"},{"key":"10.1016\/0004-3702(90)90101-5_BIB21","series-title":"European Workshop on Logical Methods in Artificial Intelligence","first-page":"58","article-title":"Nonmonotonic logics: Models and proofs","author":"Lehmann","year":"1988"},{"key":"10.1016\/0004-3702(90)90101-5_BIB22","article-title":"Rational logics and their models: a study in cumulative logic","author":"Lehmann","year":"1988"},{"key":"10.1016\/0004-3702(90)90101-5_BIB23","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1111\/j.1755-2567.1971.tb00061.x","article-title":"Completeness and decidability of three logics of counterfactual conditionals","volume":"37","author":"Lewis","year":"1971","journal-title":"Theoria"},{"key":"10.1016\/0004-3702(90)90101-5_BIB24","author":"Lewis","year":"1973"},{"key":"10.1016\/0004-3702(90)90101-5_BIB25","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1007\/BF00257488","article-title":"Intensional logics without iterative axioms","volume":"3","author":"Lewis","year":"1974","journal-title":"J. Philos. Logic"},{"key":"10.1016\/0004-3702(90)90101-5_BIB26","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0004-3702(86)90028-7","article-title":"On the satisfiability of circumscription","volume":"28","author":"Lifschitz","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0004-3702(90)90101-5_BIB27","unstructured":"D. Makinson, Personal communication (April 1988)."},{"key":"10.1016\/0004-3702(90)90101-5_BIB28","series-title":"Proceedings Second International Workshop on Non-Monotonic Reasoning","article-title":"General theory of cumulative inference","author":"Makinson","year":"1989"},{"key":"10.1016\/0004-3702(90)90101-5_BIB29","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)90101-5_BIB30","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)90101-5_BIB31","series-title":"Proceedings Workshop on Non-Monotonic Reasoning","first-page":"396","article-title":"Possible-world semantics for autoepistemic logic","author":"Moore","year":"1984"},{"key":"10.1016\/0004-3702(90)90101-5_BIB32","series-title":"Handbook of Philosophical Logic","first-page":"387","article-title":"Conditional logic","author":"Nute","year":"1984"},{"key":"10.1016\/0004-3702(90)90101-5_BIB33","author":"Pearl","year":"1988"},{"key":"10.1016\/0004-3702(90)90101-5_BIB34","article-title":"Probabilistic semantics for a subset of default reasoning","author":"Pearl","year":"1988"},{"key":"10.1016\/0004-3702(90)90101-5_BIB35","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","article-title":"A logic of default reasoning","volume":"13","author":"Reiter","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0004-3702(90)90101-5_BIB36","first-page":"147","article-title":"Nonmonotonic reasoning","volume":"2","author":"Reiter","year":"1987"},{"key":"10.1016\/0004-3702(90)90101-5_BIB37","series-title":"Proceedings Tarski Symposium","first-page":"411","article-title":"Completeness and axiomatizability","author":"Scott","year":"1971"},{"key":"10.1016\/0004-3702(90)90101-5_BIB38","series-title":"Proceedings Logics in Computer Science","first-page":"275","article-title":"A semantical approach to nonmonotonic logics","author":"Shoham","year":"1987"},{"key":"10.1016\/0004-3702(90)90101-5_BIB39","author":"Shoham","year":"1988"},{"key":"10.1016\/0004-3702(90)90101-5_BIB40","first-page":"98","article-title":"A theory of conditionals","volume":"2","author":"Stalnaker","year":"1968"},{"key":"10.1016\/0004-3702(90)90101-5_BIB41","first-page":"22","article-title":"Uber einige fundamentale Begriffe der Metamatematik","volume":"23","author":"Tarski","year":"1930","journal-title":"C. S\u00e9ances Soc. Sci. Lettres Varsovie."},{"key":"10.1016\/0004-3702(90)90101-5_BIB42","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/BF01696782","article-title":"Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften","volume":"37","author":"Tarski","year":"1930","journal-title":"Monatshefte Math. Phys."},{"key":"10.1016\/0004-3702(90)90101-5_BIB43","doi-asserted-by":"crossref","first-page":"503","DOI":"10.4064\/fm-25-1-503-526","article-title":"Grundz\u00fcge des Systemenkalk\u00fcl, I","volume":"25","author":"Tarski","year":"1935","journal-title":"Fund. Math."},{"key":"10.1016\/0004-3702(90)90101-5_BIB44","author":"Tarski","year":"1956"},{"key":"10.1016\/0004-3702(90)90101-5_BIB45","author":"Touretzky","year":"1986"},{"key":"10.1016\/0004-3702(90)90101-5_BIB46","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/BF00707429","article-title":"Foundations of conditional logic","volume":"13","author":"van Benthem","year":"1984","journal-title":"J. Philos. Logic"},{"key":"10.1016\/0004-3702(90)90101-5_BIB47","article-title":"Logics for conditionals","author":"Veltman","year":"1986"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370290901015?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370290901015?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,26]],"date-time":"2019-03-26T20:24:07Z","timestamp":1553631847000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0004370290901015"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,7]]},"references-count":47,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1990,7]]}},"alternative-id":["0004370290901015"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(90)90101-5","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1990,7]]}}}