{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:41:08Z","timestamp":1725486068510},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540075448"},{"type":"electronic","value":"9783540380764"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-38076-0_7","type":"book-chapter","created":{"date-parts":[[2007,6,2]],"date-time":"2007-06-02T18:30:01Z","timestamp":1180809001000},"page":"100-117","source":"Crossref","is-referenced-by-count":0,"title":["On the Use of Matrices for Belief Revision"],"prefix":"10.1007","author":[{"given":"Giorgos","family":"Flouris","sequence":"first","affiliation":[]},{"given":"Dimitris","family":"Plexousakis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,25]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchourron","year":"1985","unstructured":"Alchourron C., G\u00e4rdenfors P. and Makinson D.:\u201cOn the Logic of Theory Change: Partial Meet Contraction and Revision Functions\u201d, The Journal of Symbolic Logic, Vol.50, pp.510\u2013530, 1985. 113","journal-title":"The Journal of Symbolic Logic"},{"key":"7_CR2","unstructured":"Bertino E., Catania B. and Zarri G.P.: \u201cIntelligent Database Systems\u201d, ACM Press, 2001. 100"},{"key":"7_CR3","unstructured":"Dalal M.: \u201cInvestigations Into a Theory of Knowledge Base Revision: Preliminary Report\u201d, Proceedings 7th National Conference on Artificial Intelligence, pp.475\u2013479, 1988. 111, 112, 115"},{"key":"7_CR4","unstructured":"Dalal M.: \u201cUpdates in Propositional Databases\u201d, Technical Report, DCS-TR-222, Department of Computer Science, Rutgers University, February 1988. 111, 112, 115"},{"issue":"1","key":"7_CR5","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 Pearl J.: \u201cOn the Logic of Iterated Belief Revision\u201d, Artificial Intelligence, Vol.89, No.1\u20132, pp.1\u201329, 1997. 115","journal-title":"Artificial Intelligence"},{"key":"7_CR6","unstructured":"Flouris G. and Plexousakis D.: \u201cBelief Revision in Propositional Knowledge Bases\u201d, Proceedings 8th Panhellenic Conference on Informatics, Nicosia, Cyprus, November 2001. 101"},{"key":"7_CR7","unstructured":"Flouris G. and Plexousakis D.: \u201cBelief Revision using Table Transformation\u201d, Technical Report TR-290, ICS-FORTH, July 2001. 104, 106, 107, 109, 113"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"G\u00e4rdenfors P.: \u201cBelief Revision: An introduction\u201d, pp.1\u201320 in \u201cBelief Revision\u201d, by P. G\u00e4rdenfors (ed.), Cambridge University Press, 1992. 113, 115","DOI":"10.1007\/3-540-56282-6_1"},{"key":"7_CR9","first-page":"24","volume-title":"Knowledge, Belief and Strategic Interaction","author":"P. G\u00e4rdenfors","year":"1992","unstructured":"G\u00e4rdenfors P.: \u201cThe Dynamics of Knowledge and Belief: Foundational vs. Coherence Theories\u201d, Revue Internationale de Philosophie, Vol.44, pp.24\u201346. Reprinted in \u201cKnowledge, Belief and Strategic Interaction\u201d, by Bicchieri and M. L. dalla Chiara (eds.), Cambridge University Press, Cambridge, pp.377\u2013396, 1992. 110, 111"},{"key":"7_CR10","volume-title":"Change in View: Principles of Reasoning","author":"G. Harman","year":"1986","unstructured":"Harman G.: \u201cChange in View: Principles of Reasoning\u201d, Bradford Books, MIT Press, Cambridge, MA, 1986. 110"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/BF00413568","volume":"91","author":"S.O. Hansson","year":"1992","unstructured":"Hansson S.O.: \u201cIn Defense of Base Contraction\u201d, Synthese, Vol.91, pp.239\u2013245, 1992. 111","journal-title":"Synthese"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Katsuno H. and Mendelzon A.: \u201cOn the Difference Between Updating a Logical Database and Revising it\u201d, in \u201cBelief Revision\u201d, by G\u00e4rdenfors P. (ed.), Cambridge University Press, 1992. 113, 115","DOI":"10.1017\/CBO9780511526664.007"},{"key":"7_CR13","unstructured":"Katsuno H. and Mendelzon A.: \u201cPropositional Knowledge Base Revision and Minimal Change\u201d, KRR-TR-90-3, Technical Reports on Knowledge Representation and Reasoning, University of Toronto, March 1990. 113"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Konieczny S. and Marquis P.: \u201cThree-valued Logics for Inconsistency Handling\u201d, Proceedings 8th European Conference in Artificial Intelligence (JELIA02), 2002. 111","DOI":"10.1007\/3-540-45757-7_28"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Levesque H. J. and Lakemeyer G.:\u201cThe Logic of Knowledge Bases\u201d, MIT Press, 2000. 100","DOI":"10.7551\/mitpress\/4290.001.0001"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Liberatore P.: \u201cThe Complexity of Iterated Belief Revision\u201d, Proceedings 6th ICDT Conference, pp.276\u2013290, 1997. 115","DOI":"10.1007\/3-540-62222-5_51"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/BF00869410","volume":"62","author":"D. Makinson","year":"1985","unstructured":"Makinson D.: \u201cHow to Give it up: a Survey of some Formal Aspects of the Logic of Theory Change\u201d, Synthese, Vol.62, pp.347\u2013363, 1985. 113, 115","journal-title":"Synthese"},{"key":"7_CR18","unstructured":"Nebel B.: \u201cA Knowledge Level Analysis of Belief Revision\u201d, Proceedings 1st International Conference on Principles of Knowledge Representation and Reasoning, pp.301\u2013311, 1989. 111, 113"}],"container-title":["Lecture Notes in Computer Science","Advances in Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-38076-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T13:27:40Z","timestamp":1587562060000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-38076-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540075448","9783540380764"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-38076-0_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}