{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:48:52Z","timestamp":1740098932678,"version":"3.37.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319644738"},{"type":"electronic","value":"9783319644745"}],"license":[{"start":{"date-parts":[[2017,7,29]],"date-time":"2017-07-29T00:00:00Z","timestamp":1501286400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-64474-5_8","type":"book-chapter","created":{"date-parts":[[2017,7,28]],"date-time":"2017-07-28T10:30:11Z","timestamp":1501237811000},"page":"94-105","source":"Crossref","is-referenced-by-count":4,"title":["Constraint Programming for Constructive Abduction. A Case Study in Diagnostic Model-Based Reasoning"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6573-4246","authenticated-orcid":false,"given":"Antoni","family":"Lig\u0119za","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,7,29]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Cordier, M.O., et al.: AI and automatic control approaches of model-based diagnosis: links and underlying hypotheses. In: Edelmayer, A.M. (ed.) Preprints: SAFEPROCESS 2000, 4th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, pp. 274\u2013279. IFAC (2000)","DOI":"10.1016\/S1474-6670(17)37373-1"},{"key":"8_CR2","unstructured":"Cordier, M.O., et al.: A comparative analysis of AI and control theory approaches to model-based diagnosis. In: Horn, W. (ed.) ECAI 2000. 14th European Conference on Artificial Intelligence, pp. 136\u2013140. IOS Press (2000)"},{"key":"8_CR3","volume-title":"Model-Based Reasoning: Troubleshooting","author":"R Davis","year":"1992","unstructured":"Davis, R., Hamscher, W.: Model-Based Reasoning: Troubleshooting. Morgan Kaufmann Publishers, San Mateo (1992)"},{"key":"8_CR4","volume-title":"Constraint Processing","author":"R Dechter","year":"2003","unstructured":"Dechter, R.: Constraint Processing. Elsevier Science, New York (2003)"},{"key":"8_CR5","unstructured":"Feldman, A., Pietersma, J., van Gemund, A.: A multi-valued sat-based algorithm for faster model-based diagnosis. In: Gonz\u00e1lez, C.A., Escobet, T., Pulido, B. (eds.) DX 2006: 17-th International Workshop on Principles of Diagnosis, pp. 93\u2013100 (2006)"},{"volume-title":"Readings in Model-Based Diagnosis","year":"1992","key":"8_CR6","unstructured":"Hamscher, W., Console, L., de Kleer, J. (eds.): Readings in Model-Based Diagnosis. Morgan Kaufmann, San Mateo (1992)"},{"volume-title":"Fault Diagnosis. Models, Artificial Intelligence, Applications","year":"2004","key":"8_CR7","unstructured":"Korbicz, J., Ko\u015bcielny, J., Kowalczuk, Z., Cholewa, W. (eds.): Fault Diagnosis. Models, Artificial Intelligence, Applications. Springer, Berlin (2004)"},{"key":"8_CR8","unstructured":"Ko\u015bcielny, J.M.: Methodology of Process Diagnosis, Chap.\u00a03, pp. 57\u2013114. In: [7]. Springer (2004)"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Ko\u015bcielny, J.M.: Models in Process Diagnosis, Chap.\u00a02, pp. 29\u201343. In: [7]. Springer (2004)","DOI":"10.1007\/978-3-642-18615-8_2"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Lig\u0119za, A.: Selected Methods of Knowledge Engineering in System Diagnosis, Chap.\u00a016, pp. 633\u2013668. In: [7]. Springer (2004)","DOI":"10.1007\/978-3-642-18615-8_16"},{"key":"8_CR11","unstructured":"Lig\u0119za, A.: A Constraint Satisfaction Framework for Diagnostic Problems, pp. 255\u2013262. Control and Computer Science. Information Technology, Control Theory, Fault and System Diagnosis. Pomeranian Science and Technology Publisher PWNT, Gda\u0144sk (2009)"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Lig\u0119za, A.: Towards constructive abduction: solving abductive problems with constraint programming. In: Proceedings of the International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K, vol. 2-KEOD, pp. 352\u2013357. SCITEPRESS - Science and Technology Publications, Lisbon, Portugal (2015)","DOI":"10.5220\/0005625603520357"},{"key":"8_CR13","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-319-23180-8_26","volume-title":"Advanced and Intelligent Computations in Diagnosis and Control","author":"A Lig\u0119za","year":"2016","unstructured":"Lig\u0119za, A.: Towards knowledge compilation for automated diagnosis: a qualitative, model-based approach with constraint programming. In: Kowalczuk, Z. (ed.) Advanced and Intelligent Computations in Diagnosis and Control. AISC, vol. 386, pp. 355\u2013367. Springer, Cham (2016). doi: 10.1007\/978-3-319-23180-8_26"},{"issue":"4","key":"8_CR14","doi-asserted-by":"crossref","first-page":"465","DOI":"10.2478\/v10006-008-0041-8","volume":"18","author":"A Lig\u0119za","year":"2008","unstructured":"Lig\u0119za, A., Ko\u015bcielny, J.M.: A new approach to multiple fault diagnosis. Combination of diagnostic matrices, graphs, algebraic and rule-based models. The case of two-layer models. Int. J. Appl. Math. Comput. Sci. 18(4), 465\u2013476 (2008)","journal-title":"Int. J. Appl. Math. Comput. Sci."},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Puig, V., Escobet, T., Ocampo-Martinez, C., Tornil-Sin, S.: Robust fault diagnosis of non-linear systems using constraints satisfaction. In: Preprints of the 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, pp. 1138\u20131143 (2009)","DOI":"10.3182\/20090630-4-ES-2003.00187"},{"key":"8_CR16","doi-asserted-by":"crossref","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. Artif. Intell. 32, 57\u201395 (1987)","journal-title":"Artif. Intell."},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Trav\u00e9-Massuy\u00e8s, L.: Bridges between diagnosis theories from control and AI perspectives. In: Korbicz, J., Kowal, M. (eds.) Intelligent Systems in Technical and Medila Diagnosis, pp. 3\u201328. Springer (2014)","DOI":"10.1007\/978-3-642-39881-0_1"}],"container-title":["Advances in Intelligent Systems and Computing","Advanced Solutions in Diagnostics and Fault Tolerant Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-64474-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T15:32:22Z","timestamp":1569943942000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-64474-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,29]]},"ISBN":["9783319644738","9783319644745"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-64474-5_8","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2017,7,29]]}}}