{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:01:22Z","timestamp":1725901282534},"publisher-location":"Boston, MA","reference-count":15,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781402081507"},{"type":"electronic","value":"9781402081514"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/1-4020-8151-0_14","type":"book-chapter","created":{"date-parts":[[2006,3,7]],"date-time":"2006-03-07T05:17:30Z","timestamp":1141708650000},"page":"155-165","source":"Crossref","is-referenced-by-count":2,"title":["Deductive Diagnosis of Digital Circuits"],"prefix":"10.1007","author":[{"given":"J. J.","family":"Alferes","sequence":"first","affiliation":[]},{"given":"F.","family":"Azevedo","sequence":"additional","affiliation":[]},{"given":"P.","family":"Barahona","sequence":"additional","affiliation":[]},{"given":"C. V.","family":"Dam\u00e1sio","sequence":"additional","affiliation":[]},{"given":"T.","family":"Swift","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"14_CR1","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1017\/S0269888997002026","volume":"12","author":"P. Lucas","year":"1997","unstructured":"P. Lucas, Symbolic Diagnosis and its Formalisation, The Knowledge Engineering Review\n                  12(2), (1997), pp. 109\u2013146.","journal-title":"The Knowledge Engineering Review"},{"issue":"3","key":"14_CR2","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"J. Doyle, A Truth Maintenance System, Artificial Intelligence\n                  12(3), (1979), pp. 231\u2013272.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"14_CR3","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. Kleer de","year":"1987","unstructured":"J. de Kleer and B. C. Williams, Diagnosing Multiple Faults, Artificial Intelligence\n                  32(1), (April 1987), pp. 97\u2013130.","journal-title":"Artificial Intelligence"},{"unstructured":"ISCAS. Special Session on ATPG, Proceedings of the IEEE Symposium on Circuits and Systems, Kyoto, Japan, (July 1985), pp. 663\u2013698.","key":"14_CR4"},{"unstructured":"P. Fr\u00f6hlich, DRUM-II Efficient Model-based Diagnosis of Technical Systems, PhD thesis, University of Hannover, (1998).","key":"14_CR5"},{"unstructured":"J. J. Alferes, F. Azevedo, P. Barahona, C. V. Dam\u00e1sio and T. Swift, Logic Programming Techniques for Solving Circuit Diagnosis; ssdi.di.fct.unl.pt\/~fa\/papers\/diagnosis_ps.zip.","key":"14_CR6"},{"doi-asserted-by":"crossref","unstructured":"M. Marek and M. Truszczy\u0144ski, Stable models and an alternative logic programming paradigm, The Logic Programming Paradigm: a 25-Year Perspective, (Springer, 1999), pp. 375\u2013398.","key":"14_CR7","DOI":"10.1007\/978-3-642-60085-2_17"},{"unstructured":"I. Niemel\u00e4, Logic programs with stable model semantics as a constraint programming paradigm, edited by I. Niemel\u00e4 and T. Schaub, Computational Aspects of Nonmonotonic Reasoning, (1998), pp. 72\u201379.","key":"14_CR8"},{"unstructured":"M. Gelfond and V. Lifshitz, The stable model semantics for logic programming, in: ICLP\u201988, edited by R. Kowalski and K. Bowen (MIT Press, 1988), pp. 1070\u20131080.","key":"14_CR9"},{"doi-asserted-by":"crossref","unstructured":"I. Niemel\u00e4 and P. Simons, Smodels-an implementation of the stable model and well-founded semantics for normal logic programs, in: 4th LPNMR, (Springer, 1997).","key":"14_CR10","DOI":"10.1007\/3-540-63255-7_32"},{"unstructured":"W. Chen and D. S. Warren, Computation of stable models and its integration with logical query evaluation, IEEE Trans. on Knowledge and Data Engineering (1995).","key":"14_CR11"},{"issue":"5","key":"14_CR12","doi-asserted-by":"crossref","first-page":"464","DOI":"10.1109\/T-C.1972.223542","volume":"C-21","author":"D. B. Armstrong","year":"1972","unstructured":"D. B. Armstrong, A Deductive Method of Simulating Faults in Logic Circuits, IEEE Trans. on Computers\n                  C-21(5), 464\u2013471 (May 1972).","journal-title":"IEEE Trans. on Computers"},{"unstructured":"H. C. Godoy and R. E. Vogelsberg, Single Pass Error Effect Determination (SPEED), IBM Technical Disclosure Bulletin\n                  13, 3443\u20133344 (April 1971).","key":"14_CR13"},{"unstructured":"Programming Systems Group of the Swedish Institute of Computer Science. SICStus Prolog User\u2019s Manual, (1995).","key":"14_CR14"},{"unstructured":"Peter Fr\u00f6hlich and Wolfgang Nejdl, A static model-based engine for model-based reasoning, in: Proceedings of IJCAI97 (1997), pp. 466\u2013473.","key":"14_CR15"}],"container-title":["IFIP International Federation for Information Processing","Artificial Intelligence Applications and Innovations"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-4020-8151-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T17:46:05Z","timestamp":1558374365000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-4020-8151-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9781402081507","9781402081514"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/1-4020-8151-0_14","relation":{},"ISSN":["1571-5736"],"issn-type":[{"type":"print","value":"1571-5736"}],"subject":[],"published":{"date-parts":[[2004]]}}}