{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,15]],"date-time":"2025-12-15T13:44:49Z","timestamp":1765806289961},"reference-count":49,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1998,10,1]],"date-time":"1998-10-01T00:00:00Z","timestamp":907200000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T00:00:00Z","timestamp":1374710400000},"content-version":"vor","delay-in-days":5411,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1998,10]]},"DOI":"10.1016\/s0004-3702(98)00088-5","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T04:24:09Z","timestamp":1027657449000},"page":"105-137","source":"Crossref","is-referenced-by-count":26,"title":["On first-order conditional logics"],"prefix":"10.1016","volume":"105","author":[{"given":"James P.","family":"Delgrande","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0004-3702(98)00088-5_BIB1","series-title":"The Logic of Conditionals","author":"Adams","year":"1975"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB2","series-title":"Proceedings International Joint Conference on Artificial Intelligence (IJCAI-91)","first-page":"387","article-title":"Commonsense entailment: a model theory of nonmonotonic reasoning","author":"Asher","year":"1991"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB3","series-title":"Representing and Reasoning with Probabilistic Knowledge","author":"Bacchus","year":"1990"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB4","series-title":"Proceedings International Joint Conference on Artificial Intelligence (IJCAI-93)","first-page":"640","article-title":"Inconsistency management and prioritized syntaxbased entailment","author":"Benferhat","year":"1993"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB5","series-title":"Proceedings 3rd International Conference on the Principles of Knowledge Representation and Reasoning","first-page":"673","article-title":"Representing default rules in possibilistic logic","author":"Benferhat","year":"1992"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB6","series-title":"Proceedings International Joint Conference on Artificial Intelligence (IJCAI-93)","first-page":"563","article-title":"Statistical foundations for default reasoning","author":"Bacchus","year":"1993"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB7","article-title":"Conditional logics for default reasoning and belief revision","author":"Boutilier","year":"1992"},{"issue":"1","key":"10.1016\/S0004-3702(98)00088-5_BIB8","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0004-3702(94)90096-5","article-title":"Conditional logics of normality: a modal approach","volume":"68","author":"Boutilier","year":"1994","journal-title":"Artificial Intelligence"},{"issue":"1","key":"10.1016\/S0004-3702(98)00088-5_BIB9","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 Journal of Formal Logic"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB10","series-title":"Modal Logic","author":"Chellas","year":"1980"},{"issue":"1","key":"10.1016\/S0004-3702(98)00088-5_BIB11","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0004-3702(87)90053-1","article-title":"A first-order conditional logic for prototypical properties","volume":"33","author":"Delgrande","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB12","series-title":"Nonmonotonic Reasoning and Uncertain Reasoning","first-page":"439","article-title":"Possibilistic logic","volume":"Vol. 3","author":"Dubois","year":"1994"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB13","series-title":"Proceedings AAAI National Conference on Artificial Intelligence (AAAI-96)","first-page":"1305","article-title":"First-order conditional logic revisited","author":"Friedman","year":"1996"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB14","series-title":"Logical Foundations","first-page":"365","article-title":"Basic modal logic","author":"Fitting","year":"1993"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB15","first-page":"249","article-title":"Quantification in modal logic","volume":"Vol. 2","author":"Garson","year":"1984"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB16","series-title":"Proceedings AAAI National Conference on Artificial Intelligence (AAAI-90)","article-title":"A maximum entropy approach to nonmonotonic reasoning","author":"Goldszmidt","year":"1990"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB17","series-title":"Proceedings AAAI National Conference on Artificial Intelligence (AAAI-91)","first-page":"399","article-title":"System-Z+: a formalism for reasoning with variable-strength defaults","author":"Goldszmidt","year":"1991"},{"issue":"2\u20133","key":"10.1016\/S0004-3702(98)00088-5_BIB18","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0004-3702(92)90071-5","article-title":"Conditional entailment: bridging two approaches to default reasoning","volume":"53","author":"Geffner","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB19","series-title":"An Introduction to Modal Logic","author":"Hughes","year":"1968"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB20","series-title":"A Companion to Modal Logic","author":"Hughes","year":"1984"},{"issue":"1\u20133","key":"10.1016\/S0004-3702(98)00088-5_BIB21","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0004-3702(91)90010-H","article-title":"Existence assumptions in knowledge representation","volume":"49","author":"Hirst","year":"1991","journal-title":"Artificial Intelligence"},{"issue":"1\u20132","key":"10.1016\/S0004-3702(98)00088-5_BIB22","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"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB23","series-title":"Probability and the Logic of Rational Belief","author":"Kyburg","year":"1961"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB24","series-title":"Proceedings 2nd International Conference on the Principles of Knowledge Representation and Reasoning","first-page":"357","article-title":"S4 as the conditional logic of nonmonotonicity","author":"Lamarre","year":"1991"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB25","series-title":"Proceedings 1st international Conference on the Principles of Knowledge Representation and Reasoning","first-page":"212","article-title":"What does a conditional knowledge base entail?","author":"Lehmann","year":"1989"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB26","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":"23","author":"Levesque","year":"1984","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB27","series-title":"Counterfactuals","author":"Lewis","year":"1973"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB28","series-title":"Proceedings 3rd Conference on Theoretical Aspects of Reasoning about Knowledge","first-page":"57","article-title":"Preferential logics: the predicate calculus case (extended abstract)","author":"Lehmann","year":"1990"},{"issue":"1","key":"10.1016\/S0004-3702(98)00088-5_BIB29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","article-title":"What does a conditional knowledge base entail?","volume":"55","author":"Lehmann","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB30","first-page":"129","article-title":"First-order theories of individual concepts and propositions","volume":"9","author":"McCarthy","year":"1979"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB31","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","article-title":"Circumscription\u2014a form of nonmonotonic reasoning","volume":"13","author":"McCarthy","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB32","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\/S0004-3702(98)00088-5_BIB33","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":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB34","series-title":"Proceedings AAAI National Conference on Artificial Intelligence (AAAI-91)","first-page":"366","article-title":"The P-systems: a systematic classification of logics of nonmonotonicity","author":"Nejdl","year":"1991"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB35","article-title":"Topics in Conditional Logic","volume":"Vol. 20","author":"Nute","year":"1980"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB36","series-title":"Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference","author":"Pearl","year":"1988"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB37","series-title":"Proceedings 1st International Conference on the Principles of Knowledge Representation and Reasoning","first-page":"505","article-title":"Probabilistic semantics for nonmonotonic reasoning: a survey","author":"Pearl","year":"1989"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB38","series-title":"Proceedings 3rd Conference on Theoretical Aspects of Reasoning about Knowledge","first-page":"121","article-title":"System Z: a natural ordering of defaults with tractable applications to nonmonotonic reasoning","author":"Pearl","year":"1990"},{"issue":"1","key":"10.1016\/S0004-3702(98)00088-5_BIB39","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","article-title":"A logical framework for default reasoning","volume":"36","author":"Poole","year":"1988","journal-title":"Artificial Intelligence"},{"issue":"1\u20133","key":"10.1016\/S0004-3702(98)00088-5_BIB40","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/0004-3702(91)90012-9","article-title":"The effect of knowledge on belief: conditioning, specificity, and the lottery paradox in default reasoning","volume":"49","author":"Poole","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB41","first-page":"139","article-title":"Is semantics possible?","volume":"Vol. II","author":"Putnam","year":"1975"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB42","first-page":"250","article-title":"The \u2018corroboration\u2019 of theories","volume":"Vol. I","author":"Putnam","year":"1979"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB43","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"},{"issue":"4","key":"10.1016\/S0004-3702(98)00088-5_BIB44","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1093\/logcom\/5.4.473","article-title":"Defaults as generalized quantifiers","volume":"5","author":"Schlechta","year":"1995","journal-title":"J. Logic Comput."},{"issue":"3\u20134","key":"10.1016\/S0004-3702(98)00088-5_BIB45","doi-asserted-by":"crossref","first-page":"377","DOI":"10.3233\/FI-1996-283412","article-title":"A two-stage approach to first-order default reasoning","volume":"28","author":"Schlechta","year":"1996","journal-title":"Fundamenta Informaticae"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB46","series-title":"Philosophical Problems in Logic: Some Recent Developments","first-page":"143","article-title":"Advice on modal logic","author":"Scott","year":"1970"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB47","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\/S0004-3702(98)00088-5_BIB48","series-title":"Studies in Logical Theory","first-page":"98","article-title":"A theory of conditionals","author":"Stalnaker","year":"1968"},{"key":"10.1016\/S0004-3702(98)00088-5_BIB49","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1002\/malq.19660120117","article-title":"The completeness of free logic","volume":"12","author":"van Fraassen","year":"1966","journal-title":"Z. Math. Logik Grundlagen Math."}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370298000885?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370298000885?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,2,5]],"date-time":"2020-02-05T15:17:02Z","timestamp":1580915822000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370298000885"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,10]]},"references-count":49,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1998,10]]}},"alternative-id":["S0004370298000885"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(98)00088-5","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1998,10]]}}}