{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:59Z","timestamp":1725664979368},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617327"},{"type":"electronic","value":"9783540707400"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61732-9_50","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:17:19Z","timestamp":1330276639000},"page":"49-70","source":"Crossref","is-referenced-by-count":1,"title":["Compromised updates in labelled databases"],"prefix":"10.1007","author":[{"given":"F\u00e1tima C. C.","family":"Dargam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Alchourr\u00f3n, C., Makinson, D.: The Logic of Theory Change: Contraction functions and their associated functions. Theoria. 48 (1982).","DOI":"10.1111\/j.1755-2567.1982.tb00480.x"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Alchourr\u00f3n, C., Makinson, D.: On the Logic of Theory Change: Safe Contractions. Studia Logica. 44 (1985).","DOI":"10.1007\/BF00370430"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Alchourr\u00f3n, C., Makinson, D.: Maps between some different kinds of contractions functions. Studia Logica. 45 (1986).","DOI":"10.1007\/BF00373274"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Alchourr\u00f3n, C., G\u00e4rdenfors, P., Makinson, D.: On the Logic of Theory Change: partial meet functions for contraction and revision. Journal of Symbolic Logic. 50 (1985).","DOI":"10.2307\/2274239"},{"key":"4_CR5","unstructured":"Boutilier, C., Goldszmidt, M.: Revision by Conditionals Beliefs. Proc. AAAI Conference. (1993)."},{"key":"4_CR6","first-page":"66","volume":"1","author":"L. Cholvy","year":"1993","unstructured":"Cholvy, L.: Proving Theorems in a Multi-Source Environment. Proc. IJCAI-93, Chambery. Vol.1 (1993) 66\u201371.","journal-title":"Proc. IJCAI-93, Chambery"},{"key":"4_CR7","volume-title":"Research Report","author":"F.C.C. Dargam","year":"1996","unstructured":"Dargam, F.C.C.: Compromised Updates in Deductive Databases. Research Report, Imperial College, UK. (1996)."},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Dargam, F.C.C.: On Compromising Updates in Labelled Databases. Imperial College-Department of Computing Research Report DoC-96\/2. (1996).","DOI":"10.1007\/3-540-61732-9_50"},{"key":"4_CR9","unstructured":"Dargam, F.C.C.: A Compromised Characterization to Belief Revision. Imperial College-Department of Computing Research Report DoC-96\/1. (1996)."},{"key":"4_CR10","volume-title":"PhD. Thesis","author":"F.C.C. Dargam","year":"1996","unstructured":"Dargam, F.C.C.: On Reconciling Conflicting Updates: A Compromised Revision Approach. PhD. Thesis. Department of Computing, Imperial College, UK. (1996-to appear)."},{"key":"4_CR11","unstructured":"Dargam, F.C.C., Gabbay, D.M.: Resolving Conflicting Actions and Updates. (extended abstract). Proc. Compulog Net Meeting on Knowledge Representation and Reasoning CNKRR'93. Lisbon. (1993)."},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"Doyle, J.: A Truth Maintenance System. Artificial Intelligence. 12 (1979) 231\u2013272.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"4_CR13","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/0004-3702(90)90086-F","volume":"43","author":"C. Elkan","year":"1990","unstructured":"Elkan, C.: A Rational Reconstruction of Non-monotonic Truth Maintenance Systems. Artificial Intelligence. 43(2) (1990) 219\u2013234.","journal-title":"Artificial Intelligence"},{"key":"4_CR14","volume-title":"Technical Report TR94-1","author":"M. Freund","year":"1994","unstructured":"Freund, M., Lehmann, D.: Belief Revision and Rational Inference. Technical Report TR94-1. Institute of Computer Science, The Hebrew University of Jerusalem. Israel (1994)."},{"key":"4_CR15","volume-title":"MPI-I-94-223","author":"D.M. Gabbay","year":"1994","unstructured":"Gabbay, D.M.: LDS \u2014 Labelled Deductive Systems \u2014 Volume I Foundations. (Intermediate draft of a forthcoming book by Oxford University Press). MPI-I-94-223. Max-Planck-Institut fur Informatik. Saarbrucken, Germany.(1994)."},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Gabbay, D.M., Hunter, A.: Making Inconsistency Respectable \u2014 Part 1: A Logical Framework for Inconsistency in Reasoning. Fundamentals of AI Research. Springer-Verlag, LNCS 535 (1991).","DOI":"10.1007\/3-540-54507-7_3"},{"key":"4_CR17","unstructured":"Gabbay, D.M., Hunter, A.: Making Inconsistency Respectable \u2014 Part 2: Meta-level handling of inconsistency. Springer-Verlag, LNCS 747 (1993)."},{"key":"4_CR18","unstructured":"Galliers, J.: The Positive Role of Conflict in Cooperative Multiagent Systems. Decentralized AI. Demazeau, Y., Muller, J.P., eds. North-Holland. (1990) 33\u201346."},{"key":"4_CR19","unstructured":"Giordano, L., Martelli, A.: An Abductive Characterization of the TMS. Springer-Verlag, LNAI 515. Proc. TMS ECAI-90. Martins, J.P., Reinfrank, M., eds. (1990)."},{"key":"4_CR20","unstructured":"Jackson,P., Pais, J.: Semantic Accounts of Belief Revision. Springer-Verlag, LNAI 515. Proc. TMS ECAI-90. Martins, J.P., Reinfrank, M., eds. (1990)."},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Katsuno, H., Mendelzon, A.O.: On the Difference between Updating a Knowledge Base and Revising it. Belief Revision. G\u00e4rdenfors, P., editor. Cambridge University Press. (1992) 183\u2013203.","DOI":"10.1017\/CBO9780511526664.007"},{"key":"4_CR22","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer","year":"1986","unstructured":"Kleer, J.d.: An Assumption-based TMS. Artificial Intelligence. 28 (1986) 127\u2013162.","journal-title":"Artificial Intelligence"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Makinson, D.: How to give it up. Synthese. 62 (1985).","DOI":"10.1007\/BF00869410"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Makinson, D.: Five Faces of Minimality. Studia Logica. 53(3) (1993).","DOI":"10.1007\/BF01057652"},{"key":"4_CR25","unstructured":"Monteiro, D., Bertino, E., Martelli, M.: Transactions and Updates in Deductive Databases. Imperial College-Department of Computing Research Report DoC-95\/2. (1995)."},{"key":"4_CR26","unstructured":"Nebel, B.: A Knowledge level Analysis of Belief Revision. Proc. 1st. Conference on Principles of Knowledge Representation and Reasoning. (1989)."},{"key":"4_CR27","unstructured":"Nebel, B.: Reasoning and Revision in Hybrid Representation Systems. Chapter 6-Belief Revision. Springer-Verlag, LNAI 422 (1990)."},{"key":"4_CR28","unstructured":"A Truth Maintenance System Based on Stable Models. Pimentel, S. G., Cuadrado, J. L.: Proc. North American Conference on Logic Programming NACLP. Cleveland, USA. (1989) 274\u2013290."},{"key":"4_CR29","unstructured":"Rao, A., Foo, N.: Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about Actions. Proc. 11th International Joint Conference on Artificial Intelligence. (1989) 966\u2013971."},{"key":"4_CR30","unstructured":"Rodi, W., Pimentel, S.: A Nonmonotonic Assumption-Based TMS using Stable Bases. Proc. KR'91. (1991) 485\u2013495."},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"Rott, H.: Two Methods of Constructing Contractions and Revisions of Knowledge Systems. Journal of Philosophical Logic. 20 (1991).","DOI":"10.1007\/BF00284973"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"Rott, H.: On the Logic of Theory Change: more maps between different kinds of contractions functions. Belief Revision. G\u00e4rdenfors, P., editor. Cambridge University Press. (1992) 122\u2013141.","DOI":"10.1017\/CBO9780511526664.005"},{"key":"4_CR33","doi-asserted-by":"crossref","unstructured":"Sripada, S.: A Temporal Approach to Belief Revision in Knowledge Bases. Proc. 9th. IEEE Conference on AI for Applications CAIA-93. Florida, USA. (1993).","DOI":"10.1109\/CAIA.1993.366661"},{"key":"4_CR34","doi-asserted-by":"crossref","unstructured":"Wagner, G.: Vivid Logic. Springer Verlag, LNAI 764 (1994).","DOI":"10.1007\/3-540-57604-5"},{"key":"4_CR35","unstructured":"Wang, X., Chen, H.: On the Semantics of TMS. Proc. IJCAI '91. (1991) 306\u2013309."},{"key":"4_CR36","doi-asserted-by":"crossref","unstructured":"Winslett, M.: Updating Logical Databases. Cambridge University Press. (1990).","DOI":"10.1017\/CBO9780511663109"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Mathematical Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61732-9_50.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:36:02Z","timestamp":1619559362000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61732-9_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617327","9783540707400"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/3-540-61732-9_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}