{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T21:25:56Z","timestamp":1783113956590,"version":"3.54.6"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540278726","type":"print"},{"value":"9783540318828","type":"electronic"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11527862_13","type":"book-chapter","created":{"date-parts":[[2010,7,20]],"date-time":"2010-07-20T15:48:01Z","timestamp":1279640881000},"page":"182-193","source":"Crossref","is-referenced-by-count":1,"title":["Approximate Model-Based Diagnosis Using Preference-Based Compilation"],"prefix":"10.1007","author":[{"given":"Gregory","family":"Provan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"13_CR1","first-page":"127","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"de Kleer, J.: An Assumption-based TMS. AI Journal\u00a028, 127\u2013162 (1986)","journal-title":"AI Journal"},{"key":"13_CR2","first-page":"627","volume-title":"Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI)","author":"A. Darwiche","year":"2002","unstructured":"Darwiche, A.: A compiler for deterministic, decomposable negation normal form. In: Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI), Menlo Park, California, pp. 627\u2013634. AAAI Press, Menlo Park (2002)"},{"issue":"5","key":"13_CR3","doi-asserted-by":"publisher","first-page":"690","DOI":"10.1109\/69.542024","volume":"8","author":"L. Console","year":"1996","unstructured":"Console, L., Portinale, L., Dupre, D.T.: Using Compiled Knowledge to Guide and Focus Abductive Diagnosis. IEEE Trans. on Knowledge and Data Engineering\u00a08(5), 690\u2013706 (1996)","journal-title":"IEEE Trans. on Knowledge and Data Engineering"},{"key":"13_CR4","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1613\/jair.462","volume":"8","author":"A. Darwiche","year":"1998","unstructured":"Darwiche, A.: Model-based diagnosis using structured system descriptions. Journal of Artificial Intelligence Research\u00a08, 165\u2013222 (1998)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","first-page":"29","volume-title":"Mathematical Foundations of Computer Science 1997","author":"H. Bodlander","year":"1997","unstructured":"Bodlander, H.: Treewidth: Algorithmic techniques and results. In: Privara, I., Ru\u017ei\u010dka, P. (eds.) MFCS 1997. LNCS, vol.\u00a01295, pp. 29\u201336. Springer, Heidelberg (1997)"},{"key":"13_CR6","unstructured":"de Kleer, J.: Focusing on Probable Diagnoses. In: Proc. AAAI, pp. 842\u2013848 (1991)"},{"key":"13_CR7","unstructured":"Sachenbacher, M., Williams, B.: Diagnosis as semiring-based constraint optimization. In: Proceedings of ECAI 2004, Valencia, Spain (2004)"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint logic programming: syntax and semantics. ACM TOPLAS\u00a023 (2002)","DOI":"10.1145\/383721.383725"},{"key":"13_CR9","volume-title":"Logic Synthesis and Verification","author":"R.E. Bryant","year":"2001","unstructured":"Bryant, R.E., Meinel, C.: Ordered binary decision diagrams. In: Hassoun, S., Sasao, T. (eds.) Logic Synthesis and Verification. Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"13_CR10","unstructured":"Pargamin, B.: Extending Cluster Tree Compilation with non-Boolean Variables in Product Configuration. In: IJCAI (2003)"},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1145\/226643.226644","volume":"43","author":"B. Selman","year":"1996","unstructured":"Selman, B., Kautz, H.: Knowledge compilation and theory approximation. Journal of the ACM\u00a043, 193\u2013224 (1996)","journal-title":"Journal of the ACM"},{"key":"13_CR12","unstructured":"del Val, A.: An analysis of approximate knowledge compilation. In: Proc. IJCAI, pp. 830\u2013836 (1995)"},{"key":"13_CR13","unstructured":"Darwiche, A., Marquis, P.: Compilation of weighted propositional knowledge bases. In: Proceedings of the Workshop on Nonmonotonic Reasoning, Toulouse, France (2002)"},{"key":"13_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","author":"W. Spohn","year":"1988","unstructured":"Spohn, W.: Ordinal conditional functions: A dynamic theory of epistemic states. In: Harper, W.L., Skyrms, B. (eds.) Causation in Decision, Belief Change, and Statistics, pp. 105\u2013134. Reidel, Dordrecht (1988)"}],"container-title":["Lecture Notes in Computer Science","Abstraction, Reformulation and Approximation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11527862_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T16:22:29Z","timestamp":1558282949000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11527862_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540278726","9783540318828"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11527862_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}