{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:55:35Z","timestamp":1725551735616},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540298960"},{"type":"electronic","value":"9783540316534"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11579427_110","type":"book-chapter","created":{"date-parts":[[2005,11,18]],"date-time":"2005-11-18T08:43:01Z","timestamp":1132303381000},"page":"1082-1092","source":"Crossref","is-referenced-by-count":1,"title":["An Integration of FDI and DX Techniques for Determining the Minimal Diagnosis in an Automatic Way"],"prefix":"10.1007","author":[{"given":"Rafael","family":"Ceballos","sequence":"first","affiliation":[]},{"given":"Sergio","family":"Pozo","sequence":"additional","affiliation":[]},{"given":"Carmelo","family":"Del Valle","sequence":"additional","affiliation":[]},{"given":"Rafael M.","family":"Gasca","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"110_CR1","unstructured":"Cordier, M., L\u00e9vy, F., Montmain, J., Trav\u00e9-Massuy\u00e9s, L., Dumas, M., Staroswiecki, M., Dague, P.: A comparative analysis of AI and control theory approaches to model-based diagnosis. In: 14th European Conference on Artificial Intelligence, pp. 136\u2013140 (2000)"},{"key":"110_CR2","doi-asserted-by":"crossref","unstructured":"Ceballos, R., G\u00f3mez L\u00f3pez, M.T., Gasca, R., Pozo, S.: Determination of Possible Minimal Conflict Sets using Components Clusters and Grobner Bases. In: DX 2004, 15th International Workshop on Principles of Diagnosis, Carcassonne, France, pp. 21\u201326 (2004)","DOI":"10.1007\/978-3-540-30498-2_94"},{"issue":"1","key":"110_CR3","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\u201396 (1987)","journal-title":"Artificial Intelligence"},{"key":"110_CR4","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","volume":"2-3","author":"J. Kleer de","year":"1992","unstructured":"de Kleer, J., Mackworth, A., Reiter, R.: Characterizing diagnoses and systems. Artificial Intelligence\u00a02-3, 197\u2013222 (1992)","journal-title":"Artificial Intelligence"},{"key":"110_CR5","doi-asserted-by":"crossref","unstructured":"Staroswiecki, M., Declerk, P.: Analytical redundancy in non linear interconnected systems by means of structural analysis. In: IFAC Advanced Information Processing in Automatic Control (AIPAC 1989), Nacy, France, pp. 51\u201355 (1989)","DOI":"10.1016\/S1474-6670(17)54347-5"},{"key":"110_CR6","doi-asserted-by":"crossref","unstructured":"Cassar, J., Staroswiecki, M.: A structural approach for the design of failure detection and identification systems. In: IFAC-IFIP-IMACS Conf. on Control of Industrial Processes, Belfort, France (1997)","DOI":"10.1016\/S1474-6670(17)43469-0"},{"key":"110_CR7","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"2","author":"J. Kleer de","year":"1986","unstructured":"de Kleer, J.: An assumption-based truth maintenance system. Artificial Intelligence\u00a02, 127\u2013161 (1986)","journal-title":"Artificial Intelligence"},{"key":"110_CR8","doi-asserted-by":"crossref","unstructured":"Buchberger, B.: Gr\u00f6bner bases: An algorithmic method in polynomial ideal theory. In: Bose, N.K. (ed.) Multidimensional Systems Theory, pp. 184\u2013232 (1985)","DOI":"10.1007\/978-94-009-5225-6_6"},{"key":"110_CR9","doi-asserted-by":"publisher","first-page":"2192","DOI":"10.1109\/TSMCB.2004.835007","volume":"34","author":"B. Pulido","year":"2004","unstructured":"Pulido, B., Gonz\u00e1lez, C.A.: Possible conflicts: A compilation technique for consistency-based diagnosis. IEEE Transactions on Systems, Man, and Cybernetics\u00a034, 2192\u20132206 (2004)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"}],"container-title":["Lecture Notes in Computer Science","MICAI 2005: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11579427_110","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:05:28Z","timestamp":1586567128000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11579427_110"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540298960","9783540316534"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/11579427_110","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}