{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T03:43:30Z","timestamp":1781063010319,"version":"3.54.1"},"reference-count":37,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1992,5,1]],"date-time":"1992-05-01T00:00:00Z","timestamp":704678400000},"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":[[1992,5]]},"DOI":"10.1016\/0004-3702(92)90041-u","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T13:02:52Z","timestamp":1047646972000},"page":"1-60","source":"Crossref","is-referenced-by-count":509,"title":["What does a conditional knowledge base entail?"],"prefix":"10.1016","volume":"55","author":[{"given":"Daniel","family":"Lehmann","sequence":"first","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(92)90041-U_BIB1","author":"Adams","year":"1975"},{"issue":"1","key":"10.1016\/0004-3702(92)90041-U_BIB2","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1111\/j.1467-8640.1988.tb00115.x","article-title":"In defense of an inquiry into computer understanding","volume":"4","author":"Cheeseman","year":"1988","journal-title":"Comput. Intell."},{"issue":"1","key":"10.1016\/0004-3702(92)90041-U_BIB3","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1111\/j.1467-8640.1988.tb00091.x","article-title":"An inquiry into computer understanding","volume":"4","author":"Cheeseman","year":"1988","journal-title":"Comput. Intell."},{"key":"10.1016\/0004-3702(92)90041-U_BIB4_1","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1093\/mind\/LV.219.289","article-title":"The contrary-to-fact conditional","volume":"55","author":"Chisholm","year":"1946","journal-title":"Mind"},{"key":"10.1016\/0004-3702(92)90041-U_BIB4_2","series-title":"Readings in Philosophical Analysis","first-page":"482","year":"1949"},{"key":"10.1016\/0004-3702(92)90041-U_BIB5","series-title":"Logics and Data Bases","first-page":"293","article-title":"Negation as failure","author":"Clark","year":"1978"},{"key":"10.1016\/0004-3702(92)90041-U_BIB6","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1112\/blms\/15.6.529","article-title":"Non standard measure theory and its applications","volume":"15","author":"Cutland","year":"1983","journal-title":"Bull. London Math. Soc."},{"key":"10.1016\/0004-3702(92)90041-U_BIB7","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":"Artif. Intell."},{"key":"10.1016\/0004-3702(92)90041-U_BIB8","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":"Artif. Intell."},{"issue":"1\u20133","key":"10.1016\/0004-3702(92)90041-U_BIB9","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(91)90007-7","article-title":"Impediments to universal preference-based default theories","volume":"49","author":"Doyle","year":"1991","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(92)90041-U_BIB10","series-title":"Proceedings FAIR'91","first-page":"72","article-title":"A semantic characterization of disjunctive relations","volume":"535","author":"Freund","year":"1991"},{"key":"10.1016\/0004-3702(92)90041-U_BIB11","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0004-3702(91)90043-J","article-title":"Rationality, transitivity and contraposition","volume":"52","author":"Freund","year":"1991","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(92)90041-U_BIB12","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":"Artif. Intell."},{"key":"10.1016\/0004-3702(92)90041-U_BIB13","author":"Gr\u00e4tzer","year":"1971"},{"key":"10.1016\/0004-3702(92)90041-U_BIB14","series-title":"Ifs: Conditionals, Belief, Decision, Chance and Time","first-page":"3","article-title":"A sketch of some recent developments in the theory of conditionals","author":"Harper","year":"1981"},{"key":"10.1016\/0004-3702(92)90041-U_BIB15","year":"1981"},{"key":"10.1016\/0004-3702(92)90041-U_BIB16","author":"Keisler","year":"1976"},{"issue":"1\u20132","key":"10.1016\/0004-3702(92)90041-U_BIB17","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":"Artif. Intell."},{"key":"10.1016\/0004-3702(92)90041-U_BIB18","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(92)90041-U_BIB19","article-title":"Rational logics and their models: a study in cumulative logic","author":"Lehmann","year":"1988"},{"key":"10.1016\/0004-3702(92)90041-U_BIB20","series-title":"Proceedings Third Conference on Theoretical Aspects of Reasoning About Knowledge","first-page":"57","article-title":"Preferential logics: the predicate calculus case","author":"Lehmann","year":"1990"},{"key":"10.1016\/0004-3702(92)90041-U_BIB21","series-title":"Proceedings Second International Workshop on Non-Monotonic Reasoning","article-title":"General theory of cumulative inference","author":"Makinson","year":"1988"},{"key":"10.1016\/0004-3702(92)90041-U_BIB22","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":"Artif. Intell."},{"key":"10.1016\/0004-3702(92)90041-U_BIB23","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","article-title":"Non-monotonic logic I","volume":"25","author":"McDermott","year":"1980","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(92)90041-U_BIB24","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","article-title":"Semantical considerations on nonmonotonic logic","volume":"25","author":"Moore","year":"1985","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(92)90041-U_BIB25","series-title":"Handbook of Philosophical Logic","first-page":"387","article-title":"Conditional logic","author":"Nute","year":"1984"},{"key":"10.1016\/0004-3702(92)90041-U_BIB26","author":"Pearl","year":"1988"},{"key":"10.1016\/0004-3702(92)90041-U_BIB27","series-title":"Proceedings Third Conference on Theoretical Aspects of Reasoning About Knowledge","article-title":"System Z: a natural ordering of defaults with tractable applications to nonmonotonic reasoning","author":"Pearl","year":"1990"},{"key":"10.1016\/0004-3702(92)90041-U_BIB28","series-title":"Foundations: Essays in Philosophy, Logic, Mathematics and Economics","first-page":"237","article-title":"General propositions and causality (1925)","author":"Ramsey","year":"1978"},{"key":"10.1016\/0004-3702(92)90041-U_BIB29","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":"Artif. Intell."},{"key":"10.1016\/0004-3702(92)90041-U_BIB30","first-page":"147","article-title":"Nonmonotonic reasoning","volume":"2","author":"Reiter","year":"1987"},{"key":"10.1016\/0004-3702(92)90041-U_BIB31","author":"Robinson","year":"1966"},{"key":"10.1016\/0004-3702(92)90041-U_BIB32","article-title":"A probabilistic interpretation for lazy nonmonotonic reasoning","author":"Satoh","year":"1989"},{"key":"10.1016\/0004-3702(92)90041-U_BIB33","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(92)90041-U_BIB34","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1111\/j.1755-2567.1970.tb00408.x","article-title":"A semantic analysis of conditional logic","volume":"36","author":"Stalnaker","year":"1970","journal-title":"Theoria"},{"key":"10.1016\/0004-3702(92)90041-U_BIB35","author":"Tarski","year":"1956"},{"key":"10.1016\/0004-3702(92)90041-U_BIB36","series-title":"Proceedings Second Conference on Theoretical Aspects of Reasoning About Knowledge","year":"1988"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000437029290041U?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000437029290041U?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:50:01Z","timestamp":1553647801000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/000437029290041U"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,5]]},"references-count":37,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1992,5]]}},"alternative-id":["000437029290041U"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(92)90041-u","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1992,5]]}}}