{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:32:21Z","timestamp":1726410741774},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540546177"},{"type":"electronic","value":"9783642769801"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/978-3-642-76980-1_31","type":"book-chapter","created":{"date-parts":[[2011,11,25]],"date-time":"2011-11-25T02:50:19Z","timestamp":1322189419000},"page":"343-353","source":"Crossref","is-referenced-by-count":2,"title":["Model-Based Analogue Circuit Diagnosis with CLP(R)"],"prefix":"10.1007","author":[{"given":"Igor","family":"Mozeti\u010d","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Holzbaur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franc","family":"Novak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marina","family":"Santo-Zarnik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"8","key":"31_CR1","doi-asserted-by":"publisher","first-page":"1279","DOI":"10.1109\/PROC.1985.13281","volume":"73","author":"JW Bandler","year":"1985","unstructured":"Bandler, J.W., Salama, A.E. (1985). Fault diagnosis of analog circuits. Proc. IEEE 73 (8), pp. 1279\u20131826.","journal-title":"Proc. IEEE"},{"key":"31_CR2","volume-title":"Swedish Institute of Computer Science","author":"M Carlsson","year":"1990","unstructured":"Carlsson, M., Widen, J. (1990). Sicstus Prolog user\u2019s manual, SICS\/R-88\/88007C, Swedish Institute of Computer Science, Kista, Sweden."},{"issue":"7","key":"31_CR3","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/79204.79209","volume":"33","author":"J Cohen","year":"1990","unstructured":"Cohen, J. (1990). Constraint logic programming languages. Communications of the ACM\n                  33 (7), pp. 52\u201368.","journal-title":"Communications of the ACM"},{"key":"31_CR4","first-page":"173","volume-title":"Proc. 9th ECA1","author":"P Dague","year":"1990","unstructured":"Dague, P., Deves, P., Luciani, P., Taillibert, P. (1990). Analog systems diagnosis. Proc. 9th ECA1, pp. 173\u2013178, Stockholm."},{"key":"31_CR5","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/0004-3702(84)90042-0","volume":"24","author":"R Davis","year":"1984","unstructured":"Davis, R. (1984). Diagnostic reasoning based on structure and behaviour. Artificial Intelligence 24, pp. 347\u2013410.","journal-title":"Artificial Intelligence"},{"key":"31_CR6","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J Kleer de","year":"1987","unstructured":"de Kleer, J., Williams, B.C. (1987). Diagnosing multiple faults. Artificial Intelligence 32, pp. 97\u2013130.","journal-title":"Artificial Intelligence"},{"key":"31_CR7","first-page":"411","volume-title":"IEEE Trans. on Circuits and Systems CAS-26","author":"P Duhamel","year":"1979","unstructured":"Duhamel, P., Rault, J.C. (1979). Automatic test generation techniques for analog circuits and systems: a review. IEEE Trans. on Circuits and Systems CAS-26 (7), pp. 411\u2013440."},{"key":"31_CR8","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1016\/0004-3702(84)90043-2","volume":"24","author":"MR Genesereth","year":"1984","unstructured":"Genesereth, M.R. (1984). The use of design descriptions in automated diagnosis. Artificial Intelligence 24, pp. 411\u2013436.","journal-title":"Artificial Intelligence"},{"key":"31_CR9","volume-title":"of Computer Science","author":"N Heintze","year":"1987","unstructured":"Heintze, N., Jaffar, J., Michaylov, S., Stuckey, P., Yap, R. (1987a). The CLP(ft) programmer\u2019s manual. Dept. of Computer Science, Monash University, Australia."},{"key":"31_CR10","first-page":"675","volume-title":"CLP(ft) and some electrical engineering problems. Proc. 4th toil- Conference on Logic Programming","author":"N Heintze","year":"1987","unstructured":"Heintze, N., Michaylov, S., Stuckey, P. (1987b). CLP(ft) and some electrical engineering problems. Proc. 4th toil- Conference on Logic Programming, pp. 675\u2013703, Melbourne, Australia, The MIT Press."},{"key":"31_CR11","volume-title":"Ph.D Thesis","author":"C Holzbaur","year":"1990","unstructured":"Holzbaur, C. (1990). Specification of constraint based inference mechanisms through extended unification. Ph.D. Thesis, Vienna University of Technology, Austria."},{"key":"31_CR12","volume-title":"CLP(ft) version 1.0 reference manual","author":"J Jaffar","year":"1990","unstructured":"Jaffar, J. (1990). CLP(ft) version 1.0 reference manual. IBM Research Division, T.J. Watson Research Center, Yorktown Heights, NY."},{"key":"31_CR13","volume-title":"Logic Programming: Functions, Relations, and Equations","author":"J Jaffar","year":"1986","unstructured":"Jaffar, J., Lassez, J.-L., Mahler, J. (1986). A logic programming language scheme. In D. de Groot, G. Linstrom (eds.), Logic Programming: Functions, Relations, and Equations, Prentice-Hall, Englewood Cliffs, NJ."},{"key":"31_CR14","volume-title":"SEKI working paper SWP-89-4, FB Informatik","author":"F-J Kraemer","year":"1989","unstructured":"Kraemer, F.-J. (1989). A decision procedure for Presburger arithmetic with functions and equality. SEKI working paper SWP-89-4, FB Informatik, University of Kaiserslautern, Germany."},{"key":"31_CR15","first-page":"1","volume-title":"Proc. TEST90","author":"A McKeon","year":"1990","unstructured":"McKeon A., Wakeling, A. (1990). Model-based analogue circuit fault diagnosis. Proc. TEST\u201990, pp. 1\u201314, London."},{"key":"31_CR16","volume-title":"Proc. 1991 Intl. Logic Programming Symposium","author":"I Mozetic","year":"1991","unstructured":"Mozetic, I., Holzbaur, C. (1991a). Integrating qualitative and numerical models within Constraint Logic Programming. Proc. 1991 Intl. Logic Programming Symposium, ILPS-91, San Diego, MIT Press."},{"key":"31_CR17","volume-title":"Report TR-91-3, Austrian Research Institute for Artificial Intelligence","author":"I Mozetic","year":"1991","unstructured":"Mozetic, I., Holzbaur, C. (1991b). Controlling the complexity in model-based diagnosis. Report TR-91-3, Austrian Research Institute for Artificial Intelligence, Vienna, Austria."},{"key":"31_CR18","first-page":"307","volume-title":"Proc. 2nd European Test Conf. TEST91","author":"MJ Ohletz","year":"1991","unstructured":"Ohletz, M.J. (1991). Hybrid built-in self test for mixed analogue\/digital integrated circuits. Proc. 2nd European Test Conf. TEST\u201991, pp. 307\u2013316, Munich."},{"key":"31_CR19","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. (1987). A theory of diagnosis from first principles. Artificial Intelligence 32, pp. 57\u201395.","journal-title":"Artificial Intelligence"},{"issue":"4","key":"31_CR20","doi-asserted-by":"publisher","first-page":"769","DOI":"10.1145\/322276.322288","volume":"28","author":"R Shostak","year":"1981","unstructured":"Shostak, R. (1981). Deciding linear inequalities by computing loop residues. Journal of the ACM 28 (4), PP- 769\u2013779.","journal-title":"Journal of the ACM"},{"key":"31_CR21","unstructured":"Spectrum. Micro-cap III electronic circuit analysis program instruction manual. Spectrum Software, 1021 S. Wolfe Road, Sunnyvale, CA 94086."}],"container-title":["Informatik-Fachberichte","Verteilte K\u00fcnstliche Intelligenz und kooperatives Arbeiten"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-76980-1_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T03:11:55Z","timestamp":1606273915000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-76980-1_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540546177","9783642769801"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-76980-1_31","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1991]]}}}