{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:32:17Z","timestamp":1761597137622,"version":"3.37.0"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1992,8,1]],"date-time":"1992-08-01T00:00:00Z","timestamp":712627200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1992,8]]},"DOI":"10.1007\/bf03037939","type":"journal-article","created":{"date-parts":[[2009,4,25]],"date-time":"2009-04-25T00:06:32Z","timestamp":1240617992000},"page":"255-285","source":"Crossref","is-referenced-by-count":20,"title":["Declarative diagnosis of missing answers"],"prefix":"10.1007","volume":"10","author":[{"given":"Lee","family":"Naish","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF03037939_CR1","doi-asserted-by":"crossref","unstructured":"Clark, K. L., \u201cNegation as Failure,\u201d inLogic and Data Bases (H. Gallaire and J. Minker, eds.), Plenum Press, pp. 293\u2013322, 1978.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"BF03037939_CR2","unstructured":"Dershowitz, N. and Lee, Y., \u201cDeductive Debugging,\u201dProceedings of the 4th IEEE Symposium on Logic Programming, San Francisco, California, pp. 298\u2013306, August 1987."},{"key":"BF03037939_CR3","unstructured":"Drabent, W., Nadjm-Tehrani, S. and Maluszynski, J., \u201cThe Use of Assertions in Algorithmic Debugging,\u201dProceedings of the 1988 International Conference on Fifth Generation Computer Systems, Tokyo, Japan, pp. 573\u2013581, December 1988."},{"key":"BF03037939_CR4","unstructured":"Drabent, W., Nadjm-Tehrani, S. and Maluszynski, J., \u201cAlgorithmic Debugging with Assertions,\u201d inMeta-Programming in Logic Programming (J. W. Lloyd, eds.), MIT Press, 1989."},{"key":"BF03037939_CR5","unstructured":"Edman, A. and T\u00e4rnlund, S.-\u00c5., \u201cMechanization of an Oracle in a Debugging System,\u201dProceedings of 8th IJCAI, Karlsruhe, Germany, pp. 553\u2013555, August 1983."},{"issue":"3","key":"BF03037939_CR6","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/0743-1066(87)90001-X","volume":"4","author":"G. Ferrand","year":"1987","unstructured":"Ferrand, G., \u201cError Diagnosis in Logic Programming, an Adaptation of E. Y. Shapiro\u2019s Method,\u201dJournal of Logic Programming 4, 3, pp. 177\u2013198, September 1987.","journal-title":"Journal of Logic Programming"},{"key":"BF03037939_CR7","unstructured":"Huntbach, M. M., \u201cAlgorithmic Parlog Debugging,\u201dProceedings of the 4th IEEE Symposium on Logic Programming, San Francisco, California, pp. 288\u2013297, August 1987."},{"key":"BF03037939_CR8","series-title":"ICOT Technical Report, TR-447","volume-title":"Logic Program Diagnosis from Specification","author":"T. Kanamori","year":"1989","unstructured":"Kanamori, T., Kawamura, T., Maeji, M. and Horiuchi, K., \u201cLogic Program Diagnosis from Specification,\u201dICOT Technical Report, TR-447, Institute for New Generation Computer Technology, Tokyo, Japan, March 1989."},{"key":"BF03037939_CR9","volume-title":"Logic for Problem Solving","author":"R. A. Kowalski","year":"1980","unstructured":"Kowalski, R. A.,Logic for Problem Solving, North Holland, New York, 1980."},{"key":"BF03037939_CR10","volume-title":"Algorithmic Debugging of Flat Concurrent Prolog","author":"Y. Lichtrenstein","year":"1987","unstructured":"Lichtrenstein, Y., \u201cAlgorithmic Debugging of Flat Concurrent Prolog,\u201dM. Sc. thesis, Department of Computer Science, Weizmann Institute of Science, Rehovot, Israel, August 1987."},{"key":"BF03037939_CR11","series-title":"ICOT Technical Report, TR-186","volume-title":"A Framework for Debugging GHC","author":"J. Lloyd","year":"1986","unstructured":"Lloyd, J. and Takeuchi, A., \u201cA Framework for Debugging GHC,\u201dICOT Technical Report, TR-186, Institute for New Generation Computer Technology, Tokyo, Japan, 1986."},{"issue":"2","key":"BF03037939_CR12","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF03037396","volume":"5","author":"J. W. Lloyd","year":"1987","unstructured":"Lloyd, J. W., \u201cDeclarative Error Diagnosis,\u201dNew Generation Computing, 5, 2, pp. 133\u2013154, 1987.","journal-title":"New Generation Computing"},{"key":"BF03037939_CR13","series-title":"ICOT Technical Report, TR-290","volume-title":"Top-Down Zooming Diagnosis of Logic Programs","author":"M. Maeji","year":"1987","unstructured":"Maeji, M. and Kanamori, T., \u201cTop-Down Zooming Diagnosis of Logic Programs,\u201dICOT Technical Report, TR-290, Institute for New Generation Computer Technology, Tokyo, Japan, August 1987."},{"key":"BF03037939_CR14","volume-title":"Contributions to the Declarative Approach to Debugging Prolog Programs","author":"S. Nadjm-Tehrani","year":"1989","unstructured":"Nadjm-Tehrani, S., \u201cContributions to the Declarative Approach to Debugging Prolog Programs,\u201dthesis No. 187, Department of Computer and Information Sciences, University of Link\u00f6ping, Link\u00f6ping, Sweden, 1989."},{"issue":"3","key":"BF03037939_CR15","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0743-1066(85)90017-2","volume":"2","author":"L. Naish","year":"1985","unstructured":"Naish, L., \u201cAutomating Control of Logic Programs,\u201dJournal of Logic Programming, 2, 3, pp. 167\u2013183, October 1985.","journal-title":"Journal of Logic Programming"},{"key":"BF03037939_CR16","doi-asserted-by":"crossref","unstructured":"Naish, L., \u201cNegation and Quantifiers in NU-Prolog,\u201dProceedings of the 3rd International Conference on Logic Programming, Imperial College of Science and Technology, London, England, pp. 624\u2013634, July 1986, published asLecture Notes in Computer Science 255 by Springer-Verlag.","DOI":"10.1007\/3-540-16492-8_111"},{"key":"BF03037939_CR17","unstructured":"Naish, L., Dart, P. W. and Zobel, J., \u201cThe NU-Prolog Debugging Environment,\u201dProceedings of the 6th International Conference on Logic Programming, Lisboa, Portugal, June 1989."},{"key":"BF03037939_CR18","series-title":"Technical Report, 90\/4","volume-title":"Types and the Intended Meaning of Logic Programs","author":"L. Naish","year":"1990","unstructured":"Naish, L., \u201cTypes and the Intended Meaning of Logic Programs,\u201dTechnical Report, 90\/4, Department of Computer Science, University of Melbourne, Melbourne, Australia, February 1990. to appear inTypes in Logic Programming, MIT press."},{"key":"BF03037939_CR19","unstructured":"Nicholson, A. E., \u201cDeclarative Debugging of the Parallel Logic Programming Language GHC,\u201dProceedings of the 11th Australian Computer Science Conference, Brisbane, Australia, pp. 225\u2013236, February 1988."},{"key":"BF03037939_CR20","doi-asserted-by":"crossref","unstructured":"Pereira, L. M., \u201cRational Debugging in Logic Programming,\u201dProceedings of the 3rd International Conference in Logic Programming, London, England, pp. 203\u2013210, July 1986, published asLecture Notes in Computer Science 225 by Springer-Verlag.","DOI":"10.1007\/3-540-16492-8_76"},{"key":"BF03037939_CR21","unstructured":"Pereira, L. M. and Calejo, M., \u201cA Framework for Prolog Debugging,\u201dProceedings of the 5th International Conference\/Symposium on Logic Programming, Seattle, Washington, pp. 481\u2013495, August 1988."},{"key":"BF03037939_CR22","unstructured":"Plaisted, D. A., \u201cAn Efficient Bug Location Algorithm,\u201dProceedings of the 2nd International Logic Programming Conference, Uppsala, Sweden, pp. 151\u2013157, July 1984."},{"key":"BF03037939_CR23","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic Program Debugging","author":"E. Y. Shapiro","year":"1983","unstructured":"Shapiro, E. Y.,Algorithmic Program Debugging, MIT Press, Cambridge, Massachusetts, 1983."},{"key":"BF03037939_CR24","volume-title":"The Art of Prolog: Advanced Programming Techniques","author":"L. Sterling","year":"1986","unstructured":"Sterling, L. and Shapiro, E.,The Art of Prolog: Advanced Programming Techniques, MIT Press, Cambridge, Massachusetts, 1986."},{"key":"BF03037939_CR25","series-title":"ICOT Technical Report, TR-185","volume-title":"Algorithmic Debugging of GHC Programs and Its Implementation in GHC","author":"A. Takeuchi","year":"1986","unstructured":"Takeuchi, A., \u201cAlgorithmic Debugging of GHC Programs and Its Implementation in GHC,\u201dICOT Technical Report, TR-185, Institute for New Generation Computer Technology, Tokyo, Japan, 1986."},{"key":"BF03037939_CR26","series-title":"Technical Report, 86\/10","volume-title":"NU-Prolog Reference Manual, Version 1.0","year":"1986","unstructured":"Thom, J. and Zobel, J. eds., \u201cNU-Prolog Reference Manual, Version 1.0,\u201dTechnical Report, 86\/10, Department of Computer Science, University of Melbourne, Melbourne, Australia, 1986."},{"key":"BF03037939_CR27","unstructured":"Yan S. Y. and Naish, L., \u201cCompleteness of an Improved Declarative Debugger,\u201d inAdvances in Computing and Information, Canadian Scholar\u2019s Press, pp. 132\u2013135, May 1990, to appear inApplied Mathematical Letters."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037939.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037939\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037939","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T05:00:54Z","timestamp":1739077254000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037939"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,8]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1992,8]]}},"alternative-id":["BF03037939"],"URL":"https:\/\/doi.org\/10.1007\/bf03037939","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"type":"print","value":"0288-3635"},{"type":"electronic","value":"1882-7055"}],"subject":[],"published":{"date-parts":[[1992,8]]}}}