{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:44Z","timestamp":1725490244652},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540735793"},{"type":"electronic","value":"9783540735809"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73580-9_13","type":"book-chapter","created":{"date-parts":[[2007,8,23]],"date-time":"2007-08-23T01:52:00Z","timestamp":1187833920000},"page":"139-154","source":"Crossref","is-referenced-by-count":1,"title":["Approximate Model-Based Diagnosis Using Greedy Stochastic Search"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Feldman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregory","family":"Provan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arjan","family":"van Gemund","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"13_CR1","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence\u00a032(1), 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0004-3702(91)90005-5","volume":"49","author":"T. Bylander","year":"1991","unstructured":"Bylander, T., Allemang, D., Tanner, M., Josephson, J.: The computational complexity of abduction. Artificial Intelligence\u00a049, 25\u201360 (1991)","journal-title":"Artificial Intelligence"},{"key":"13_CR3","unstructured":"Friedrich, G., Gottlob, G., Nejdl, W.: Physical impossibility instead of fault models. In: Proc. AAAI (1990)"},{"key":"13_CR4","unstructured":"Williams, B., Ragno, R.: Conflict-directed A* and its role in model-based embedded systems. Journal of Discrete Applied Mathematics (2004)"},{"key":"13_CR5","volume-title":"IEEE Aerospace Conf.","author":"F. Vatan","year":"2003","unstructured":"Vatan, F., Barrett, A., James, M., Williams, C., Mackey, R.: A novel model-based diagnosis engine: Theory and applications. In: IEEE Aerospace Conf., IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"13_CR6","unstructured":"Freuder, E.C., Dechter, R., Ginsberg, B., Selman, B., Tsang, E.P.K.: Systematic versus stochastic constraint satisfaction. In: Proc. IJCAI 95, vol.\u00a02 (1995)"},{"key":"13_CR7","unstructured":"Kask, K., Dechter, R.: Stochastic local search for Bayesian networks. In: Proc. AISTAT 1999 (1999)"},{"issue":"8","key":"13_CR8","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","volume":"56","author":"J. Kleer de","year":"1992","unstructured":"de Kleer, J., Mackworth, A., Reiter, R.: Characterizing diagnoses and systems. Artificial Intelligence\u00a056(8), 197\u2013222 (1992)","journal-title":"Artificial Intelligence"},{"key":"13_CR9","unstructured":"McAllester, D.: Truth maintenance. In: Proc. AAAI 1990, vol.\u00a02 (1990)"},{"key":"13_CR10","volume-title":"Building Problem Solvers","author":"K. Forbus","year":"1993","unstructured":"Forbus, K., de Kleer, J.: Building Problem Solvers. MIT Press, Cambridge (1993)"},{"key":"13_CR11","unstructured":"Feldman, A., Provan, G., van Gemund, A.: On the performance of Safari algorithms. Technical Report TUD-SERG-2007-011, TU Delft (2007)"},{"key":"13_CR12","unstructured":"Mozeti\u010d, I.: A polynomial-time algorithm for model-based diagnosis. In: Proc. ECAI 1992, pp. 729\u2013733 (1992)"},{"key":"13_CR13","unstructured":"Zabih, R., McAllester, D.: A rearrangement search strategy for determining propositional satisfiability. In: Proc. AAAI 1988, pp. 155\u2013160 (1988)"},{"key":"13_CR14","unstructured":"Feldman, A., van Gemund, A.: A two-step hierarchical algorithm for model-based diagnosis. In: Proc. AAAI 2006 (July 2006)"},{"key":"13_CR15","unstructured":"Feldman, A., Provan, G., van Gemund, A.: Generating manifestations of max-fault min-cardinality diagnoses. In: Proc. DX 2007 (May 2007)"}],"container-title":["Lecture Notes in Computer Science","Abstraction, Reformulation, and Approximation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73580-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,22]],"date-time":"2019-02-22T11:05:43Z","timestamp":1550833543000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73580-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540735793","9783540735809"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73580-9_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}