{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:36:52Z","timestamp":1760708212210},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540202936"},{"type":"electronic","value":"9783540396444"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39644-4_26","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T19:38:23Z","timestamp":1277840303000},"page":"297-305","source":"Crossref","is-referenced-by-count":2,"title":["Using Constraints in Discovering Dynamics"],"prefix":"10.1007","author":[{"given":"Sa\u0161o","family":"D\u017eeroski","sequence":"first","affiliation":[]},{"given":"Ljup\u010do","family":"Todorovski","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Ljubi\u010d","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"Bayardo, R.: Constraints in data mining. SIGKDD Explorations\u00a04(1) (2002)","DOI":"10.1145\/772862.772863"},{"key":"26_CR2","volume-title":"Computational Logic: From Logic Programming into the Future","author":"L. Raedt De","year":"2002","unstructured":"De Raedt, L.: Data mining as constraint logic programming. In: Computational Logic: From Logic Programming into the Future, Springer, Berlin (2002)"},{"key":"26_CR3","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/BF00962824","volume":"4","author":"S. D\u017eeroski","year":"1995","unstructured":"D\u017eeroski, S., Todorovski, L.: Discovering dynamics: from inductive logic programming to machine discovery. J. Intelligent Information Systems\u00a04, 89\u2013108 (1995)","journal-title":"J. Intelligent Information Systems"},{"issue":"2","key":"26_CR4","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/380995.381012","volume":"2","author":"M. Garofalakis","year":"2000","unstructured":"Garofalakis, M., Rastogi, R.: Scalable data mining with model constraints. SIGKDD Explorations\u00a02(2), 39\u201348 (2000)","journal-title":"SIGKDD Explorations"},{"issue":"11","key":"26_CR5","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1145\/240455.240472","volume":"39","author":"T. Imielinski","year":"1996","unstructured":"Imielinski, T., Mannila, H.: A database perspective on knowledge discovery. Communications of the ACM\u00a039(11), 58\u201364 (1996)","journal-title":"Communications of the ACM"},{"key":"26_CR6","first-page":"434","volume-title":"Proc. 6thPacific Symposium on Biocomputing","author":"J.R. Koza","year":"2001","unstructured":"Koza, J.R., Mydlowec, W., Lanza, G., Yu, J., Keane, M.A.: Reverse engineering of metabolic pathways from observed data using genetic programming. In: Proc. 6thPacific Symposium on Biocomputing, pp. 434\u2013445. World Scientific, Singapore (2001)"},{"key":"26_CR7","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6090.001.0001","volume-title":"Scientific discovery","author":"P. Langley","year":"1987","unstructured":"Langley, P., Simon, H.A., Bradshaw, G.L., \u017bythow, J.M.: Scientific discovery. MIT Press, Cambridge (1987)"},{"issue":"3","key":"26_CR8","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1009796218281","volume":"1","author":"H. Mannila","year":"1997","unstructured":"Mannila, H., Toivonen, H.: Levelwise search and borders of theories in knowledge discovery. Data Mining and Knowledge Discovery\u00a01(3), 241\u2013258 (1997)","journal-title":"Data Mining and Knowledge Discovery"},{"key":"26_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/3-540-45650-3_29","volume-title":"Discovery Science","author":"K. Saito","year":"2001","unstructured":"Saito, K., Langley, P., Grenager, T., Potter, C., Torregrosa, A., Klooster, S.A.: Computational revision of quantitative scientific models. In: Jantke, K.P., Shinohara, A. (eds.) DS 2001. LNCS (LNAI), vol.\u00a02226, pp. 336\u2013349. Springer, Heidelberg (2001)"},{"key":"26_CR10","first-page":"376","volume-title":"Proc. 14th Intl. Conference on Machine Learning","author":"L. Todorovski","year":"1997","unstructured":"Todorovski, L., D\u017eeroski, S.: Declarative bias in equation discovery. In: Proc. 14th Intl. Conference on Machine Learning, pp. 376\u2013384. Morgan Kaufmann, San Francisco (1997)"},{"key":"26_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/3-540-45650-3_33","volume-title":"Discovery Science","author":"L. Todorovski","year":"2001","unstructured":"Todorovski, L., D\u017eski, S.: Theory revision in equation discovery. In: Jantke, K.P., Shinohara, A. (eds.) DS 2001. LNCS (LNAI), vol.\u00a02226, pp. 390\u2013400. Springer, Heidelberg (2001)"},{"key":"26_CR12","first-page":"810","volume-title":"Proc. 15th Intl. Joint Conference on Artificial Intelligence","author":"T. Washio","year":"1997","unstructured":"Washio, T., Motoda, H.: Discovering admissible models of complex systems based on scale-types and identity constraints. In: Proc. 15th Intl. Joint Conference on Artificial Intelligence, pp. 810\u2013817. Morgan Kaufmann, San Francisco (1997)"}],"container-title":["Lecture Notes in Computer Science","Discovery Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39644-4_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:42:29Z","timestamp":1605760949000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39644-4_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202936","9783540396444"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39644-4_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}