{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:29:50Z","timestamp":1725467390075},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540653059"},{"type":"electronic","value":"9783540494492"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055504","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T01:43:53Z","timestamp":1153964633000},"page":"317-339","source":"Crossref","is-referenced-by-count":5,"title":["Analysing rational properties of change operators based on forward chaining"],"prefix":"10.1007","author":[{"given":"Hassan","family":"Bezzazi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"St\u00e9phane","family":"Janot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00e9bastien","family":"Konieczny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ram\u00f3n Pino","family":"P\u00e9rez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C.E. Alchourr\u00f3n","year":"1985","unstructured":"C.E. Alchourr\u00f3n, P. G\u00e4rdenfors, and D. Makinson. On the logic of theory change: partial meet contraction and revision functions. Journal of Symbolic Logic, 50:510\u2013530, 1985.","journal-title":"Journal of Symbolic Logic"},{"key":"11_CR2","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1111\/j.1467-8640.1992.tb00337.x","volume":"80","author":"C. Baral","year":"1992","unstructured":"C. Baral, S. Kraus, J. Minker and V.S. Subrahmanian. Combining knowledge bases consisting of first order theories. Computational Intelligence, 80:45\u201371, 1992.","journal-title":"Computational Intelligence"},{"key":"11_CR3","first-page":"160","volume-title":"Rational transitivity and its models","author":"H. Bezzazi","year":"1996","unstructured":"H. Bezzazi and R. Pino P\u00e9rez. Rational transitivity and its models. In Proc. of the Twenty-Sixth International Symposium on Multiple-Valued Logic, Santiago de Compostela, Spain, May, 1996, pp. 160\u2013165, IEEE Computer Society Press."},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1093\/logcom\/7.5.605","volume":"7","author":"H. Bezzazi","year":"1997","unstructured":"H. Bezzazi, D. Makinson, and R. Pino P\u00e9rez. Beyond rational monotony: some strong non-horn rules for nonmonotonic inference relations. Journal of Logic and Computation, 7:605\u2013631, 1997.","journal-title":"Journal of Logic and Computation"},{"key":"11_CR5","unstructured":"M. Dalal. Investigations into a theory of knowledge base revision: Preliminary report. In Proc. of the Seventh National Conference on Artificial Intelligence (AAAI'88), pp. 475\u2013479, 1988."},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"C. Damasio, W. Nedjdl, and L. M. Pereira. Revise: An extended logic programming system for revising knowledge bases. In Proc. of the 4th International Conference on Principles of Knowledge Representation and Reasoning, pp. 607\u2013618, Morgan Kaufmann, 1994.","DOI":"10.1016\/B978-1-4832-1452-8.50151-2"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(96)00038-0","volume":"89","author":"A. Darwiche","year":"1997","unstructured":"A. Darwiche, and J. Pearl. On the logic of iterated belief revision. Artificial Intelligence, 89:1\u201329, 1997.","journal-title":"Artificial Intelligence"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"T. Eiter and G. Gottlob. On the complexity of propositional knowledge base revision, updates and counterfactuals. In Proc. of 11th Symposium on Principles of Database Systems, pp. 261\u2013273, ACM Press, 1992.","DOI":"10.1145\/137097.137886"},{"key":"11_CR9","first-page":"1","volume":"3","author":"R. Fagin","year":"1986","unstructured":"R. Fagin, G. Kuper, J.D. Ullman, and M.Y. Vardi. Updating logical databases. Advances in Computing Research, 3:1\u201318, 1986.","journal-title":"Advances in Computing Research"},{"key":"11_CR10","unstructured":"M. Freund and D. Lehmann. Belief revision and rational inference. Technical Report 94-16, Institute of Computer Science, The Hebrew University of Jerusalem. 1994."},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/BF00284974","volume":"20","author":"A. Fuhrmann","year":"1991","unstructured":"A. Fuhrmann. Theory contraction through base contraction. Journal of Philosophical Logic, 20:175\u2013203, 1991.","journal-title":"Journal of Philosophical Logic"},{"key":"11_CR12","volume-title":"Knowledge in Flux: modeling the dynamics of epistemic states","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"P. G\u00e4rdenfors. Knowledge in Flux: modeling the dynamics of epistemic states. MIT press, Cambridge, MA, 1988."},{"key":"11_CR13","unstructured":"P. G\u00e4rdenfors and D. Makinson. Relations between the logic of theory change and nonmonotonic logic. In The Logic of Theory Change, Workshop, Konstanz, FRG, Octuber 1989, pages 185\u2013205. Springer-Verlag, 1989. Lecture Notes in Artificial Intelligence 465."},{"key":"11_CR14","doi-asserted-by":"publisher","first-page":"602","DOI":"10.2307\/2275221","volume":"58","author":"S.O. Hansson","year":"1993","unstructured":"S.O. Hansson. Theory contraction and base contraction unified. Journal of Symbolic Logic, 58:602\u2013625, 1993.","journal-title":"Journal of Symbolic Logic"},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1007\/BF01054039","volume":"22","author":"S.O. Hansson","year":"1993","unstructured":"S.O. Hansson. Reversing the Levi identity. Journal of Philosophical Logic, 22:637\u2013669, 1993.","journal-title":"Journal of Philosophical Logic"},{"key":"11_CR16","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1991","unstructured":"H. Katsuno and A.O. Mendelzon. Propositional knowledge base revision and minimal change. Artificial Intelligence, 52:263\u2013294, 1991.","journal-title":"Artificial Intelligence"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"H. Katsuno and A.O. Mendelzon. On the difference between updating a knowledge database and revising it. In Belief Revision, P. G\u00e4rdenfors Ed. Cambrigde tracts in theoretical computer science 29. Cambridge University Press, 1992.","DOI":"10.1017\/CBO9780511526664.007"},{"key":"11_CR18","unstructured":"D. Lehmann. Belief revision, revised. In Proceedings IJCAI'95, 1995, pages 1534\u20131540."},{"key":"11_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","volume":"55","author":"D. Lehmann","year":"1992","unstructured":"D. Lehmann and M. Magidor. What does a conditional knowledge base entail? Artificial Intelligence, 55:1\u201360, 1992.","journal-title":"Artificial Intelligence"},{"key":"11_CR20","first-page":"276","volume-title":"Lecture Notes in Computer Science, Vol. 1186","author":"Paolo Liberatore","year":"1997","unstructured":"Paolo Liberatore. The complexity of iterated belief revision. In Proceedings of the Sixth International Conference on Database Theory-ICDT'97, Delphi, Greece, January 8\u201310, 1997. Lecture Notes in Computer Science, Vol. 1186, Springer, 1997, pages 276\u2013290."},{"key":"11_CR21","first-page":"368","volume-title":"Lecture Notes in Computer Science, Vol. 893","author":"V. Marek","year":"1995","unstructured":"V. Marek and M. Truszczynski. Revision programming, Database Updates and Integrity Constraints. In Proc. of 5th International Conference of Database Theory, Prague, Czech Republic, January 11\u201313, 1995. Lecture Notes in Computer Science, Vol. 893, Springer, 1995, pages 368\u2013382."},{"key":"11_CR22","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/BF01049408","volume":"23","author":"A.C. Nayak","year":"1994","unstructured":"A.C. Nayak. Foundational Belief Change. Journal of Philosophical Logic, 23:495\u2013533, 1994.","journal-title":"Journal of Philosophical Logic"},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"B. Nebel. Syntax-Based Approches to Belief Revision. In Belief Revision, P. G\u00e4rdenfors Ed. Cambrigde tracts in theoretical computer science 29. Cambridge University Press, 1992, pages 52\u201388","DOI":"10.1017\/CBO9780511526664.003"},{"key":"11_CR24","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32:57\u201395, 1987.","journal-title":"Artificial Intelligence"},{"key":"11_CR25","unstructured":"K. Satoh. Nonmonotonic reasoning by minimal belief revision. In Proceedings International Conference on Fifth Generation Computer Systems, Tokio, 1988, pages 455\u2013462."},{"key":"11_CR26","doi-asserted-by":"crossref","first-page":"865","DOI":"10.1093\/bjps\/45.3.865","volume":"45","author":"N. Tennant","year":"1994","unstructured":"N. Tennant. Changing the Theory of Theory Change: Towards a Computational Approach. British Journal for Philosophy of Science, 45:865\u2013897, 1994.","journal-title":"British Journal for Philosophy of Science"},{"key":"11_CR27","unstructured":"A. Weber. Updating propositional formulas. In Proceedings First Conference on Database Systems, 1986, pages 487\u2013500."},{"key":"11_CR28","unstructured":"M. Winslett. Reasoning about action using a possible models approach. In Proceedings AAAI'88, 1988, pages 89\u201393."}],"container-title":["Lecture Notes in Computer Science","Transactions and Change in Logic Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055504","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,17]],"date-time":"2020-04-17T09:55:00Z","timestamp":1587117300000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055504"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540653059","9783540494492"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/bfb0055504","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}