{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:41:00Z","timestamp":1725529260918},"publisher-location":"Dordrecht","reference-count":32,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789048124862"},{"type":"electronic","value":"9781402028083"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-1-4020-2808-3_16","type":"book-chapter","created":{"date-parts":[[2009,3,13]],"date-time":"2009-03-13T14:51:22Z","timestamp":1236955882000},"page":"291-326","source":"Crossref","is-referenced-by-count":6,"title":["Belief Contraction, Anti-Formulae and Resource Overdraft:Part II Deletion In Resource Unbounded Logics"],"prefix":"10.1007","author":[{"given":"Dov M.","family":"Gabbay","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Odinaldo","family":"Rodrigues","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Woods","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1_16","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1111\/j.1755-2567.1982.tb00480.x","volume":"48","author":"C. A. Alchourr\u00f3n","year":"1982","unstructured":"Alchourr\u00f3n, C. A. and D. Makinson: 1982, \u2018On the Logic of Theory Change: Contraction Functions and their Associated Revision Functions\u2019, Theoria 48, 14\u201337.","journal-title":"Theoria"},{"key":"16_CR2_16","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/BF00370430","volume":"44","author":"C. A. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C. A. and D. Makinson: 1985, \u2018The Logic of Theory Change: Safe Contraction\u2019, Studia Logica 44, 405\u2013422.","journal-title":"Studia Logica"},{"key":"16_CR3_16","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. A. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C. A., P. G\u00e4rdenfors and D. Makinson: 1985, \u2018On the Logic of Theory Change: Partial Meet Contraction and Revision Functions\u2019, The Journal of Symbolic Logic 50, 510\u2013530.","journal-title":"The Journal of Symbolic Logic"},{"key":"16_CR4_16","unstructured":"Anderson, A. R. and N. D. Belnap: 1975, Entailment, Vol. 1, Princeton University Press."},{"key":"16_CR5_16","unstructured":"Connolly, T., C. Begg and A. Strachan: 1999, Database Systems: A Practical Approach to Design, Implementation and Management, 2nd edn, Addison-Wesley."},{"key":"16_CR6_16","first-page":"5","volume-title":"Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning","author":"A. Darwiche","year":"1994","unstructured":"Darwiche, A. and J. Pearl: 1994, \u2018On the Logic of Iterated Belief Revision\u2019, in Ronald Fagin (ed.), Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning, Pacific Grove, CA, Morgan Kaufmann, pp. 5\u201323."},{"key":"16_CR7_16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(96)00038-0","volume":"89","author":"A. Darwiche","year":"1997","unstructured":"Darwiche, A. and J. Pearl: 1997, \u2018On the Logic of Iterated Belief Revision\u2019, Artificial Intelligence 89, 1\u201329.","journal-title":"Artificial Intelligence"},{"key":"16_CR8_16","unstructured":"Date, C. J. and H. Darwen: 1997, A Guide to the SQL Standard: A User's Guide to the Standard Database Language, 4th edn, Addison-Wesley Longman, Inc."},{"key":"16_CR9_16","unstructured":"Freund, M. and D. Lehmann: 1994, \u2018Belief Revision and Rational Inference\u2019, Technical Report TR 94\u201316, The Leibniz Center for Research in Computer Science, Institute of Computer Science, Hebrew University."},{"key":"16_CR10_16","doi-asserted-by":"crossref","unstructured":"Gabbay, D. M.: 1996, Labelled Deductive Systems, Oxford University Press.","DOI":"10.1093\/oso\/9780198538332.001.0001"},{"key":"16_CR11_16","doi-asserted-by":"crossref","unstructured":"Gabbay, D. M. and O. Rodrigues: 1997, \u2018Structured Belief Bases: A Practical Approach to Prioritised Base Revision\u2019, in Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, and Hans J\u00fcrgen Ohlbach (eds.), Proceedings of First International Joint Conference on Qualitative and Quantitative Practical Reasoning, Springer-Verlag, pp. 267\u2013281.","DOI":"10.1007\/BFb0035628"},{"key":"16_CR12_16","unstructured":"Gabbay, D. M.: 1998, Elementary Logic: A Procedural Perspective, Prentice Hall."},{"key":"16_CR13_16","doi-asserted-by":"crossref","unstructured":"Gabbay, D. M.: 1999, \u2018Compromise Update and Revision: A Position Paper\u2019, in B. Fronhoffer and R. Pareschi (eds.), Dynamic Worlds, Kluwer, pp. 111\u2013148.","DOI":"10.1007\/978-94-017-1317-7_4"},{"key":"16_CR14_16","doi-asserted-by":"crossref","unstructured":"Gabbay, D. M. and N. Olivetti: 2000, Goal Directed Proof Theory, Kluwer.","DOI":"10.1007\/978-94-017-1713-7"},{"key":"16_CR15_16","doi-asserted-by":"crossref","unstructured":"Gabbay, D. M., O. Rodrigues and A. Russo: 2000, \u2018Revision by Translation\u2019, in B. Bouchon-Meunier, R. Yager and L. A. Zadeh (eds.), Information, Uncertainty and Fusion: Proceedings of IPMU 98, Kluwer, pp. 3\u201332.","DOI":"10.1007\/978-1-4615-5209-3_1"},{"key":"16_CR16_16","doi-asserted-by":"crossref","unstructured":"Gabbay, D. M. and J. Woods: 2004, The Reach of Abduction: Insight and Trial, A Practical Logic of Cognitive Systems, Vol. 2, Elsevier.","DOI":"10.1016\/S1874-5075(05)80020-8"},{"key":"16_CR17_16","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1093\/jigpal\/10.6.601","volume":"10","author":"D. M. Gabbay","year":"2002","unstructured":"Gabbay, D. M., O. Rodrigues and J. Woods: 2002, \u2018Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource Bounded Logics\u2019, Logic Journal of the IGPL 10, 601\u2013652.","journal-title":"Logic Journal of the IGPL"},{"key":"16_CR18_16","unstructured":"Gabbay, D. M., O. Rodrigues and J. Woods: in preparation, \u2018Belief Contraction, Anti-formulae and Resource Overdraft: Part III Fine Tuning of the Deletion Process\u2019."},{"key":"16_CR19_16","unstructured":"Gabbay, D. M., O. Rodrigues and J. Woods: in preparation, \u2018Existence and Anti-existence in Non-classical Logics\u2019."},{"key":"16_CR20_16","first-page":"381","volume":"30","author":"P. G\u00e4rdenfors","year":"1978","unstructured":"G\u00e4rdenfors, P.: 1978, \u2018Conditionals and Changes of Belief\u2019, Acta Philosophica Fennica 30, 381\u2013404.","journal-title":"Acta Philosophica Fennica"},{"key":"16_CR21_16","unstructured":"G\u00e4rdenfors, P.: 1982, \u2018Rules for Rational Changes of Belief\u2019, in T. Pauli (ed.), Philosophical Essays Dedicated to Lannart \u00c5qvist on His Fiftieth Birthday, Vol. 34 of Philosophical Studies, Philosophical Society and the Department of Philosophy, Uppsala University, pp. 88\u2013101."},{"key":"16_CR22_16","volume-title":"Knowledge in Flux: Modeling the Dynamics of Epistemic States","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P.: 1988, Knowledge in Flux: Modeling the Dynamics of Epistemic States, Cambridge, MA, London, England, A Bradford Book \u2013 The MIT Press."},{"issue":"2","key":"16_CR23_16","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1006\/inco.1998.2700","volume":"143","author":"J. Y. Girard","year":"1998","unstructured":"Girard, J. Y.: 1998, \u2018Light Linear Logic, Information and Computation\u2019, 143(2), 175\u2013204.","journal-title":"Information and Computation"},{"key":"16_CR24_16","unstructured":"Groff, J. R. and P. N. Weinberg: 1999, SQL: The Complete Reference, Osborne\/McGraw-Hill."},{"key":"16_CR25_16","unstructured":"Grosof, B. N.: 1992, Updating and Structure in Non-montonic Theories, Ph.D. Thesis."},{"key":"16_CR26_16","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-007-0814-3","volume-title":"A Textbook of Belief Dynamics: Theory Change and Database Updating","author":"S. O. Hansson","year":"1999","unstructured":"Hansson, S. O.: 1999, A Textbook of Belief Dynamics: Theory Change and Database Updating, Dodrdrecht, Kluwer Academic Publishers."},{"key":"16_CR27_16","unstructured":"Kurosh, A. G.: 1963, General Algebra, Chelsea Publishing Commpany."},{"key":"16_CR28_16","unstructured":"Lehmann, D.: 1995, \u2018Belief Revision, Revised\u2019\u201e in Proceedings of the 14th International Joint Conference of Artificial Intelligence (IJCAI-95), pp. 1534\u20131540."},{"key":"16_CR29_16","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/BF00172059","volume":"1","author":"N. Olivetti","year":"1992","unstructured":"Olivetti, N. and L. Terracini: 1992, \u2018N-prolog and Equivalence of Logic Programs\u2019, Journal of Logic, Language and Information 1, 253\u2013340.","journal-title":"Journal of Logic, Language and Information"},{"key":"16_CR30_16","doi-asserted-by":"crossref","unstructured":"Restall, G.: 2000, An Introduction to Substructural Logics, New York, Routledge, ISBN 0-415-21534-X.","DOI":"10.4324\/9780203252642"},{"key":"16_CR31_16","unstructured":"Rodrigues, O.: 1998, A Methodology for Iterated Information Change, Ph.D. thesis, Department of Computing, Imperial College."},{"key":"16_CR32_16","volume-title":"The Logic of Fiction: Philosophical Soundings of Deviant Logic","author":"J. Woods","year":"1974","unstructured":"Woods, J.: 1974, The Logic of Fiction: Philosophical Soundings of Deviant Logic, The Hague and Paris, Mouton."}],"container-title":["Logic, Epistemology, and the Unity of Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-2808-3_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,11]],"date-time":"2024-03-11T16:44:27Z","timestamp":1710175467000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-2808-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9789048124862","9781402028083"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-2808-3_16","relation":{},"subject":[]}}