{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:19:57Z","timestamp":1742617197346,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635765"},{"type":"electronic","value":"9783540696018"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63576-9_106","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:30:46Z","timestamp":1330299046000},"page":"171-182","source":"Crossref","is-referenced-by-count":4,"title":["Learning the syntax and semantic rules of an ECG grammar"],"prefix":"10.1007","author":[{"given":"Gabriella","family":"K\u00f3kai","sequence":"first","affiliation":[]},{"given":"J\u00e1nos","family":"Csirik","sequence":"additional","affiliation":[]},{"given":"Tibor","family":"Gyim\u00f3thy","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"16_CR1","unstructured":"Alexin, Z., Gyim\u00f3thy, T., Bostr\u00f6m, H.: Integrating Algorithmic Debugging and Unfolding Transformations 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":"16_CR2","doi-asserted-by":"crossref","unstructured":"Bergadano, F. Gunetti, D.: Inductive Logic Programming Form Machine Learning to Software Engineering The MIT Press (1996)","DOI":"10.7551\/mitpress\/3731.001.0001"},{"key":"16_CR3","unstructured":"Bostrom, H., Idestam-Almquist, P.: Specialization of Logic Programs by Pruning SLD-trees In: Proc. of the Fourth International Workshop on Inductive Logic Programming (ILP-94) Bad Honnef\/Bonn Germany September 12\u201314. (1994) 31\u201347"},{"key":"16_CR4","unstructured":"K\u00f3kai, G., Alexin, Z.,Gyim\u00f3thy, T.: Analyzing and learning ECG Waveforms. In Proc. of the Sixth International Workshop on Inductive Logic Programming (ILP'96) 28\u201330 August, 1996 Stockholm, Sweden, 152\u2013171"},{"key":"16_CR5","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/BFb0029443","volume-title":"Artificial Intelligence in Medicine","author":"Gabriella K\u00f3kai","year":"1997","unstructured":"K\u00f3kai, G., Alexin, Z., Gyim\u00f3thy, T.: Application of Inductive Logic Programming for Learning ECG Waveform. In Proc. of AIME'97 The 6th Conference on Artificial Intelligence in Medical Europa, 23rd\u201326th March 1997 Grenoble, France 126\u2013130"},{"key":"16_CR6","unstructured":"Moratis, C., Papakonstantinou, G., Skordalakis, E. A Syntactic Model for Pattern Generation Proceedings Int. AMSF. Conf. \u201cModelling & Simulation\u201d Athens, June 27\u201329, 1984, Vol. 1.2, p. 1\u20138"},{"issue":"20","key":"16_CR7","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":"16_CR8","unstructured":"Ostrand, T. J., Balker, M. J.: The Category-Partition Method for Specifying and Generating In: Functional Tests CALM 31:6 June (1988) 676\u2013686"},{"key":"16_CR9","unstructured":"Paakki, J., Gyim\u00f3thy, T., Horv\u00e1th T.,: Effective Algorithmic Debugging for Inductive Logic Programming. In Proc. of the Fourth International Workshop on Inductive Logic Programming (ILP-94) Bad Honnef\/Bonn Germany September 12\u201314.(1994) 175\u2013194"},{"key":"16_CR10","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\u2013a survey of the formalism and a comparison with augmented transition networks. In Artificial Intelligence 13: 231\u2013278, (1980)","journal-title":"In Artificial Intelligence"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Shapiro, E. Y.: Algorithmic Program Debugging MIT Press (1983)","DOI":"10.7551\/mitpress\/1192.001.0001"},{"key":"16_CR12","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":"16_CR13","first-page":"127","volume-title":"Proceedings of the Second International Logic Programming Conference","author":"H. Tamaki","year":"1984","unstructured":"Tamaki, H., Sato, T.: Unfold\/Fold Transformations of Logic Programs. In Proceedings of the Second International Logic Programming Conference, Uppsala University, Uppsala, Sweden (1984) 127\u2013138"}],"container-title":["Lecture Notes in Computer Science","AI*IA 97: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63576-9_106.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:44:14Z","timestamp":1742600654000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63576-9_106"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635765","9783540696018"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-63576-9_106","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}