{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T05:09:49Z","timestamp":1736485789925,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540643029"},{"type":"electronic","value":"9783540697220"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0053574","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T05:40:18Z","timestamp":1149658818000},"page":"236-251","source":"Crossref","is-referenced-by-count":1,"title":["A complete declarative debugger of missing answers"],"prefix":"10.1007","author":[{"given":"Salvatore","family":"Ruggieri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"K.R. Apt. Logic programming. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 493\u2013574. Elsevier, 1990.","key":"16_CR1","DOI":"10.1016\/B978-0-444-88074-1.50015-9"},{"issue":"l","key":"16_CR2","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1993.1051","volume":"106","author":"K.R. Apt","year":"1993","unstructured":"K.R. Apt and D. Pedreschi. Reasoning about termination of pure prolog programs. Information and computation, 106(l):109\u2013157, 1993.","journal-title":"Information and computation"},{"unstructured":"K.L. Clark. Predicate logic as a computational formalism. Technical Report DOC 79\/59, Imperial College, Dept. of Computing, 1979.","key":"16_CR3"},{"unstructured":"M. Comini, G. Levi, and G. Vitiello. Declarative Diagnosis Revisited. In J. W. Lloyd, editor, Proceedings of the 1995 International Logic Programming Symposium, pages 275\u2013287. The MIT Press, 1995.","key":"16_CR4"},{"issue":"l","key":"16_CR5","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1006\/inco.1993.1015","volume":"103","author":"M. Falaschi","year":"1993","unstructured":"M. Falaschi, G. Levi, M. Martelli, and C. Palamidessi. A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs. Information and Computation, 103(l):86\u2013113, 1993.","journal-title":"Information and Computation"},{"issue":"3","key":"16_CR6","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0304-3975(89)90070-4","volume":"69","author":"M. Falaschi","year":"1989","unstructured":"M. Falaschi, G. Levi, C. Palamidessi, and M. Martelli. Declarative Modeling of the Operational Behaviour of Logic Languages. Theoretical Computer Science, 69(3):289\u2013318, December 1989.","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"16_CR7","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/0743-1066(87)90001-X","volume":"4","author":"G. Ferrand","year":"1987","unstructured":"G. Ferrand. Error Diagnosis in Logic Programming, an Adaption of E. Y. Shapiro's Method. Journal of Logic Programming, 4(3):177\u2013198, 1987.","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"16_CR8","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF03037939","volume":"10","author":"L. Naish","year":"1991","unstructured":"L. Naish. Declarative Diagnosis of Missing Answers. New Generation Computing, 10(3):255\u2013285, 1991.","journal-title":"New Generation Computing"},{"key":"16_CR9","first-page":"347","volume-title":"Decidability of Logic Program Semantics and Applications to Testing","author":"S. Ruggieri","year":"1996","unstructured":"S. Ruggieri. Decidability of Logic Program Semantics and Applications to Testing. In Proc. of PLILP'96, volume 1140 of Lecture Notes in Computer Science, pages 347\u2013362. Springer-Verlag, Berlin, 1996."},{"doi-asserted-by":"crossref","unstructured":"E. Shapiro. Algorithmic program debugging. The MIT Press, 1983.","key":"16_CR10","DOI":"10.7551\/mitpress\/1192.001.0001"},{"key":"16_CR11","volume-title":"Mathematical logic.","author":"J. Shoenfield","year":"1967","unstructured":"J. Shoenfield. Mathematical logic. Addison Wesdley, Reading, 1967."},{"unstructured":"L. Sterling and E. Shapiro. The AH of Prolog. The MIT Press, second edition, 1994.","key":"16_CR12"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053574","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T07:11:58Z","timestamp":1736406718000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053574"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643029","9783540697220"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0053574","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}