{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:18:19Z","timestamp":1725484699721},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540424642"},{"type":"electronic","value":"9783540446521"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44652-4_43","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T04:39:07Z","timestamp":1180672747000},"page":"488-497","source":"Crossref","is-referenced-by-count":0,"title":["A Priori Revision"],"prefix":"10.1007","author":[{"given":"Florence Dupin","family":"de Saint-Cyr","sequence":"first","affiliation":[]},{"given":"B\u00e9atrice","family":"Duval","sequence":"additional","affiliation":[]},{"given":"St\u00e9phane","family":"Loiseau","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,8,30]]},"reference":[{"key":"43_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, G\u00e4rdenfors and Makinson. On the logic of theory change: partial meet contraction and revision functions. Symbolic Logic, vol 50, 510\u2013530, 1985.","journal-title":"Symbolic Logic"},{"key":"43_CR2","first-page":"640","volume":"3","author":"Benferhat","year":"1993","unstructured":"Benferhat, Cayrol, Dubois, Lang, Prade. Inconsistency management and prioritized syntax-based entailment. DCAI, vol 3, 640\u2013645, 1993.","journal-title":"DCAI"},{"key":"43_CR3","unstructured":"Benferhat and Smets. Belief functions for logical problems: representing default rules in e-beliefs logics. In Abstract of the Dagstuhl Seminar, 1993."},{"key":"43_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/BFb0055504","volume-title":"Transactions and Change in Logic Databases","author":"H. Bezzazi","year":"1998","unstructured":"Bezzazi H., Janot S., Konieczny S., Pino Perez R. Analysing Rational Properties of change operators based on forward chaining. In Transactions and Change in Logic Databases. LNCS Vol. 1472, pp 317\u2013339."},{"key":"43_CR5","unstructured":"Bouali, Loiseau. Rule Base Diagnosis for debugging. EUROVAV, 225\u2013240, 1995."},{"key":"43_CR6","unstructured":"Bouali, Loiseau, Rousset. Revision of Rule Bases. EUROVAV, 193\u2013204, 1997."},{"key":"43_CR7","unstructured":"G. Brewka. Preferred sub theories: an extended logical framework for default reasoning. IJCAI, 1043\u20131048, 1989."},{"key":"43_CR8","first-page":"107","volume":"946","author":"Cayrol","year":"1995","unstructured":"Cayrol, Lagasquie-Schiex. Non-monotonic syntax-based entailment: a classification of consequence relations. Lecture notes in AI, 946, p. 107\u2013114, 1995.","journal-title":"Lecture notes in AI"},{"key":"43_CR9","unstructured":"Dubois, Lang, Prade. Inconsistency in possibilistic knowledge bases-To live or not live with it. Fuzzy Logic for the Management of Uncertainty, Wiley, 335\u2013351, 1992."},{"key":"43_CR10","doi-asserted-by":"crossref","unstructured":"Dupin de Saint-Cyr, Lang and Schiex. Penalty logic and its link with Dempster-Shafer theory. In Proc. of the 10th Uncertainty in AI, p. 204\u2013211, 1994.","DOI":"10.1016\/B978-1-55860-332-5.50031-6"},{"key":"43_CR11","first-page":"175","volume":"I","author":"D. Saint-Cyr de","year":"2000","unstructured":"Dupin de Saint-Cyr, Loiseau. Validation et r\u00e9vision. 12\u00e9me Congr\u00e9s Francophone AFRIF-AFTA de RFTA, Paris 1-3 f\u00e9vrier 2000, vol I, pages 175\u2013183. 2000.","journal-title":"12\u00e9me Congr\u00e9s Francophone AFRIF-AFTA de RFTA, Paris 1-3 f\u00e9vrier 2000"},{"key":"43_CR12","volume-title":"Knowledge in Flux-Modeling the dynamic of epistemic states","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors P., Knowledge in Flux-Modeling the dynamic of epistemic states. The MIT Press, Cambridge, 1988."},{"key":"43_CR13","doi-asserted-by":"crossref","unstructured":"Katsuno, Mendelzon. On the difference between updating a knowledge base and revising it. Principles of Knowledge Representation, p. 387\u2013394, 1991.","DOI":"10.1017\/CBO9780511526664.007"},{"issue":"2","key":"43_CR14","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"de Kleer, J. An assumption-based truth-maintenance system. Artificial Intelligence, vol. 28(2), p. 127\u2013224 1986.","journal-title":"Artificial Intelligence"},{"issue":"32","key":"43_CR15","first-page":"97","volume":"AI","author":"J. W. Kleer de","year":"1987","unstructured":"de Kleer, J. Williams, B.C. Diagnosing Multiple Faults. AI(32), 97\u2013130 1987.","journal-title":"B.C. Diagnosing Multiple Faults"},{"key":"43_CR16","unstructured":"D. Lehmann. 1992. Another perspective on default reasoning. Tec. Report."},{"key":"43_CR17","unstructured":"B. Nebel. Belief revision and default reasoning: syntax-based approaches. In Proc. of the 2nd KR, p. 417\u2013428. Cambridge, MA, 1991."},{"key":"43_CR18","unstructured":"G. Pinkas. Prepositional nonmonotonic reasoning and inconsistency in symmetric neural networks. In Prof, of the 12th DCAI. p. 525\u2013530. Sydney, Australia, 1991."},{"key":"43_CR19","first-page":"57","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R. A theory of diagnosis from first principles. AI, vol 32, p. 57\u201395, 1987.","journal-title":"AI"},{"key":"43_CR20","unstructured":"N. Rescher. Hypothetical Reasoning. North-Holland, 1964."},{"key":"43_CR21","unstructured":"M. Winslett. Reasoning about action using a possible models approach. AAAI, p. 89\u201393, 1988."}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning with Uncertainty"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44652-4_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T16:25:39Z","timestamp":1587572739000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44652-4_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540424642","9783540446521"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-44652-4_43","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}