{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T21:40:32Z","timestamp":1740001232246,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634942"},{"type":"electronic","value":"9783540695837"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63494-0_52","type":"book-chapter","created":{"date-parts":[[2010,4,5]],"date-time":"2010-04-05T19:22:49Z","timestamp":1270495369000},"page":"127-145","source":"Crossref","is-referenced-by-count":1,"title":["Analyzing and 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,8,18]]},"reference":[{"key":"8_CR1","volume-title":"Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner in Proceedings of the 12th European Conference on Artificial Intelligence ECAI-96","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 WahIster, Budapest, Hungary John Wiley & Son's Ltd. 1996."},{"key":"8_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-14. (1994) 31-47"},{"key":"8_CR3","unstructured":"De Raedt, L., Bruynooghe, M.: A theory of clausal discovery Proc. of the 13th International Joint Conference on Artificial Intelligence Morgan Kaufmann (1993)"},{"key":"8_CR4","first-page":"119","volume":"2","author":"P. Deransart","year":"1985","unstructured":"Deransart, P., Maluszynski, J.: Relating Logic Programs and Attribute Grammars Journal of Logic Programming 2, (1985) 119\u2013156","journal-title":"Relating Logic Programs and Attribute Grammars Journal of Logic Programming"},{"issue":"6","key":"8_CR5","doi-asserted-by":"crossref","first-page":"939","DOI":"10.1109\/69.250076","volume":"5","author":"S. Dieroski","year":"1994","unstructured":"Dieroski, S., Lavra\u010d, N.: Inductive Learning in Deductive Databases, IEEE Transactions on Knowledge and Data Engineering 5 (6): (1994) 939\u2013949","journal-title":"Inductive Learning in Deductive Databases, IEEE Transactions on Knowledge and Data Engineering"},{"key":"8_CR6","unstructured":"Fritzson, P., Gyim\u00f4thy, T., Kamkar, M., Shahmeri, N.: Generalized Algorithmic Debugging and Testing in Proceedings of ACM SIGPLAN '91 Conference on Programming Language Design and Implementation, Toronto, Ontario 1991. ACM SIGPLAN Notices 26, 6, (1991) 317\u2013326"},{"key":"8_CR7","unstructured":"K\u00f3kai, G., Alexin, Z., Kocsis, F.: The IDT System and its Application for Learning Prolog Programs. Proc. of the Sixth International Conference on Artificial Intelligence and Information Control Systems of Robots (AIICSR-94) Smolenice Castle Slovakia September 12\u201316. (1994) 315\u2013320"},{"key":"8_CR8","unstructured":"K\u00f3kai, G., Alexin, Z., Gyim\u00f4thy, 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":"8_CR9","unstructured":"Lavra\u010d, N., D\u017eeroski, S.: Inductive Logic Programming: Techniques and Applications Ellis Horwood, (1994)"},{"key":"8_CR10","unstructured":"Muggleton, S.: Inverse entailment and Progol, New Generation Computing Vol 13. (special issue on Inductive Logic Programming) Ohmsha, (1995) 245\u2013286"},{"issue":"20","key":"8_CR11","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"},{"key":"8_CR12","unstructured":"Ostrand, T. J., Balker, M. J.: The Category-Partition Method for Specifying and Generating Functional Tests CALM 31:6 June (1988) 676-686"},{"key":"8_CR13","unstructured":"Paakki, J., Gyim\u00f4thy, 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-14. (1994) 175\u2013194"},{"key":"8_CR14","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(80)90003-X","volume":"13","author":"F. C. N. Pereira","year":"1980","unstructured":"Pereira, F. C. N., Warren, D. H. D.: Definite clause grammars for language analysis \u2014 a survey of the formalism and a comparison with augmented transition networks Artificial Intelligence 13: 231\u2013278, (1980)","journal-title":"Artificial Intelligence"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Shapiro, E. Y.: Algorithmic Program Debugging MIT Press (1983)","DOI":"10.7551\/mitpress\/1192.001.0001"},{"key":"8_CR16","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"},{"key":"8_CR17","unstructured":"Skordalakis, E., Papakonstantinou G.: Towards an Attribute Grammar for the Description of ECG Waveforms 7th International Conference on Pattern Recognition (1984)."},{"key":"8_CR18","first-page":"127","volume-title":"Unfold\/Fold Transformations of Logic Programs, Proceedings of the Second International Logic Programming Conference","author":"H. Tamaki","year":"1984","unstructured":"Tamaki, H., Sato, T.: Unfold\/Fold Transformations of Logic Programs, Proceedings of the Second International Logic Programming Conference, Uppsala University, Uppsala, Sweden (1984) 127\u2013138"},{"issue":"7","key":"8_CR19","first-page":"370","volume":"BME-27","author":"J.K. Udupa","year":"1980","unstructured":"Udupa J.K., Murthy I.S.N.: Syntactic Approach to ECG Rhythm analysis IEEE Transactions on Biomedical Engineering, vol. BME-27, No.7 pp 370\u2013375, July 1980","journal-title":"Syntactic Approach to ECG Rhythm analysis IEEE Transactions on Biomedical Engineering"}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63494-0_52","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T21:16:03Z","timestamp":1739999763000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63494-0_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634942","9783540695837"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-63494-0_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}