{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T08:55:28Z","timestamp":1762505728655},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2011,2,16]],"date-time":"2011-02-16T00:00:00Z","timestamp":1297814400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2011,4]]},"DOI":"10.1007\/s10992-011-9178-2","type":"journal-article","created":{"date-parts":[[2011,2,15]],"date-time":"2011-02-15T09:01:16Z","timestamp":1297760476000},"page":"271-294","source":"Crossref","is-referenced-by-count":14,"title":["On AGM for Non-Classical Logics"],"prefix":"10.1007","volume":"40","author":[{"given":"Renata","family":"Wassermann","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,2,16]]},"reference":[{"issue":"2","key":"9178_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C., G\u00e4rdenfors, P., & Makinson, D. (1985). On the logic of theory change. Journal of Symbolic Logic, 50(2), 510\u2013530.","journal-title":"Journal of Symbolic Logic"},{"key":"9178_CR2","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1111\/j.1755-2567.1982.tb00480.x","volume":"48","author":"C Alchourr\u00f3n","year":"1982","unstructured":"Alchourr\u00f3n, C., & Makinson, D. (1982). On the logic of theory change: Contraction functions and their associated revision functions. Theoria, 48, 14\u201337.","journal-title":"Theoria"},{"key":"9178_CR3","unstructured":"Alechina, N., Jago, M., & Logan, B. (2005). Resource-bounded belief revision and contraction. In M. Baldoni, U. Endriss, A. Omicini, & P. Torroni (Eds.), Proceedings of the third international workshop on declarative agent languages and technologies (DALT 2005) (Vol.\u00a031, pp.\u00a0118\u2013131)."},{"issue":"4","key":"9178_CR4","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1007\/BF01471125","volume":"149","author":"AR Anderson","year":"1963","unstructured":"Anderson, A.\u00a0R., & Belnap, N.\u00a0D. (1963). First degree entailments. Mathematische Annalen, 149(4), 302\u2013319.","journal-title":"Mathematische Annalen"},{"key":"9178_CR5","unstructured":"Anderson, A.\u00a0R., & Belnap, N.\u00a0D. (1975). Entailment: The logic of relevance and necessity (Vol.\u00a01). Princeton University Press."},{"key":"9178_CR6","unstructured":"Booth, R., Meyer, T., & Varzinczak, I.\u00a0J. (2009). New steps in propositional Horn contraction. In Proceedings of the international joint conference of artificial intelligence (IJCAI). Pasadena."},{"key":"9178_CR7","unstructured":"Booth, R., Meyer, T., Varzinczak, I.\u00a0J., & Wassermann, R. (2010). A contraction core for Horn belief change: Preliminary report. In Proceedings of the international workshop on non-monotonic reasoning (NMR)."},{"key":"9178_CR8","doi-asserted-by":"crossref","unstructured":"Calvanese, D., Kharlamov, E., Nutt, W., & Zheleznyakov, D. (2010). Evolution of DL-lite knowledge bases. In Proceedings of the 9th international semantic Web conference (ISWC 2010).","DOI":"10.1007\/978-3-642-17746-0_8"},{"issue":"1\u20132","key":"9178_CR9","doi-asserted-by":"crossref","first-page":"131","DOI":"10.3166\/jancl.11.131-150","volume":"11","author":"S Chopra","year":"2001","unstructured":"Chopra, S., Georgatos, K., & Parikh, R. (2001). Relevance sensitive non-monotonic inference on belief sequences. Journal of Applied Non-Classical Logics, 11(1\u20132), 131\u2013150.","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"1\u20134","key":"9178_CR10","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1023\/A:1018960323808","volume":"28","author":"S Chopra","year":"2000","unstructured":"Chopra, S., & Parikh, R. (2000). Relevance sensitive belief structures. Annals of Mathematics and Artificial Intelligence, 28(1\u20134), 259\u2013285.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"6","key":"9178_CR11","doi-asserted-by":"crossref","first-page":"755","DOI":"10.1093\/jigpal\/9.6.755","volume":"9","author":"S Chopra","year":"2001","unstructured":"Chopra, S., Parikh, R., & Wassermann, R. (2001). Approximate belief revision. Logic Journal of the IGPL, 9(6), 755\u2013768.","journal-title":"Logic Journal of the IGPL"},{"issue":"161\u2013163","key":"9178_CR12","first-page":"31","volume":"41","author":"NCA Costa da","year":"1998","unstructured":"da Costa, N.\u00a0C.\u00a0A., & Bueno, O. (1998). Belief change and inconsistency. Logique & Analyse, 41(161\u2013163), 31\u201356.","journal-title":"Logique & Analyse"},{"key":"9178_CR13","first-page":"3790","volume":"257","author":"NCA Costa da","year":"1963","unstructured":"da\u00a0Costa, N.\u00a0C.\u00a0A. (1963). Calculs propositionnels pour les syst\u00e9mes formels inconsistants. Comptes Rendus d\u2019Academie des Sciences de Paris, 257, 3790\u20133793.","journal-title":"Comptes Rendus d\u2019Academie des Sciences de Paris"},{"key":"9178_CR14","unstructured":"Delgrande, J.\u00a0P. (2008). Horn clause belief change: Contraction functions. In G. Brewka, & J. Lang (Eds.), Principles of knowledge representation and reasoning (KR2008) (pp. 156\u2013165)."},{"key":"9178_CR15","unstructured":"Delgrande, J.\u00a0P., & Wassermann, R. (2010). Horn clause contraction functions: Belief set and belief base approaches. In Principles of knowledge representation and reasoning (KR2010)."},{"issue":"2","key":"9178_CR16","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1093\/logcom\/14.2.179","volume":"14","author":"M Finger","year":"2004","unstructured":"Finger, M., & Wassermann, R. (2004). Approximate and limited reasoning: Semantics, proof theory, expressivity and control. Journal of Logic And Computation, 14(2), 179\u2013204.","journal-title":"Journal of Logic And Computation"},{"key":"9178_CR17","unstructured":"Flouris, G. (2006). On belief change and ontology evolution. Ph.D. thesis, University of Crete."},{"key":"9178_CR18","unstructured":"Flouris, G., Plexousakis, D., & Antoniou, G. (2004). Generalizing the AGM postulates: Preliminary results and applications. In Proceedings of the 10th international workshop on non-monotonic reasoning (NMR 2004) (pp. 171\u2013179)."},{"key":"9178_CR19","unstructured":"Flouris, G., Plexousakis, D., & Antoniou, G. (2005). On applying the AGM theory to DLs and OWL. In: Proceedings of the international semantic Web Conference (pp. 216\u2013231)."},{"key":"9178_CR20","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/BF00284974","volume":"20","author":"A Fuhrmann","year":"1991","unstructured":"Fuhrmann, A. (1991). Theory contraction through base contraction. Journal of Philosophical Logic, 20, 175\u2013203.","journal-title":"Journal of Philosophical Logic"},{"key":"9178_CR21","unstructured":"G\u00e4rdenfors, P. (1988). Knowledge in flux\u2014Modeling the dynamics of epistemic states. MIT Press."},{"key":"9178_CR22","doi-asserted-by":"crossref","unstructured":"G\u00e4rdenfors, P., & Rott, H. (1995). Belief revision. In Handbook of logic in artificial intelligence and logic programming (Vol.\u00a0IV, Chapt. 4.2). Oxford University Press.","DOI":"10.1093\/oso\/9780198537915.003.0002"},{"key":"9178_CR23","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A Grove","year":"1988","unstructured":"Grove, A. (1988). Two modellings for theory change. Journal of Philosophical Logic, 17, 157\u2013170.","journal-title":"Journal of Philosophical Logic"},{"key":"9178_CR24","unstructured":"Halaschek-Wiener, C., & Katz, Y. (2006). Belief base revision for expressive description logics. In Proceedings of the OWLED*06 workshop on OWL: Experiences and directions."},{"key":"9178_CR25","doi-asserted-by":"crossref","unstructured":"Hansson, S.\u00a0O. (1992). A dyadic representation of belief. In P. G\u00e4rdenfors (Ed.), Belief revision. Cambridge tracts in theoretical computer science (Vol.\u00a029, pp. 89\u2013121). Cambridge University Press.","DOI":"10.1017\/CBO9780511526664.004"},{"key":"9178_CR26","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1007\/BF01054039","volume":"22","author":"SO Hansson","year":"1992","unstructured":"Hansson, S.\u00a0O. (1992). Reversing the Levi identity. Journal of Philosophical Logic, 22, 637\u2013639.","journal-title":"Journal of Philosophical Logic"},{"key":"9178_CR27","doi-asserted-by":"crossref","first-page":"845","DOI":"10.2307\/2275912","volume":"59","author":"SO Hansson","year":"1994","unstructured":"Hansson, S.\u00a0O. (1994). Kernel contraction. Journal of Symbolic Logic, 59, 845\u2013859.","journal-title":"Journal of Symbolic Logic"},{"key":"9178_CR28","doi-asserted-by":"crossref","unstructured":"Hansson, S.\u00a0O. (1999). A textbook of belief dynamics. Kluwer Academic Press.","DOI":"10.1007\/978-94-007-0814-3"},{"issue":"1","key":"9178_CR29","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1023\/A:1014654208944","volume":"70","author":"SO Hansson","year":"2002","unstructured":"Hansson, S.\u00a0O., & Wassermann, R. (2002). Local change. Studia Logica, 70(1), 49\u201376.","journal-title":"Studia Logica"},{"key":"9178_CR30","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/BF02134311","volume":"24","author":"S Ja\u015bkowski","year":"1969","unstructured":"Ja\u015bkowski, S. (1969). Propositional calculus for contradictory deductive systems. Studia Logica, 24, 143\u2013157.","journal-title":"Studia Logica"},{"key":"9178_CR31","doi-asserted-by":"crossref","unstructured":"Katsuno, H., & Mendelzon, A.\u00a0O. (1992). On the difference between updating a knowledge base and revising it. In P. G\u00e4rdenfors (Ed.), Belief revision. Cambridge tracts in theoretical computer science (Vol.\u00a029, pp. 183\u2013203). Cambridge University Press.","DOI":"10.1017\/CBO9780511526664.007"},{"key":"9178_CR32","first-page":"199","volume-title":"KI-96: Advances in artificial intelligence. Lecture notes in computer science Vol. 1137","author":"G Lakemeyer","year":"1996","unstructured":"Lakemeyer, G., & Lang, W. (1996). Belief revision in a nonclassical logic. In G. G\u00f6rz, & S. H\u00f6lldobler (Eds.), KI-96: Advances in artificial intelligence. Lecture notes in computer science (Vol. 1137, pp. 199\u2013211). Berlin: Springer."},{"key":"9178_CR33","unstructured":"Levesque, H. (1984). A logic of implicit and explicit belief. In Proceedings of AAAI-84."},{"issue":"4","key":"9178_CR34","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1016\/j.jal.2008.12.001","volume":"7","author":"D Makinson","year":"2009","unstructured":"Makinson, D. (2009). Propositional relevance through letter-sharing. Journal of Applied Logic, 7(4), 377\u2013387. Special Issue: Formal models of belief change in rational agents.","journal-title":"Journal of Applied Logic"},{"issue":"2","key":"9178_CR35","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1023\/A:1015690931863","volume":"56","author":"ED Mares","year":"2002","unstructured":"Mares, E.\u00a0D. (2002). A paraconsistent theory of belief revision. Erkenntnis, 56(2), 229\u2013246.","journal-title":"Erkenntnis"},{"key":"9178_CR36","volume-title":"Reasoning and revision in hybrid representation systems. Lecture notes in artificial intelligence Vol. 422","year":"1990","unstructured":"Nebel, B. (1990). Reasoning and revision in hybrid representation systems. Lecture notes in artificial intelligence (Vol. 422). Berlin: Springer."},{"key":"9178_CR37","unstructured":"Parikh, R. (1996). Beliefs, belief revision and splitting languages. In Proceedings of Itallc-96."},{"key":"9178_CR38","unstructured":"Parsia, B. (2009). Topic-sensitive belief revision. Ph.D. thesis, University of Maryland."},{"issue":"3","key":"9178_CR39","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1111\/j.1755-2567.2001.tb00204.x","volume":"67","author":"G Priest","year":"2001","unstructured":"Priest, G. (2001). Paraconsistent belief revision. Theoria, 67(3), 214\u2013228.","journal-title":"Theoria"},{"key":"9178_CR40","unstructured":"Restall, G., & Slaney, J. (1995). Realistic belief revision. In M.\u00a0D. Glas, & Z. Pawlak (Eds.), Proceedings of the second world conference on the fundamentals of artificial intelligence (pp. 367\u2013378)."},{"key":"9178_CR41","unstructured":"Ribeiro, M.\u00a0M., & Wassermann, R. (2006). First steps towards revising ontologies. In Proceedings of the second workshop on ontologies and their applications (WONTO)."},{"key":"9178_CR42","unstructured":"Ribeiro, M.\u00a0M., & Wassermann, R. (2009). AGM revision in description logics. In Proceedings the IJCAI workshop on automated reasoning about context and ontology evolution (ARCOE)."},{"issue":"5","key":"9178_CR43","doi-asserted-by":"crossref","first-page":"721","DOI":"10.1093\/logcom\/exn048","volume":"19","author":"MM Ribeiro","year":"2009","unstructured":"Ribeiro, M.\u00a0M., & Wassermann, R. (2009). Base revision for ontology debugging. Journal of Logic and Computation, 19(5), 721\u2013743.","journal-title":"Journal of Logic and Computation"},{"key":"9178_CR44","unstructured":"Ribeiro, M.\u00a0M., & Wassermann, R. (2010). More about AGM revision in description logics. In Proceedings the ECAI workshop on automated reasoning about context and ontology evolution (ARCOE)."},{"key":"9178_CR45","unstructured":"Rodrigues, O.\u00a0T. (1997). A methodology for iterated information change. Ph.D. thesis, Imperial College, University of London."},{"key":"9178_CR46","doi-asserted-by":"crossref","unstructured":"Rott, H. (2001). Change, choice and inference: A study of belief revision and nonmonotonic reasoning. Oxford University Press.","DOI":"10.1093\/oso\/9780198503064.001.0001"},{"issue":"2","key":"9178_CR47","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0004-3702(94)00009-P","volume":"74","author":"M Schaerf","year":"1995","unstructured":"Schaerf, M., & Cadoli, M. (1995). Tractable reasoning via approximation. Artificial Intelligence, 74(2), 249\u2013310.","journal-title":"Artificial Intelligence"},{"issue":"189\u2013192","key":"9178_CR48","first-page":"113","volume":"48","author":"K Tanaka","year":"2005","unstructured":"Tanaka, K. (2005). The AGM theory and inconsistent belief change. Logique et analyse, 48(189\u2013192), 113\u2013150.","journal-title":"Logique et analyse"},{"key":"9178_CR49","doi-asserted-by":"crossref","unstructured":"Wassermann, R. (2001). On structured belief bases. In H. Rott, & M.-A. Williams (Eds.), Frontiers in belief revision. Kluwer.","DOI":"10.1007\/978-94-015-9817-0_18"},{"issue":"2","key":"9178_CR50","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1023\/A:1022992115613","volume":"73","author":"R Wassermann","year":"2003","unstructured":"Wassermann, R. (2003). Generalized change and the meaning of rationality postulates. Studia Logica, 73(2), 299\u2013319.","journal-title":"Studia Logica"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-011-9178-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-011-9178-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-011-9178-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,4]],"date-time":"2024-04-04T03:53:30Z","timestamp":1712202810000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-011-9178-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,2,16]]},"references-count":50,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,4]]}},"alternative-id":["9178"],"URL":"https:\/\/doi.org\/10.1007\/s10992-011-9178-2","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,2,16]]}}}