{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T19:36:20Z","timestamp":1774380980703,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540627098","type":"print"},{"value":"9783540684480","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0029443","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T18:43:51Z","timestamp":1138214631000},"page":"126-129","source":"Crossref","is-referenced-by-count":4,"title":["Application of inductive logic programming for learning ECG waveforms"],"prefix":"10.1007","author":[{"given":"Gabriella","family":"K\u00f3kai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zolt\u00e1n","family":"Alexin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tibor","family":"Gyim\u00f3thy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,11,22]]},"reference":[{"key":"14_CR1","first-page":"403","volume-title":"Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner","author":"Z. Alexin","year":"1996","unstructured":"Alexin, Z., Gyim\u00f3thy, T., Bostr\u00f6m, H.: Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner in Proceedings of the 12th European Conference on Artificial Intelligence ECAI-96 ed. Wolfgang Wahlster, Budapest, Hungary (1996) 403\u2013407 John Wiley & Son's Ltd. 1996."},{"key":"14_CR2","unstructured":"Bostr\u00f6m, H., Idestam-Almquist, P.: Specialization of Logic Programs by Pruning SLD-trees., Proc. of the Fourth International Workshop on Inductive Logic Programming (ILP-94) Bad Honnef\/Bonn Germany September 12\u201314. (1994) 31\u201347"},{"key":"14_CR3","unstructured":"K\u00f3kai, G., Alexin, Z., Gyim\u00f3thy, T.: Classifying ECG Waveforms in Prolog Proc. of the Fourth International Conference on The Practical Application of PROLOG (PAP96) London, United Kingdom April 23\u201325, (1996) 193\u2013221"},{"key":"14_CR4","unstructured":"Lavra\u010d, N., D\u017eeroski, S.: Inductive Logic Programming: Techniques and Applications Ellis Horwood, (1994)"},{"issue":"20","key":"14_CR5","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","volume":"19","author":"S. Muggleton","year":"1994","unstructured":"Muggleton, S., De Raedt, L.: Inductive Logic Programming: Theory and methods, Journal of Logic Programming 19 (20) (1994) 629\u2013679","journal-title":"Journal of Logic Programming"},{"issue":"6","key":"14_CR6","first-page":"676","volume":"31","author":"T. J. Ostrand","year":"1988","unstructured":"Ostrand, T. J., Balker, M. J.: The Category-Partition Method for Specifying and Generating Functional Tests CACM 31:6 June (1988) 676\u2013686","journal-title":"The Category-Partition Method for Specifying and Generating Functional Tests CACM"},{"key":"14_CR7","unstructured":"Paakki, J., Gyim\u00f3thy, T., Horv\u00e1th T.,: Effective Algorithmic Debugging for Inductive Logic Programming. Proc. of the Fourth International Workshop on Inductive Logic Programming (ILP-94) Bad Honnef\/Bonn Germany September 12\u201314. (1994) 175\u2013194"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Shapiro, E. Y.: Algorithmic Program Debugging MIT Press (1983)","DOI":"10.7551\/mitpress\/1192.001.0001"},{"key":"14_CR9","unstructured":"Skordalakis, E.: ECG Analysis in Syntactic and Structural Pattern Recognition Theory and Applications ed. Bunke, H. and Sanfeliu, A. World Scientific (1990) 499\u2013533"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence in Medicine"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0029443","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T12:50:25Z","timestamp":1736254225000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0029443"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627098","9783540684480"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0029443","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997]]}}}