{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:25:21Z","timestamp":1761596721873,"version":"3.41.0"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Automated Software Engineering"],"published-print":{"date-parts":[[1997,4]]},"DOI":"10.1023\/a:1008633100749","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T15:12:40Z","timestamp":1040569960000},"page":"151-178","source":"Crossref","is-referenced-by-count":3,"title":["Algorithmic Debugging and Hypothetical Reasoning"],"prefix":"10.1007","volume":"4","author":[{"given":"Clemens","family":"Beckstein","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerhard","family":"Tobermann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"123484_CR1","volume-title":"Top-down diagnosis ofProlog programs","author":"E. Av-Ron","year":"1984","unstructured":"Av-Ron, E. 1984. Top-down diagnosis ofProlog programs. Master's thesis, Weizmann Institute of Science, Rehovot, Israel."},{"key":"123484_CR2","doi-asserted-by":"crossref","unstructured":"Beckstein, C. 1988. Zur Logik der Logik-Programmierung\u2014Ein konstruktiver Ansatz, Informatik Fachberichte, Vol. 199, Springer-Verlag.","DOI":"10.1007\/978-3-642-74403-7"},{"key":"123484_CR3","volume-title":"Teubner-Texte zur Informatik","author":"C. Beckstein","year":"1996","unstructured":"Beckstein, C. 1996. Begr\u00fcndungsverwaltung: Grundlagen, Systeme und Algorithmen. Teubner-Texte zur Informatik, Leipzig: Teubner-Verlag."},{"key":"123484_CR4","unstructured":"Beckstein, C. and Klausner, J. 1995. An abstract machine for the compilation of logic programs that can guess. In Proceedings of the Workshop on Sequential Implementation Technologies for Logic Programming Languages. Held in association with the 1995 International Logic Programming Symposium, Portland, Oregon."},{"key":"123484_CR5","unstructured":"Beckstein, C. and Stolle, R., and Tobermann, G. 1996. Meta-programming for generalized horn clause logic. In Proceedings of the Workshop on Metaprogramming and Metareasoning in Logic, META96, Held in association with the 1996 Joint International Conference and Symposium on Logic Programming, JICSLP-96, Bonn."},{"key":"123484_CR6","unstructured":"Beckstein, C. and Tobermann, G. 1992. Evolutionary logic programming with Risc. In Proceedings of the Post-Conference Workshop on Logic Programming Environments (JICSLP 92), available via ftp: faui80.unierlangen.de: pub\/papers\/memos\/immd8-92-13.ps.gz, Washington D.C., pp. 16\u201321."},{"key":"123484_CR7","unstructured":"Byrd, L. 1980. Understanding the control flow of Prolog programs. In Proceedings of the Logic Programming Workshop, Debrecen, pp. 127\u2013138."},{"key":"123484_CR8","unstructured":"Callebaut, A. and Demoen, B. 1990. Program source as model for debugging in Prolog. In Proc. of the Seventh International Conference on Logic Programming."},{"key":"123484_CR9","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. de Kleer","year":"1986","unstructured":"de Kleer, J. 1986. 1. An assumption-based TMS, 2. Extending the ATMS, 3. Problem solving with the ATMS. Artificial Intelligence, 28:127\u2013224.","journal-title":"Artificial Intelligence"},{"key":"123484_CR10","unstructured":"Deville, Y. 1990. Logic Programming: Systematic Program Development. Addison Wesley."},{"key":"123484_CR11","series-title":"Report","volume-title":"An extendible trace analyser to support automated debugging","author":"M. Ducass\u00e9","year":"1992","unstructured":"Ducass\u00e9, M. 1992. An extendible trace analyser to support automated debugging. Ph.D. thesis, University of Rennes, France, Report 758."},{"key":"123484_CR12","first-page":"1","volume-title":"Automated and Algorithmic Debugging, First International Workshop, AADEBUG'93, Link\u00f6ping, Sweden, May 1993, Proceedings","author":"M. Ducass\u00e9","year":"1993","unstructured":"Ducass\u00e9, M. 1993. A pragmatic survey of automated debugging. In, Peter A. Fritzson, editor, Automated and Algorithmic Debugging, First International Workshop, AADEBUG'93, Link\u00f6ping, Sweden, May 1993, Proceedings, http:\/\/ftp.irisa.fr\/local\/lande\/md-aadebug93.ps.gz, Springer-Verlag, LNCS 749, pp. 1\u201315."},{"key":"123484_CR13","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. 1987. Error diagnosis in logic programming, an adaption of E.Y. Shapiro's Method. Journal of Logic Programming, 4:177\u2013189.","journal-title":"Journal of Logic Programming"},{"key":"123484_CR14","first-page":"331","volume-title":"Handbook of Logic in Computer Science","author":"D.M. Gabbay","year":"1992","unstructured":"Gabbay, D.M. 1992. Elements of algorithmic proof. In S. Abramsky, D.M. Gabbay, and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science, 2:331\u2013414 Oxford: Clarendon Press, Background: Computational Structures, Chap. 3."},{"issue":"1","key":"123484_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0743-1066(86)90002-6","volume":"3","author":"D.M. Gabbay","year":"1986","unstructured":"Gabbay, D.M. and Sergot, M.J. 1986. Negation as inconsistency I. The Journal of Logic Programming, 3(1):1\u201336.","journal-title":"The Journal of Logic Programming"},{"key":"123484_CR16","unstructured":"Hill, P.M. and Lloyd, J.W. 1989. Analysis of Meta-Programs. In H. Abramson and M.H. Rogers, editors, Proceedings of the Workshop on Meta-Programming in Logic Programming, pp. 23\u201351"},{"key":"123484_CR17","unstructured":"Huntbach, M.M. 1989. Interactive program debugging and synthesis, Ph.D. thesis, University of Sussex."},{"key":"123484_CR18","first-page":"512","volume-title":"Proceedings of the Fifth International Conference and Symposium on Logic Programming","author":"Y. Lichtenstein","year":"1988","unstructured":"Lichtenstein, Y. and Shapiro, E. 1988. Abstract algorithmic debugging. In Robert, A. Kowalski and Kenneth, A. Bowen, editors, Proceedings of the Fifth International Conference and Symposium on Logic Programming, ALP, IEEE, Seattle: The MIT Press, pp. 512\u2013531."},{"key":"123484_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W. 1987. Foundations of Logic Programming, Springer-Verlag, Berlin (second extended)."},{"issue":"1","key":"123484_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0743-1066(88)90005-2","volume":"5","author":"L. T. McCarty","year":"1988","unstructured":"McCarty, L. Thorne. 1988a. Clausal intuitionistic logic I. Fixed-point semantics. The Journal of Logic Programming, 5(1):1\u201332.","journal-title":"The Journal of Logic Programming"},{"issue":"2","key":"123484_CR21","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/0743-1066(88)90014-3","volume":"5","author":"L. T. McCarty","year":"1988","unstructured":"McCarty, L. Thorne. 1988b. Clausal intuitionistic logic II. Tableau proof procedures. The Journal of Logic Programming, 5(2):93\u2013132.","journal-title":"The Journal of Logic Programming"},{"key":"123484_CR22","first-page":"521","volume-title":"Proceedings of the Sixth International Conference on Logic Programming","author":"L. Naish","year":"1989","unstructured":"Naish, L., Dart, P.W., and Zobel, J. 1989. The NU-prolog debugging environment. In, Giorgio Levi and Maurizio Martelli, editors, Proceedings of the Sixth International Conference on Logic Programming, Lisbon: The MIT Press, pp. 521\u2013536."},{"key":"123484_CR23","doi-asserted-by":"crossref","unstructured":"Pereira, L.M. 1986. Rational debugging in logic programming. In Proc. Third International Logic Programming Conference, LNCS 225, Springer-Verlag, pp. 203\u2013210.","DOI":"10.1007\/3-540-16492-8_76"},{"key":"123484_CR24","unstructured":"Shahmehri, N., Kamkar, M., and Fritzson, P. 1993. A pragmatic survey of automated debugging. In Peter A. Fritzson, editor, Automated and Algorithmic Debugging, First International Workshop, AADEBUG'93, Link\u00f6ping, Sweden, Proceedings, LNCS 749, Springer-Verlag, pp. 16\u201339."},{"key":"123484_CR25","volume-title":"ACM Distinguished Dissertation","author":"E.Y. Shapiro","year":"1982","unstructured":"Shapiro, E.Y. 1982. Algorithmic program debugging. ACM Distinguished Dissertation, Cambridge, Massachusetts: MIT Press."},{"key":"123484_CR26","unstructured":"Tobermann, G. 1994. Verallgemeinerte Hornklausellogik: vom logischen Kalk\u00fcl zum Logik-Programmiersystem. Ph.D. thesis, Universit\u00e4t Erlangen-N\u00fcrnberg."},{"key":"123484_CR27","doi-asserted-by":"crossref","unstructured":"Tobermann, G. and Beckstein, C. 1993. What's in a trace: The box model revisited. In Peter A. Fritzson, editor, Automated and Algorithmic Debugging, First International Workshop, AADEBUG'93, Link\u00f6ping, Sweden, Proceedings, LNCS 749, Springer-Verlag, pp. 171\u2013187.","DOI":"10.1007\/BFb0019408"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008633100749.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008633100749\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008633100749.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:36:32Z","timestamp":1748072192000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008633100749"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,4]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1997,4]]}},"alternative-id":["123484"],"URL":"https:\/\/doi.org\/10.1023\/a:1008633100749","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[1997,4]]}}}