{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,30]],"date-time":"2022-12-30T08:45:15Z","timestamp":1672389915310},"reference-count":8,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2003,11,1]],"date-time":"2003-11-01T00:00:00Z","timestamp":1067644800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3558,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,11]]},"DOI":"10.1016\/s1571-0661(04)80695-9","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"85-104","source":"Crossref","is-referenced-by-count":2,"title":["Cost-Sensitive Diagnosis of Declarative Programs"],"prefix":"10.1016","volume":"86","author":[{"given":"D.","family":"Ballis","sequence":"first","affiliation":[]},{"given":"M.","family":"Falaschi","sequence":"additional","affiliation":[]},{"given":"C.","family":"Ferri","sequence":"additional","affiliation":[]},{"given":"J.","family":"Hern\u00e1ndez-Orallo","sequence":"additional","affiliation":[]},{"given":"M.J.","family":"Ram\u00edrez-Quintana","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80695-9_NEWBIB1","unstructured":"M. Alpuente, F. J. Correa, and M. Falaschi. Debugging Scheme of Functional Logic Programs. In M. Hanus, editor, Proc. of International Workshop on Functional and (Constraint) Logic Programming, WFLP'01, volume 64 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, 2002."},{"key":"10.1016\/S1571-0661(04)80695-9_NEWBIB2","doi-asserted-by":"crossref","unstructured":"R. Caballero-Rold\u00e1n, F.J. L\u00f3pez-Fraguas, and M. Rodr\u00edquez Artalejo. Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs. In Fifth International Symposium on Functional and Logic Programming, volume 2024 of LNCS, pages 170\u2013184. Springer-Verlag, 2001.","DOI":"10.1007\/3-540-44716-4_11"},{"key":"10.1016\/S1571-0661(04)80695-9_NEWBIB3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0743-1066(98)10033-X","article-title":"Abstract diagnosis","volume":"39","author":"Comini","year":"1999","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1571-0661(04)80695-9_NEWBIB4","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1148\/radiology.143.1.7063747","article-title":"The meaning and use of the area under a receiver operating characteristic (roc) curve","volume":"143","author":"Hanley","year":"1982","journal-title":"Radiology"},{"key":"10.1016\/S1571-0661(04)80695-9_NEWBIB5","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0747-7171(87)80010-X","article-title":"Simplifying Conditional Term Rewriting Systems: Unification, Termination and Confluence","volume":"4","author":"Kaplan","year":"1987","journal-title":"Journal of Symbolic Computation"},{"key":"10.1016\/S1571-0661(04)80695-9_NEWBIB6","first-page":"1","article-title":"Term Rewriting Systems","volume":"volume I","author":"Klop","year":"1992"},{"key":"10.1016\/S1571-0661(04)80695-9_NEWBIB7","series-title":"An Introduction to Kolmogorov Complexity and its Applications","author":"Li","year":"1997"},{"issue":"1","key":"10.1016\/S1571-0661(04)80695-9_NEWBIB8","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1017\/S095679680000109X","article-title":"Algorithmic debugging for lazy functional languages","volume":"4","author":"Nilsson","year":"1994","journal-title":"Journal of Functional Programming"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104806959?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104806959?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T10:53:02Z","timestamp":1549191182000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104806959"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,11]]},"references-count":8,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,11]]}},"alternative-id":["S1571066104806959"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80695-9","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,11]]}}}