{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:40:58Z","timestamp":1725471658423},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540459149"},{"type":"electronic","value":"9783540459156"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11881216_7","type":"book-chapter","created":{"date-parts":[[2006,10,12]],"date-time":"2006-10-12T01:36:47Z","timestamp":1160617007000},"page":"62-68","source":"Crossref","is-referenced-by-count":2,"title":["A Topological-Based Method for Allocating Sensors by Using CSP Techniques"],"prefix":"10.1007","author":[{"given":"R.","family":"Ceballos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Cejudo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. M.","family":"Gasca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Del Valle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"7_CR1","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"3","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence\u00a03(1), 57\u201396 (1987)","journal-title":"Artificial Intelligence"},{"issue":"56","key":"7_CR2","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(56), 197\u2013222 (1992)","journal-title":"Artificial Intelligence"},{"key":"7_CR3","unstructured":"Dressler, O., Struss, P.: A toolbox integrating model-based diagnosability analysis and automated generation of diagnostics. In: DX03, 14th International Workshop on Principles of Diagnosis, Washington, D.C., USA, pp. 99\u2013104 (2003)"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Trav\u00e9-Massuy\u00e9s, L., Escobet, T., Spanache, S.: Diagnosability analysis based on component supported analytical redundancy relations. In: 5th IFAC Symposium on Fault Detection, EEUU (2003)","DOI":"10.1016\/S1474-6670(17)36594-1"},{"key":"7_CR5","first-page":"20","volume-title":"ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence","author":"L. Console","year":"2000","unstructured":"Console, L., Picardi, C., Ribaudo, M.: Diagnosis and diagnosability analysis using PEPA. In: ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, pp. 20\u201325. IOS Press, Amsterdam (2000)"},{"key":"7_CR6","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: DX04, 15th International Workshop on Principles of Diagnosis, Carcassonne, France, pp. 21\u201326 (2004)"},{"issue":"3","key":"7_CR7","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1109\/54.785838","volume":"16","author":"M.C. Hansen","year":"1999","unstructured":"Hansen, M.C., Yalcin, H., Hayes, J.P.: Unveiling the ISCAS-85 Benchmarks: A Case Study in Reverse Engineering. IEEE Design and Test of Computers\u00a016(3), 72\u201380 (1999)","journal-title":"IEEE Design and Test of Computers"},{"key":"7_CR8","volume-title":"Fourteenth IJCAI","author":"W.D. Harvey","year":"1995","unstructured":"Harvey, W.D., Ginsberg, M.L.: Limited discrepancy search. In: Fourteenth IJCAI, Montreal, Canada, IOS Press, Amsterdam (1995)"}],"container-title":["Lecture Notes in Computer Science","Current Topics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11881216_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T13:13:52Z","timestamp":1555852432000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11881216_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540459149","9783540459156"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/11881216_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}