{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:05:50Z","timestamp":1747548350601},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540006244"},{"type":"electronic","value":"9783540364986"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36498-6_10","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T18:28:14Z","timestamp":1181240894000},"page":"186-203","source":"Crossref","is-referenced-by-count":7,"title":["Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Beierle","sequence":"first","affiliation":[]},{"given":"Gabriele","family":"Kern-Isberner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,3,14]]},"reference":[{"issue":"2","key":"10_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 P. Makinson. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50(2):510\u2013530, 1985. 193, 194","journal-title":"Journal of Symbolic Logic"},{"key":"10_CR2","unstructured":"S. Benferhat, D. Dubois, and H. Prade. Representing default rules in possibilistic logic. In Proceedings 3th International Conference on Principles of Knowledge Representation and Reasoning KR\u201992, pages 673\u2013684, 1992. 188"},{"key":"10_CR3","unstructured":"C. Boutilier and M. Goldszmidt. Revision by conditional beliefs. In Proceedings 11th National Conference on Artificial Intelligence (AAAI\u201993), pages 649\u2013654, Washington, DC., 1993. 193"},{"key":"10_CR4","volume-title":"Festschrift in Honor of J\u00f6rg H. Siekmann","author":"C. Beierle","year":"2002","unstructured":"C. Beierle and G. Kern-Isberner. Footprints of conditionals. In Festschrift in Honor of J\u00f6rg H. Siekmann. Springer-Verlag, Berlin, 2002. (to appear). 191"},{"key":"10_CR5","unstructured":"C. Beierle and G. Kern-Isberner. Knowledge discovery and the inverse representation problem. In Proceedings of the 2002 International Conference on Information and Knowledge Engineering, IKE\u201902, 2002. 197"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1214\/aop\/1176996454","volume":"3","author":"I. Csisz\u2192","year":"1975","unstructured":"I. Csisz\u2192. I-divergence geometry of probability distributions and minimization problems. Ann. Prob., 3:146\u2013158, 1975. 195","journal-title":"Ann. Prob"},{"key":"10_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. 193, 194","journal-title":"Artificial Intelligence"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"D. Dubois and H. Prade. Focusing vs. belief revision: A fundamental distinction when dealing with generic knowledge. In Proceedings First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR\u201997, pages 96\u2013107, Berlin Heidelberg New York, 1997. Springer. 193","DOI":"10.1007\/BFb0035615"},{"key":"10_CR9","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, Mass., 1988. 193"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"J. Gebhardt and R. Kruse. Background and perspectives of possibilistic graphical models. In Proceedings First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR\u201997,, pages 108\u2013121. Springer, 1997. 198","DOI":"10.1007\/BFb0035616"},{"key":"10_CR11","unstructured":"Y. Gurevich. Evolving Algebras 1993: Lipari Guide. In E. B\u00f6rger, editor, Specification and Validation Methods, pages 9\u201336. Oxford University Press, 1995. 189"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/S0004-3702(97)00068-4","volume":"98","author":"G. Kern-Isberner","year":"1998","unstructured":"G. Kern-Isberner. Characterizing the principle of minimum cross-entropy within a conditional-logical framework. Artificial Intelligence, 98:169\u2013208, 1998. 191","journal-title":"Artificial Intelligence"},{"key":"10_CR13","unstructured":"G. Kern-Isberner. Solving the inverse representation problem. In Proceedings 14th European Conference on Artificial Intelligence, ECAI\u20192000, pages 581\u2013585, Berlin, 2000. IOS Press. 197"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"G. Kern-Isberner. Conditionals in nonmonotonic reasoning and belief revision. Springer, Lecture Notes in Artificial Intelligence LNAI 2087, 2001. 189, 193, 194, 195, 196","DOI":"10.1007\/3-540-44600-1"},{"key":"10_CR15","unstructured":"G. Kern-Isberner. Discovering most informative rules from data. In Proceedings International Conference on Intelligent Agents, Web Technologies and Internet Commerce, IAWTIC\u20192001, 2001. 198"},{"key":"10_CR16","unstructured":"H. Katsuno and A.O. Mendelzon. On the difference between updating a knowledge base and revising it. In Proceedings Second International Conference on Principles of Knowledge Representation and Reasoning, KR\u201991, pages 387\u2013394, San Mateo, Ca., 1991. Morgan Kaufmann. 193"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"J.B. Paris. The uncertain reasoner\u2019s companion-A mathematical perspective. Cambridge University Press, 1994. 191, 195","DOI":"10.1017\/CBO9780511526596"},{"key":"10_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0888-613X(92)90022-R","volume":"7","author":"J.B. Paris","year":"1992","unstructured":"J.B. Paris and A. Vencovsk\u00e1. A method for updating that justifies minimum cross entropy. International Journal of Approximate Reasoning, 7:1\u201318, 1992. 195","journal-title":"International Journal of Approximate Reasoning"},{"key":"10_CR19","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/S0888-613X(97)00014-5","volume":"17","author":"J.B. Paris","year":"1997","unstructured":"J.B. Paris and A. Vencovsk\u00e1. In defence of the maximum entropy inference process. International Journal of Approximate Reasoning, 17:77\u2013103, 1997. 191","journal-title":"International Journal of Approximate Reasoning"},{"key":"10_CR20","first-page":"237","volume-title":"Foundations of Mathematics and other logical essays","author":"F.P. Ramsey","year":"1950","unstructured":"F.P. Ramsey. General propositions and causality. In R. B. Braithwaite, editor, Foundations of Mathematics and other logical essays, pages 237\u2013257. Routledge and Kegan Paul, New York, 1950. 193"},{"key":"10_CR21","first-page":"192","volume":"193","author":"W. R\u00f6dder","year":"1997","unstructured":"W. R\u00f6dder and G. Kern-Isberner. L\u00e9a Somb\u00e9 und entropie-optimale Informationsverarbeitung mit der Expertensystem-Shell SPIRIT. OR Spektrum, 193, 1997. 192","journal-title":"OR Spektrum"},{"issue":"8","key":"10_CR22","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1016\/S0306-4379(96)00032-4","volume":"21","author":"W. R\u00f6dder","year":"1997","unstructured":"W. R\u00f6dder and G. Kern-Isberner. Representation and extraction of information by probabilistic logic. Information Systems, 21(8):637\u2013652, 1997. 192","journal-title":"Information Systems"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"J. E. Shore. Relative entropy, probabilistic inference and AI. In L.N. Kanal and J. F. Lemmer, editors, Uncertainty in Artificial Intelligence, pages 211\u2013215. North-Holland, Amsterdam, 1986. 195","DOI":"10.1016\/B978-0-444-70058-2.50020-6"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"W. Spohn. Ordinal conditional functions: a dynamic theory of epistemic states. In W. L. Harper and B. Skyrms, editors, Causation in Decision, Belief Change, and Statistics, II, pages 105\u2013134. Kluwer Academic Publishers, 1988. 188","DOI":"10.1007\/978-94-009-2865-7_6"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"R. St\u00e4rk, J. Schmid, and E. B\u00f6rger. Java and the Java Virtual Machine: Definition, Verification, Validation. Springer-Verlag, 2001. 189","DOI":"10.1007\/978-3-642-59495-3"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36498-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T07:48:43Z","timestamp":1683877723000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36498-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540006244","9783540364986"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-36498-6_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}