{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T13:14:43Z","timestamp":1725974083540},"publisher-location":"Cham","reference-count":57,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319635156"},{"type":"electronic","value":"9783319635163"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-63516-3_14","type":"book-chapter","created":{"date-parts":[[2018,4,5]],"date-time":"2018-04-05T03:43:39Z","timestamp":1522899819000},"page":"547-580","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Parallel Model-Based Diagnosis"],"prefix":"10.1007","author":[{"given":"Kostyantyn","family":"Shchekotykhin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dietmar","family":"Jannach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Schmitz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,4,6]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"de Kleer, J., Mackworth, A.K., Reiter, R.: Characterizing Diagnoses and Systems. Artificial Intelligence 56(2-3) (1992) 197\u2013222","key":"14_CR1","DOI":"10.1016\/0004-3702(92)90027-U"},{"doi-asserted-by":"crossref","unstructured":"de Kleer, J., Williams, B.C.: Diagnosing Multiple Faults. Artificial Intelligence 32(1) (April 1987) 97\u2013130","key":"14_CR2","DOI":"10.1016\/0004-3702(87)90063-4"},{"unstructured":"Reiter, R.: A Theory of Diagnosis from First Principles. Artificial Intelligence 32(1) (1987) 57\u201395","key":"14_CR3"},{"unstructured":"Felfernig, A., Friedrich, G., Jannach, D., Stumptner, M.: Consistency-based Diagnosis of Configuration Knowledge Bases. Artificial Intelligence 152(2) (2004) 213\u2013234","key":"14_CR4"},{"unstructured":"Mateis, C., Stumptner, M., Wieland, D., Wotawa, F.: Model-Based Debugging of Java Programs. In: AADEBUG\u201900. (2000)","key":"14_CR5"},{"unstructured":"Jannach, D., Schmitz, T.: Model-based Diagnosis of Spreadsheet Programs: A Constraint-based Debugging Approach. Automated Software Engineering 23(1) (2016) 105\u2013144","key":"14_CR6"},{"unstructured":"Wotawa, F.: Debugging Hardware Designs Using a Value-Based Model. Applied Intelligence 16(1) (2001) 71\u201392","key":"14_CR7"},{"unstructured":"Felfernig, A., Friedrich, G., Isak, K., Shchekotykhin, K.M., Teppan, E., Jannach, D.: Automated Debugging of Recommender User Interface Descriptions. Applied Intelligence 31(1) (2009) 1\u201314","key":"14_CR8"},{"unstructured":"Console, L., Friedrich, G., Dupr\u00e9, D.T.: Model-Based Diagnosis Meets Error Diagnosis in Logic Programs. In: IJCAI\u201993. (1993) 1494\u20131501","key":"14_CR9"},{"doi-asserted-by":"crossref","unstructured":"Friedrich, G., Shchekotykhin, K.M.: A General Diagnosis Method for Ontologies. In: ISWC\u201905. (2005) 232\u2013246","key":"14_CR10","DOI":"10.1007\/11574620_19"},{"unstructured":"Stumptner, M., Wotawa, F.: Debugging Functional Programs. In: IJCAI\u201999. (1999) 1074\u20131079","key":"14_CR11"},{"unstructured":"Friedrich, G., Stumptner, M., Wotawa, F.: Model-Based Diagnosis of Hardware Designs. Artificial Intelligence 111(1-2) (1999) 3\u201339","key":"14_CR12"},{"unstructured":"White, J., Benavides, D., Schmidt, D.C., Trinidad, P., Dougherty, B., Cort\u00e9s, A.R.: Automated Diagnosis of Feature Model Configurations. Journal of Systems and Software 83(7) (2010) 1094\u20131107","key":"14_CR13"},{"unstructured":"Friedrich, G., Fugini, M., Mussi, E., Pernici, B., Tagni, G.: Exception Handling for Repair in Service-Based Processes. IEEE Transactions on Software Engineering 36(2) (2010) 198\u2013215","key":"14_CR14"},{"unstructured":"Junker, U.: QUICKXPLAIN: Preferred Explanations and Relaxations for Over-Constrained Problems. In: AAAI\u201904. (2004) 167\u2013172","key":"14_CR15"},{"doi-asserted-by":"crossref","unstructured":"Marques-Silva, J., Janota, M., Belov, A.: Minimal Sets over Monotone Predicates in Boolean Formulae. In: Computer Aided Verification. (2013) 592\u2013607","key":"14_CR16","DOI":"10.1007\/978-3-642-39799-8_39"},{"unstructured":"Shchekotykhin, K., Jannach, D., Schmitz, T.: MergeXplain: Fast Computation of Multiple Conflicts for Diagnosis. In: IJCAI\u201915. (2015) 3221\u20133228","key":"14_CR17"},{"unstructured":"Greiner, R., Smith, B.,Wilkerson, R.: A Correction to the Algorithm in Reiter\u2019s Theory of Diagnosis. Artificial Intelligence 41(1) (1989) 79\u201388","key":"14_CR18"},{"unstructured":"Jannach, D., Schmitz, T., Shchekotykhin, K.: Parallel Model-Based Diagnosis On Multi-Core Computers. Journal of Artificial Intelligence Research (JAIR) 55 (2016) 835\u2013887","key":"14_CR19"},{"unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman & Co. (1979)","key":"14_CR20"},{"unstructured":"Eiter, T., Gottlob, G.: The Complexity of Logic-Based Abduction. Journal of the ACM 42(1) (1995) 3\u201342","key":"14_CR21"},{"unstructured":"de Kleer, J.: Hitting Set Algorithms for Model-based Diagnosis. In: DX\u201911. (2011) 100\u2013105","key":"14_CR22"},{"unstructured":"Stern, R., Kalech, M., Feldman, A., Provan, G.: Exploring the Duality in Conflict-Directed Model-Based Diagnosis. In: AAAI\u201912. (2012) 828\u2013834","key":"14_CR23"},{"unstructured":"Marques-Silva, J., Janota, M., Ignatiev, A., Morgado, A.: Efficient Model Based Diagnosis with Maximum Satisfiability. In: IJCAI\u201915. (2015) 1966\u20131972","key":"14_CR24"},{"doi-asserted-by":"crossref","unstructured":"de Kleer, J., Williams, B.C.: Diagnosing Multiple Faults. Artif. Intell. 32(1) (apr 1987) 97\u2013130","key":"14_CR25","DOI":"10.1016\/0004-3702(87)90063-4"},{"unstructured":"Williams, B.C., Ragno, R.J.: Conflict-directed A* and its Role in Model-based Embedded Eystems. Discrete Applied Mathematics 155(12) (2007) 1562\u20131595","key":"14_CR26"},{"unstructured":"Darwiche, A.: Model-Based Diagnosis using Structured System Descriptions. Journal of Artificial Intelligence Research 8 (1998) 165\u2013222","key":"14_CR27"},{"doi-asserted-by":"crossref","unstructured":"Siddiqi, S., Huang, J.: Sequential Diagnosis by Abstraction. Journal of Artificial Intelligence Research 41 (2011) 329\u2013365","key":"14_CR28","DOI":"10.1613\/jair.3296"},{"doi-asserted-by":"crossref","unstructured":"Darwiche, A.: A Differential Approach to Inference in Bayesian Networks. Journal of the ACM 50(3) (May 2003) 280\u2013305","key":"14_CR29","DOI":"10.1145\/765568.765570"},{"unstructured":"Pill, I., Quaritsch, T.: Optimizations for the Boolean Approach to Computing Minimal Hitting Sets. In: ECAI\u201912. (2012) 648\u2013653","key":"14_CR30"},{"unstructured":"Feldman, A., Provan, G., de Kleer, J., Robert, S., van Gemund, A.: Solving Model-Based Diagnosis Problems with Max-SAT Solvers and Vice Versa. In: DX\u201910. (2010) 185\u2013192","key":"14_CR31"},{"unstructured":"Metodi, A., Stern, R., Kalech, M., Codish, M.: A Novel SAT-Based Approach to Model Based Diagnosis. Journal of Artificial Intelligence Research 51 (2014) 377\u2013411","key":"14_CR32"},{"doi-asserted-by":"crossref","unstructured":"Mencia, C., Marques-Silva, J.: Efficient Relaxations of Over-constrained CSPs. In: ICTAI\u201914. (2014) 725\u2013732","key":"14_CR33","DOI":"10.1109\/ICTAI.2014.113"},{"unstructured":"Menc\u00eda, C., Previti, A., Marques-Silva, J.: Literal-Based MCS Extraction. In: IJCAI\u201915. (2015) 1973\u20131979","key":"14_CR34"},{"unstructured":"Nica, I., Pill, I., Quaritsch, T.,Wotawa, F.: The Route to Success: A Performance Comparison of Diagnosis Algorithms. In: IJCAI\u201913. (2013) 1039\u20131045","key":"14_CR35"},{"unstructured":"Shchekotykhin, K., Friedrich, G., Fleiss, P., Rodler, P.: Interactive Ontology Debugging: Two Query Strategies for Efficient Fault Localization. Journal of Web Semantics 12\u201313 (2012) 88\u2013103","key":"14_CR36"},{"unstructured":"Feldman, A., Provan, G., van Gemund, A.: Approximate Model-Based Diagnosis Using Greedy Stochastic Search. Journal of Artifcial Intelligence Research 38 (2010) 371\u2013413","key":"14_CR37"},{"unstructured":"Li, L., Yunfei, J.: Computing Minimal Hitting Sets with Genetic Algorithm. In: DX\u201902. (2002) 1\u20134","key":"14_CR38"},{"doi-asserted-by":"crossref","unstructured":"Ram, D.J., Sreenivas, T.H., Subramaniam, K.G.: Parallel Simulated Annealing Algorithms. Journal of Parallel and Distributed Computing 37(2) (1996) 207 \u2013 212","key":"14_CR39","DOI":"10.1006\/jpdc.1996.0121"},{"unstructured":"Burns, E., Lemons, S., Ruml, W., Zhou, R.: Best-First Heuristic Search for Multicore Machines. Journal of Artificial Intelligence Research 39 (2010) 689\u2013743","key":"14_CR40"},{"unstructured":"Ferguson, C., Korf, R.E.: Distributed Tree Search and its Application to alphabeta Pruning. In: AAAI\u201988. (1988) 128\u2013132","key":"14_CR41"},{"unstructured":"Br\u00fcngger, A., Marzetta, A., Fukuda, K., Nievergelt, J.: The Parallel Search Bench ZRAM and its Applications. Annals of Operations Research 90(0) (1999) 45\u201363","key":"14_CR42"},{"doi-asserted-by":"crossref","unstructured":"Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding All Justifications of OWL DL Entailments. In: ISWC 2007 + ASWC 2007. (2007) 267\u2013280","key":"14_CR43","DOI":"10.1007\/978-3-540-76298-0_20"},{"unstructured":"Previti, A., Ignatiev, A., Morgado, A., Marques-Silva, J.: Prime Compilation of Non-Clausal Formulae. In: IJCAI\u201915. (2015) 1980\u20131987","key":"14_CR44"},{"doi-asserted-by":"crossref","unstructured":"Powley, C., Korf, R.E.: Single-agent Parallel Window Search. IEEE Transactions on Pattern Analysis and Machine Intelligence 13(5) (1991) 466\u2013477","key":"14_CR45","DOI":"10.1109\/34.134045"},{"doi-asserted-by":"crossref","unstructured":"Anglano, C., Portinale, L.: Parallel Model-based Diagnosis using PVM. In: EuroPVM\u201996. (1996) 331\u2013334","key":"14_CR46","DOI":"10.1007\/3540617795_45"},{"doi-asserted-by":"crossref","unstructured":"Wotawa, F.: A Variant of Reiter\u2019s Hitting-set Algorithm. Information Processing Letters 79(1) (2001) 45\u201351","key":"14_CR47","DOI":"10.1016\/S0020-0190(00)00166-6"},{"doi-asserted-by":"crossref","unstructured":"Phillips, M., Likhachev, M., Koenig, S.: PA*SE: Parallel A* for Slow Expansions. In: ICAPS\u201914. (2014)","key":"14_CR48","DOI":"10.1609\/icaps.v24i1.13652"},{"unstructured":"Korf, R.E., Schultze, P.: Large-scale Parallel Breadth-first Search. In: AAAI\u201905. (2005) 1380\u20131385","key":"14_CR49"},{"unstructured":"Shchekotykhin, K.M., Friedrich, G., Rodler, P., Fleiss, P.: Sequential Diagnosis of High Cardinality Faults in Knowledge-Bases by Direct Diagnosis Generation. In: ECAI\u201914. (2014) 813\u2013818","key":"14_CR50"},{"unstructured":"Kurtoglu, T., Feldman, A.: Third International Diagnostic Competition (DXC 11). https:\/\/sites.google.com\/site\/dxcompetition2011 (2011) Accessed: 2016-03-15.","key":"14_CR51"},{"unstructured":"Prud\u2019homme, C., Fages, J.G., Lorca, X.: Choco Documentation. (2015) http:\/\/www.choco-solver.org .","key":"14_CR52"},{"doi-asserted-by":"crossref","unstructured":"Cardoso, N., Abreu, R.: A Distributed Approach to Diagnosis Candidate Generation. In: EPIA\u201913. (2013) 175\u2013186","key":"14_CR53","DOI":"10.1007\/978-3-642-40669-0_16"},{"unstructured":"Abreu, R., van Gemund, A.J.C.: A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis. In: SARA\u201909. (2009) 2\u20139","key":"14_CR54"},{"unstructured":"Dean, J., Ghemawat, S.: MapReduce: Simplified Data Processing on Large Clusters. Communications of the ACM 51(1) (2008) 107\u2013113","key":"14_CR55"},{"unstructured":"Zhao, X., Ouyang, D.: Deriving All Minimal Hitting Sets Based on Join Relation. IEEE Transactions on Systems, Man, and Cybernetics: Systems 45(7) (2015) 1063\u20131076","key":"14_CR56"},{"unstructured":"Lin, L., Jiang, Y.: The computation of Hitting Sets: Review and New Algorithms. Information Processing Letters 86(4) (2003) 177\u2013184","key":"14_CR57"}],"container-title":["Handbook of Parallel Constraint Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-63516-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,1]],"date-time":"2023-09-01T22:58:27Z","timestamp":1693609107000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-63516-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319635156","9783319635163"],"references-count":57,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-63516-3_14","relation":{},"subject":[],"published":{"date-parts":[[2018]]}}}