{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:32Z","timestamp":1725456212365},"publisher-location":"Berlin\/Heidelberg","reference-count":24,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540574174"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0019399","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:18:27Z","timestamp":1132640307000},"page":"40-57","source":"Crossref","is-referenced-by-count":8,"title":["The notions of symptom and error in declarative diagnosis of logic programs"],"prefix":"10.1007","author":[{"given":"G\u00e9rard","family":"Ferrand","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"P. Aczel. An Introduction to Inductive Definitions. Handbook of Mathematical Logic, J. Barwise (Ed) C.7, 739\u2013782, Noth Holland, 1977.","DOI":"10.1016\/S0049-237X(08)71120-0"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"K.R. Apt. Logic programming. Handbook of Theoretical Computer Science, J. Van Leeuween (Manag. Ed) Vol 2, Chapt 10, 493\u2013574, Elsevier 1990.","DOI":"10.1016\/B978-0-444-88074-1.50015-9"},{"key":"3_CR3","unstructured":"M. Bergere, G. Ferrand. Inductive semantics and declarative approach of error diagnosis. ICLP'91 Preconference Workshop on Logic Programming Semantics and non Classical Logics, Paris 1991."},{"key":"3_CR4","unstructured":"M. Bergere, G. Ferrand. (to appear)"},{"key":"3_CR5","unstructured":"M. Bergere. Approche declarative du diagnostic d'erreurs pour la Programmation en logique avec negation. Thesis, Orleans 1991."},{"key":"3_CR6","unstructured":"P. Deransart, G. Ferrand. Advanced tutorial on proof methods and declarative diagnosis in Logic Programming. ICLP'89."},{"key":"3_CR7","unstructured":"P. Deransart, J. Maluszynski. A Grammatical View of Logic Programming. MIT Press (to appear)."},{"key":"3_CR8","unstructured":"W. Drabent, S. Nadjm-Tehrani, J. Maluszynski. Algorithmic Debugging with Assertions. META'88 365\u2013378, 1988."},{"key":"3_CR9","doi-asserted-by":"crossref","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 adaptation of E.Y. Shapiro's method. Journal of Logic programming, 4:177\u2013198, 1987.","journal-title":"Journal of Logic programming"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"G. Ferrand, P. Deransart. Proof method of partial correctness and weak completeness for normal logic programs. Proc. Joint International Conference and Symposium on Logic Programming, MIT Press, 1992.","DOI":"10.1016\/0743-1066(93)90033-D"},{"key":"3_CR11","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"2","author":"M. Fitting","year":"1985","unstructured":"M. Fitting. A Kripke-Kleene semantics for logic programs. Journal of Logic programming, 2:295\u2013312, 1985.","journal-title":"Journal of Logic programming"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"P. Fritzson, T. Gyimothy, M. Kamkar, N. Shahmehri. Generalized Algorithmic Debugging and Testing. Proc. ACM SIGPLAN'91 Conference on Programming Language Design and Implementation, Toronto, 1991, SIGPLAN Notices Vol 26, Nb 6, June 1991.","DOI":"10.1145\/113445.113472"},{"key":"3_CR13","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0743-1066(87)90007-0","volume":"4","author":"K. Kunen","year":"1987","unstructured":"K. Kunen. Negation in Logic Programming. Journal of Logic programming, 4:289\u2013308, 1987.","journal-title":"Journal of Logic programming"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Y. Lichtenstein, E. Shapiro. Abstract Algorithmic Debugging. Proc. Joint International Conference and Symposium on Logic Programming, 512\u2013530, MIT Press, 1988.","DOI":"10.1145\/68210.69239"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd. Foundations of Logic Programming. 2nd ed, Springer Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"3_CR16","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF03037396","volume":"5","author":"J. W. Lloyd","year":"1987","unstructured":"J. W. Lloyd. Declarative Error Diagnosis. New Generation Computing, 5:133\u2013154, 1987.","journal-title":"New Generation Computing"},{"key":"3_CR17","unstructured":"L. Naish. Types and intended meaning. in Types in Logic programming 189\u2013216, F. Pfenning (Ed), MIT Press 1992."},{"key":"3_CR18","unstructured":"H. Nilsson, P. Fritzson. Algorithmic Debugging of Lazy functional languages. PLILP'92, LNCS 631, 1992."},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"L.M. Pereira. Rational Debugging in Logic Programming. 3th ICLP 203\u2013210, LNCS 225.","DOI":"10.1007\/3-540-16492-8_76"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"E.Y. Shapiro. Algorithmic Program Debugging. ACM Distinguished Dissertation Series. MIT Press 1982.","DOI":"10.1145\/582153.582185"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"J.C. Shepherdson. Negation in Logic Programming. Foundations of Deductive Databases and Logic Programming, J. Minker (Ed), Morgan Kaufmann Publishers, 1988, 19\u201388.","DOI":"10.1016\/B978-0-934613-40-8.50005-1"},{"key":"3_CR22","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/BF03037166","volume":"9","author":"O. Shmueli","year":"1991","unstructured":"O. Shmueli, S. Tsur. Logical Diagnosis of LDL Programs. New generation Computing, 9 (1991) 277\u2013303.","journal-title":"New generation Computing"},{"key":"3_CR23","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0304-3975(51)90008-4","volume":"78","author":"V. Thibau","year":"1991","unstructured":"V. Thibau, J.P. Delahaye. Programming in three-valued logic. Theoretical Computer Science, vol 78: 189\u2013216, 1991.","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"3_CR24","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. Emden Van","year":"1976","unstructured":"M. Van Emden, R. Kowalski. The semantics of predicate logic as a programming language. Journal of the ACM, 23(4): 733\u2013742, 1976.","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Automated and Algorithmic Debugging"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0019399.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T14:34:59Z","timestamp":1683297299000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019399"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540574174"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/bfb0019399","relation":{},"subject":[]}}