{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:18:31Z","timestamp":1725459511709},"publisher-location":"Berlin, Heidelberg","reference-count":53,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630951"},{"type":"electronic","value":"9783540691297"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0035629","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T10:29:25Z","timestamp":1138184965000},"page":"282-297","source":"Crossref","is-referenced-by-count":1,"title":["Entrenchment relations: A uniform approach to nonmonotonicity"],"prefix":"10.1007","author":[{"given":"Konstantinos","family":"Georgatos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. E. Alchourr\u00f3n","year":"1985","unstructured":"C. E. Alchourr\u00f3n, P. G\u00e4rdenfors, and D. Makinson. On the logic of theory change: partial meet contraction and revision functions. The Journal of Symbolic Logic, 50:510\u2013530, 1985.","journal-title":"The Journal of Symbolic Logic"},{"key":"22_CR2","volume-title":"Relevance as deduction: A logical approach to information retrieval","author":"G. Amati","year":"1996","unstructured":"G. Amati and K. Georgatos. Relevance as deduction: A logical approach to information retrieval. In Proceedings of the 2nd International Workshop on Information Retrieval, Glascow, United Kingdom, 1996. University of Glascow."},{"key":"22_CR3","volume-title":"How to prefer more specific defaults in terminological default logic","author":"F. Baader","year":"1993","unstructured":"F. Baader and B. Hollunder. How to prefer more specific defaults in terminological default logic. In R. Bajcsy, editor, Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI), San Mateo, CA, 1993. Morgan Kaufmann."},{"unstructured":"J. Bell. Pragmatic logics. In Proceedings of KR91, pages 50\u201360, Cambridge, MA, 1991.","key":"22_CR4"},{"key":"22_CR5","first-page":"640","volume-title":"Inconsistency management and prioritized syntax entailment","author":"S. Benferhat","year":"1993","unstructured":"S. Benferhat, C. Cayrol, D. Dubois, J. Lang, and H. Prade. Inconsistency management and prioritized syntax entailment. In R. Bajcsy, editor, Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI), pages 640\u2013645, San Mateo, CA, 1993. Morgan Kaufmann."},{"key":"22_CR6","first-page":"245","volume-title":"LNAI","author":"A. Bochman","year":"1995","unstructured":"A. Bochman. Default consequence relations as a logical framework for logic programs. In Proceedings of the 3rd International Conference on Logic Programming and Nonmonotonic Reasoning, number 928 in LNAI, pages 245\u2013258, Berlin, 1995. Springer."},{"unstructured":"C. Boutilier. Conditional logics for default reasoning. Ph.D. Thesis, 1992.","key":"22_CR7"},{"doi-asserted-by":"crossref","unstructured":"C. Boutilier. Modal logics for qualitative possibility and beliefs. In Proceedings of the 8th Workshop on Uncertainty in Artificial Intelligence, pages 17\u201324, Stanford, CA, 1992.","key":"22_CR8","DOI":"10.1016\/B978-1-4832-8287-9.50007-4"},{"key":"22_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BFb0021977","volume-title":"Logics in Artificial Intelligence (JELIA '94)","author":"G. Brewka","year":"1994","unstructured":"G. Brewka. Adding priorities and specificity to default logic. In C. MacNish, D. Pearce, and L. M. Pereira, editors, Logics in Artificial Intelligence (JELIA '94), number 838 in Lecture Notes in Computer Science, pages 247\u2013260, Berlin, 1994. Springer-Verlag."},{"key":"22_CR10","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logics and Data Bases","author":"L. Clark","year":"1978","unstructured":"L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logics and Data Bases, pages 293\u2013322. Plenum, New York, 1978."},{"unstructured":"J. P. Delgrande. A preference-based approach to default reasoning. Technical report, School of Computing Science, Simon Fraser University, 1994.","key":"22_CR11"},{"unstructured":"D. Dubois, J. Lang, and H. Prade. Possibilistic logic. In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 3, pages 439\u2013513. Oxford University Press, 1994.","key":"22_CR12"},{"key":"22_CR13","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0004-3702(91)90101-O","volume":"50","author":"D. Dubois","year":"1991","unstructured":"D. Dubois and H. Prade. Epistemic entrenchment and possibilistic logic. Artificial Intelligence, 50:223\u2013239, 1991.","journal-title":"Artificial Intelligence"},{"doi-asserted-by":"crossref","unstructured":"R. Fagin, J. D. Ullman, and M. Y. Vardi. On the semantics of updates in databases. In Proceedings of the Second ACM SIGACT-SIGMOD, pages 352\u2013365, 1983.","key":"22_CR14","DOI":"10.1145\/588058.588100"},{"key":"22_CR15","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1016\/0004-3702(94)90031-0","volume":"66","author":"L. F. Cerro del","year":"1994","unstructured":"L. Farin\u00e3s del Cerro, A. Herzig, and J. Lang. From ordering-based nonmonotonic reasoning to conditional logics. Artificial Intelligence, 66:375\u2013393, 1994.","journal-title":"Artificial Intelligence"},{"unstructured":"M. Freund and D. Lehmann. Belief revision and rational inference. Technical Report TR 94-16, The Leibniz Center for Research in Computer Science, Institute of Computer Science, Hebrew University, July 1994.","key":"22_CR16"},{"key":"22_CR17","volume-title":"Logics and Models of Concurrent Systems","author":"D. Gabbay","year":"1985","unstructured":"D. Gabbay. Theoretical foundations for nonmonotonic reasoning in expert systems. In K. Apt, editor, Logics and Models of Concurrent Systems. Springer-Verlag, Berlin, 1985."},{"unstructured":"P. G\u00e4rdenfors and D. Makinson. Revisions of knowledge systems using epistemic entrenchment. In Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, pages 661\u2013672, 1992.","key":"22_CR18"},{"key":"22_CR19","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(94)90017-5","volume":"65","author":"P. G\u00e4rdenfors","year":"1994","unstructured":"P. G\u00e4rdenfors and D. Makinson. Nonmonotonic inference based on expectations. Artificial Intelligence, 65:197\u2013245, 1994.","journal-title":"Artificial Intelligence"},{"unstructured":"P. G\u00e4rdenfors and H. Rott. Belief revision. In D. Gabbay, editor, Handbook of Logic in Artificial Intelligence and Logic Programming, volume II. Oxford University Press, 1994.","key":"22_CR20"},{"key":"22_CR21","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0004-3702(92)90071-5","volume":"53","author":"H. Geffner","year":"1992","unstructured":"H. Geffner and J. Pearl. Conditional entailment: Bridging two approaches to default reasoning. Artificial Intelligence, 53:209\u2013244, 1992.","journal-title":"Artificial Intelligence"},{"unstructured":"K. Georgatos. Preferential inference and revision using partial entrenchment orderings. To appear in the Annals of Pure and Applied Logic.","key":"22_CR22"},{"key":"22_CR23","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/3-540-61630-6_12","volume-title":"Logics in Artificial Intelligence (JELIA '96)","author":"K. Georgatos","year":"1996","unstructured":"K. Georgatos. Ordering-based representations of rational inference. In J. J. Alferes, L. M. Pereira, and E. Orlowska, editors, Logics in Artificial Intelligence (JELIA '96), number 1126 in Lecture Notes in Artificial Intelligence, pages 176\u2013191, Berlin, 1996. Springer-Verlag."},{"key":"22_CR24","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0004-3702(86)90067-6","volume":"30","author":"M. L. Ginsberg","year":"1986","unstructured":"M. L. Ginsberg. Counterfactuals. Artificial Intelligence, 30:35\u201379, 1986.","journal-title":"Artificial Intelligence"},{"unstructured":"H. Katsuno and D. Satoh. A unified view of consequence relation, belief revision and conditional logic. In Proceedings of IJCAI-91, pages 406\u2013412, Sydney, Australia, 1991.","key":"22_CR25"},{"key":"22_CR26","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/BF00248849","volume":"10","author":"A. Kratzer","year":"1981","unstructured":"A. Kratzer. Partition and revision: The semantics of conditionals. Journal of Philosophical Logic, 10:201\u2013216, 1981.","journal-title":"Journal of Philosophical Logic"},{"key":"22_CR27","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"S. Kraus, D. Lehmann, and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44:167\u2013207, 1990.","journal-title":"Artificial Intelligence"},{"unstructured":"P. Lamarre. S4 as the conditional logic of nonmonotonicity. In Proceedings of KR91, pages 357\u2013367, Cambridge, MA, 1991.","key":"22_CR28"},{"unstructured":"P. Lamarre. From monotonicity to nonmonotonicity via a theorem prover. In Proceedings of KR92, pages 572\u2013580, Cambridge, MA, 1992.","key":"22_CR29"},{"key":"22_CR30","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","volume":"55","author":"D. Lehmann","year":"1992","unstructured":"D. Lehmann and M. Magidor. What does a conditional knowledge base entail? Artificial Intelligence, 55:1\u201360, 1992.","journal-title":"Artificial Intelligence"},{"key":"22_CR31","volume-title":"Counterfactuals","author":"D. Lewis","year":"1973","unstructured":"D. Lewis. Counterfactuals. Harvard University Press, Cambridge, MA, 1973."},{"unstructured":"V. Lifschitz. Computing circumscription. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI-85), pages 121\u2013127, 1985.","key":"22_CR32"},{"key":"22_CR33","volume-title":"A semantic approach to nonmonotonic reasoning: inference operations and choice","author":"S. Lindstr\u00f6m","year":"1990","unstructured":"S. Lindstr\u00f6m. A semantic approach to nonmonotonic reasoning: inference operations and choice. Manuscript, Department of Philosophy, Uppsala University, Uppsala, Sweden, 1990."},{"key":"22_CR34","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/BFb0018418","volume-title":"The Logic of Theory Change","author":"S. Lindstr\u00f6m","year":"1991","unstructured":"S. Lindstr\u00f6m and W. Rabinowicz. Epistemic entrenchment with incomparabilities and relational belief revision. In A. Fuhrmann and M. Morreau, editors, The Logic of Theory Change, number 465 in Lecture Notes in Artificial Intelligence, pages 93\u2013126, Berlin, 1991. Springer-Verlag."},{"key":"22_CR35","series-title":"Lecture Notes in Artificial Intelligence","first-page":"1","volume-title":"Non-Monotoning Reasoning","author":"D. Makinson","year":"1989","unstructured":"D. Makinson. General theory of cumulative inference. In M. Reinfranck, editor, Non-Monotoning Reasoning, number 346 in Lecture Notes in Artificial Intelligence, pages 1\u201318. Springer-Verlag, Berlin, 1989."},{"unstructured":"D. Makinson. General patterns in nonmonotonic reasoning. In D. Gabbay, editor, Handbook of Logic in Artificial Intelligence and Logic Programming, volume III. Oxford University Press, 1994.","key":"22_CR36"},{"key":"22_CR37","series-title":"Lecture Notes in Artificial Intelligence","first-page":"185","volume-title":"The Logic of Theory Change","author":"D. Makinson","year":"1991","unstructured":"D. Makinson and P. G\u00e4rdenfors. Relations between the logic of theory change and nonmonotonic logic. In A. Fuhrmann and M. Morreau, editors, The Logic of Theory Change, number 465 in Lecture Notes in Artificial Intelligence, pages 185\u2013205, Berlin, 1991. Springer-Verlag."},{"key":"22_CR38","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/BF01531080","volume":"1","author":"W. V. Marek","year":"1990","unstructured":"W. V. Marek, A. Nerode, and J. B. Remmel. Nonmonotonic rule systems I. Annals of Mathematics and Artificial Intelligence, 1:241\u2013273, 1990.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"22_CR39","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"J. McCarthy. Circumscription: A form of non-monotonic reasoning. Artificial Intelligence, 13:27\u201339, 1980.","journal-title":"Artificial Intelligence"},{"key":"22_CR40","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","volume":"13","author":"D. McDermott","year":"1980","unstructured":"D. McDermott and J. Doyle. Non-monotonic logic I. Artificial Intelligence, 13:41\u201372, 1980.","journal-title":"Artificial Intelligence"},{"key":"22_CR41","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/BF01130759","volume":"41","author":"A. C. Nayak","year":"1994","unstructured":"A. C. Nayak. Iterated belief change based on epistemic entrenchment. Erkenntnis, 41:353\u2013390, 1994.","journal-title":"Erkenntnis"},{"unstructured":"A. C. Nayak, N. Y. Foo, M. Pagnucco, and A. Satar. Changing conditional beliefs unconditionally. In Proceedings of the TARK 96 Conference, pages 119\u2013135, 1996.","key":"22_CR42"},{"key":"22_CR43","first-page":"121","volume-title":"System Z: a natural ordering of defaults with tractable applications to default reasoning","author":"J. Pearl","year":"1990","unstructured":"J. Pearl. System Z: a natural ordering of defaults with tractable applications to default reasoning. In Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, pages 121\u2013135, Pacific Grove, CA, 1990."},{"key":"22_CR44","first-page":"147","volume":"2","author":"R. Reiter","year":"1980","unstructured":"R. Reiter. A logic for default reasoning. Artificial Intelligence, 2:147\u2013187, 1980.","journal-title":"Artificial Intelligence"},{"key":"22_CR45","volume-title":"Hypothetical Reasoning","author":"N. Rescher","year":"1964","unstructured":"N. Rescher. Hypothetical Reasoning. North-Holland, Amsterdam, 1964."},{"key":"22_CR46","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF00203386","volume":"1","author":"H. Rott","year":"1992","unstructured":"H. Rott. Preferential belief change using generalized epistemic entrenchment. Journal of Logic, Language and Information, 1:45\u201378, 1992.","journal-title":"Journal of Logic, Language and Information"},{"unstructured":"M. Ryan. Ordered presentation of theories. Ph.D. Thesis, 1992.","key":"22_CR47"},{"key":"22_CR48","volume-title":"Reasoning about Change","author":"Y. Shoham","year":"1988","unstructured":"Y. Shoham. Reasoning about Change. MIT Press, Cambridge, 1988."},{"key":"22_CR49","volume-title":"Studies in Logical Theory","author":"R. Stalnaker","year":"1968","unstructured":"R. Stalnaker. A theory of conditionals. In N. Rescher, editor, Studies in Logical Theory. Oxford University Press, Oxford, 1968."},{"key":"22_CR50","volume-title":"Research Notes in Artificial Intelligence","author":"D. S. Touretzky","year":"1986","unstructured":"D. S. Touretzky. The Mathematics of Inheritance Systems. Research Notes in Artificial Intelligence. Morgan Kaufmann, Los Altos, California, 1986."},{"unstructured":"F. Veltman. Prejudices, presuppositions and the theory of counterfactuals. In J. Groenendijk and M. Stokhof, editors, Amsterdam Papers in Formal Grammar, volume I. University of Amsterdam, 1976.","key":"22_CR51"},{"key":"22_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/BFb0021966","volume-title":"Logics in Artificial Intelligence (JELIA '94)","author":"M.-A. Williams","year":"1994","unstructured":"M.-A. Williams. On the logic of theory base change. In C. MacNish, D. Pearce, and L. M. Pereira, editors, Logics in Artificial Intelligence (JELIA '94), number 838 in Lecture Notes in Computer Science, pages 86\u2013105, Berlin, 1994. Springer-Verlag."},{"unstructured":"W. Wobcke. On the use of epistemic entrenchment in nonmonotonic reasoning. In Proceedings of ECAI-92, pages 324\u2013328, Vienna, Austria, 1992.","key":"22_CR53"}],"container-title":["Lecture Notes in Computer Science","Qualitative and Quantitative Practical Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0035629","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,9]],"date-time":"2019-02-09T00:26:55Z","timestamp":1549672015000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0035629"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630951","9783540691297"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/bfb0035629","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}