{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,19]],"date-time":"2024-09-19T15:10:52Z","timestamp":1726758652282},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540769262"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-76928-6_52","type":"book-chapter","created":{"date-parts":[[2007,11,22]],"date-time":"2007-11-22T16:05:04Z","timestamp":1195747504000},"page":"507-518","source":"Crossref","is-referenced-by-count":9,"title":["Implementing Iterated Belief Change Via Prime Implicates"],"prefix":"10.1007","author":[{"given":"Zhi Qiang","family":"Zhuang","sequence":"first","affiliation":[]},{"given":"Maurice","family":"Pagnucco","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Meyer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"52_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C.E. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. of Symbolic Logic\u00a050, 510\u2013530 (1985)","journal-title":"J. of Symbolic Logic"},{"key":"52_CR2","doi-asserted-by":"crossref","unstructured":"Dixon, S.E., Wobcke, W.: The implementation of a first-order logic AGM belief revision system. In: Proc. of the Fifth IEEE Int. Conf. on Tools in Art. Int. (1993)","DOI":"10.1109\/TAI.1993.633934"},{"key":"52_CR3","volume-title":"Knowledge in Flux: Modeling the Dynamics of Epistemic States","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P.: Knowledge in Flux: Modeling the Dynamics of Epistemic States. Bradford Books, MIT Press, Cambridge Massachusetts (1988)"},{"key":"52_CR4","unstructured":"G\u00e4rdenfors, P., Makinson, D.: Revisions of knowledge systems using epistemic entrenchment. In: Proc. of 2nd Conf. on Th. Aspect of Reas. About Knowl., pp. 83\u201396 (1988)"},{"key":"52_CR5","doi-asserted-by":"crossref","unstructured":"G\u00e4rdenfors, P., Rott, H.: Belief revision. In: Handbook of Logic in AI and Logic Programming vol. IV: Epistemic and Temporal Reasoning, OUP, pp. 35\u2013132 (1995)","DOI":"10.1093\/oso\/9780198537915.003.0002"},{"issue":"1","key":"52_CR6","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1023\/A:1014610426691","volume":"70","author":"N. Gorogiannis","year":"2002","unstructured":"Gorogiannis, N., Ryan, M.D.: Implementation of belief change operators using BDDs. Studia Logica\u00a070(1), 131\u2013156 (2002)","journal-title":"Studia Logica"},{"key":"52_CR7","doi-asserted-by":"crossref","unstructured":"Jackson, P.: Computing prime implicates incrementally. In: Proceedings of the Eleventh Conference on Automated Deduction (June 1992)","DOI":"10.1007\/3-540-55602-8_170"},{"key":"52_CR8","unstructured":"Kean, A.: A formal characterisation of a domain independent abductive reasoning system. Technical Report HKUST-CS93-4, Dept. of Computer Science, HKUST (1993)"},{"key":"52_CR9","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/S0747-7171(08)80029-6","volume":"9","author":"A. Kean","year":"1990","unstructured":"Kean, A., Tsiknis, G.: An incremental method for generating prime implicants\/implicates. Journal of Symbolic Computation\u00a09, 185\u2013206 (1990)","journal-title":"Journal of Symbolic Computation"},{"key":"52_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/11941439_13","volume-title":"AI 2006: Advances in Artificial Intelligence","author":"M. Pagnucco","year":"2006","unstructured":"Pagnucco, M.: Knowledge compilation for belief change. In: Sattar, A., Kang, B.-H. (eds.) AI 2006. LNCS (LNAI), vol.\u00a04304, pp. 90\u201399. Springer, Heidelberg (2006)"},{"key":"52_CR11","unstructured":"Reiter, R., de Kleer, J.: Foundations of assumption-based truth maintenance systems: Preliminary report. In: Proc. of the Nat. Conf. in AI, pp. 183\u2013188 (1987)"},{"key":"52_CR12","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF00203386","volume":"1","author":"H. Rott","year":"1992","unstructured":"Rott, H.: Preferential belief change using generalized epistemic entrenchment. Journal of Logic, Language and Information\u00a01, 45\u201378 (1992)","journal-title":"Journal of Logic, Language and Information"},{"issue":"1-2","key":"52_CR13","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0004-3702(95)00053-4","volume":"81","author":"R. Schrag","year":"1996","unstructured":"Schrag, R., Crawford, J.M.: Implicates and prime implicates in random 3-SAT. Artificial Intelligence\u00a081(1-2), 199\u2013222 (1996)","journal-title":"Artificial Intelligence"},{"key":"52_CR14","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/978-94-009-2865-7_6","volume-title":"Causation in Decision, Belief Change, and Statistics, II","author":"W. Spohn","year":"1988","unstructured":"Spohn, W.: Ordinal conditional functions: A dynamic theory of epistemic states. In: Causation in Decision, Belief Change, and Statistics, II, pp. 105\u2013134. Kluwer, Dordrecht (1988)"},{"key":"52_CR15","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1109\/PGEC.1967.264647","volume":"4","author":"P. Tison","year":"1967","unstructured":"Tison, P.: Generalization of consensus theory and application to the minimization of boolean functions. IEEE Trans. on Elec. Computers\u00a04, 446\u2013456 (1967)","journal-title":"IEEE Trans. on Elec. Computers"},{"key":"52_CR16","unstructured":"Williams, M.-A.: Iterated theory change: A computational model. In: Proc. of the Fourteenth International Joint Conference on Artificial Intelligence, pp. 1541\u20131550 (1995)"}],"container-title":["Lecture Notes in Computer Science","AI 2007: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76928-6_52.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,19]],"date-time":"2024-02-19T13:51:06Z","timestamp":1708350666000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76928-6_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540769262"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76928-6_52","relation":{},"subject":[]}}