{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,3]],"date-time":"2025-08-03T22:56:34Z","timestamp":1754261794236},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540739197"},{"type":"electronic","value":"9783540739203"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73920-3_4","type":"book-chapter","created":{"date-parts":[[2007,8,23]],"date-time":"2007-08-23T07:56:35Z","timestamp":1187855795000},"page":"69-97","source":"Crossref","is-referenced-by-count":8,"title":["Integrating Domain Knowledge in Equation Discovery"],"prefix":"10.1007","author":[{"given":"Ljup\u010do","family":"Todorovski","sequence":"first","affiliation":[]},{"given":"Sa\u0161o","family":"D\u017eeroski","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1016\/0304-3800(94)90042-6","volume":"75\/76","author":"G. Bendoricchio","year":"1994","unstructured":"Bendoricchio, G., Coffaro, G., DeMarchi, C.: A trophic model for Ulva Rigida in the Lagoon of Venice. Ecological Modelling\u00a075\/76, 485\u2013496 (1994)","journal-title":"Ecological Modelling"},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/151271.151279","volume":"19","author":"D.S. Bunch","year":"1993","unstructured":"Bunch, D.S., Gay, D.M., Welsch, R.E.: Algorithm 717; subroutines for maximum likelihood and quasi-likelihood estimation of parameters in nonlinear regression models. ACM Transactions on Mathematical Software\u00a019, 109\u2013130 (1993)","journal-title":"ACM Transactions on Mathematical Software"},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1109\/TIT.1956.1056813","volume":"2","author":"N. Chomsky","year":"1956","unstructured":"Chomsky, N.: Three models for the description of language. IRE Transactions on Information Theory\u00a02, 113\u2013124 (1956)","journal-title":"IRE Transactions on Information Theory"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Coffaro, G., Carrer, G., Bendoricchio, G.: Model for Ulva Rigida growth in the Lagoon of Venice (Technical Report). University of Padova, Padova, Italy. UNESCO MURST Project: Venice Lagoon Ecosystem (1993)","DOI":"10.1016\/0304-3800(94)90042-6"},{"key":"4_CR5","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. Journal of Intelligent Information Systems\u00a04, 89\u2013108 (1995)","journal-title":"Journal of Intelligent Information Systems"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0004-3702(91)90109-W","volume":"51","author":"B. Falkenheiner","year":"1991","unstructured":"Falkenheiner, B., Forbus, K.D.: Compositional modeling: Finding the right model for the job. Artificial Intelligence\u00a051, 95\u2013143 (1991)","journal-title":"Artificial Intelligence"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0004-3702(84)90038-9","volume":"24","author":"K.D. Forbus","year":"1984","unstructured":"Forbus, K.D.: Qulitative process theory. Artificial Intelligence\u00a024, 85\u2013168 (1984)","journal-title":"Artificial Intelligence"},{"key":"4_CR8","unstructured":"Giordano, F.R., Weir, M.D., Fox, W.P.: A first course in mathematical modeling. 2nd edn. Brooks\/Cole Publishing Company, Pacific Grove (1997)"},{"key":"4_CR9","volume-title":"Introduction to automata theory, languages and computation","author":"J.E. Hopcroft","year":"1979","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to automata theory, languages and computation. Addison-Wesley, Reading (1979)"},{"key":"4_CR10","first-page":"403","volume":"4","author":"M.M. Kokar","year":"1986","unstructured":"Kokar, M.M.: Determining arguments of invariant functional descriptions. Machine Learning\u00a04, 403\u2013422 (1986)","journal-title":"Machine Learning"},{"key":"4_CR11","unstructured":"Kompare, B., D\u017eeroski, S.: Getting more out of data: automated modelling of algal growth with machine learning. In: Proceedings of the International symposium on coastal ocean space utilisation, Yokohama, Japan, pp. 209\u2013220 (1995)"},{"key":"4_CR12","unstructured":"Kri\u017eman, V.: Avtomatsko odkrivanje strukture modelov dinami\u010dnih sistemov. Doctoral dissertation, Faculty of computer and information science, University of Ljubljana, Ljubljana, Slovenia. In Slovene (1998)"},{"key":"4_CR13","first-page":"347","volume-title":"Proceedings of the Fourteenth International Conference on Machine Learning","author":"P. Langley","year":"2002","unstructured":"Langley, P., Sanchez, J., Todorovski, L., D\u017eeroski, S.: Inducing process models from continuous data. In: Proceedings of the Fourteenth International Conference on Machine Learning, pp. 347\u2013354. Morgan Kaufmann, Sidney, Australia (2002)"},{"key":"4_CR14","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/978-3-642-82742-6_2","volume-title":"Computational models of learning","author":"P. Langley","year":"1987","unstructured":"Langley, P., Simon, H., Bradshaw, G.: Heuristics for empirical discovery. In: Computational models of learning, pp. 21\u201354. Springer, Heidelberg (1987)"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/0004-3702(89)90051-9","volume":"40","author":"P. Langley","year":"1989","unstructured":"Langley, P., \u017bytkow, J.: Data-driven approaches to empirical discovery. Artificial Intelligence\u00a040, 283\u2013312 (1989)","journal-title":"Artificial Intelligence"},{"key":"4_CR16","unstructured":"Lavra\u010d, N., D\u017eeroski, S.: Inductive logic programming: Techniques and applications. Ellis Horwood, Chichester (1994), available for download at http:\/\/www-ai.ijs.si\/SasoDzeroski\/ILPBook\/"},{"key":"4_CR17","first-page":"184","volume-title":"Readings in machine learning","author":"T.M. Mitchell","year":"1991","unstructured":"Mitchell, T.M.: The need for biases in learning generalizations. In: Readings in machine learning, pp. 184\u2013191. Morgan Kaufmann, San Mateo, CA (1991)"},{"key":"4_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-08542-4","volume-title":"Mathematical biology corrected","author":"J.D. Murray","year":"1993","unstructured":"Murray, J.D.: Mathematical biology, 2nd corrected edn. Springer, Heidelberg (1993)","edition":"2"},{"key":"4_CR19","first-page":"82","volume-title":"Advances in inductive logic programming","author":"C. N\u00e9dellec","year":"1996","unstructured":"N\u00e9dellec, C., Rouveirol, C., Ad\u00e9, H., Bergadano, F., Tausend, B.: Declarative bias in ILP. In: Raedt, L.D. (ed.) Advances in inductive logic programming, pp. 82\u2013103. IOS Press, Amsterdam, The Netherlands (1996)"},{"key":"4_CR20","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/0004-3702(94)90028-0","volume":"66","author":"D. Ourston","year":"1994","unstructured":"Ourston, D., Mooney, R.J.: Theory refinement combining analytical and empirical methods. Artificial Intelligence\u00a066, 273\u2013309 (1994)","journal-title":"Artificial Intelligence"},{"key":"4_CR21","first-page":"57","volume":"9","author":"M. Pazzani","year":"1992","unstructured":"Pazzani, M., Kibler, D.: The utility of background knowledge in inductive learning. Machine Learning\u00a09, 57\u201394 (1992)","journal-title":"Machine Learning"},{"key":"4_CR22","doi-asserted-by":"crossref","first-page":"380","DOI":"10.1055\/s-0038-1634196","volume":"40","author":"M.J. Pazzani","year":"2001","unstructured":"Pazzani, M.J., Mani, S., Shankle, W.R.: Acceptance of rules generated by machine learning among medical experts. Methods of Information in Medicine\u00a040, 380\u2013385 (2001)","journal-title":"Methods of Information in Medicine"},{"key":"4_CR23","first-page":"1","volume":"49B","author":"C.S. Potter","year":"1997","unstructured":"Potter, C.S., Klooster, S.A.: Global model estimates of carbon and nitrogen storage in litter and soil pools: Response to change in vegetation quality and biomass allocation. Tellus\u00a049B, 1\u201317 (1997)","journal-title":"Tellus"},{"key":"4_CR24","volume-title":"C4.5: Programs for machine learning","author":"J.R. Quinlan","year":"1993","unstructured":"Quinlan, J.R.: C4.5: Programs for machine learning. Morgan Kaufmann, San Mateo (1993)"},{"key":"4_CR25","volume-title":"Eco-logic: logic-based approaches to ecological modelling","author":"D. Robertson","year":"1991","unstructured":"Robertson, D., Bundy, A., Muetzelfield, R., Haggith, M., Uschold, M.: Eco-logic: logic-based approaches to ecological modelling. MIT Press, Cambridge (1991)"},{"key":"4_CR26","first-page":"77","volume":"24","author":"P. Salles","year":"2003","unstructured":"Salles, P., Bredeweg, B.: Qualitative reasoning about population and community ecology. AI Magazine\u00a024, 77\u201390 (2003)","journal-title":"AI Magazine"},{"key":"4_CR27","unstructured":"Todorovski, L.: Using domain knowledge for automated modeling of dynamic systems with equation discovery. Doctoral dissertation, Faculty of computer and information science, University of Ljubljana, Slovenia (2003)"},{"key":"4_CR28","first-page":"376","volume-title":"Proceedings of the Fourteenth International Conference on Machine Learning","author":"L. Todorovski","year":"1997","unstructured":"Todorovski, L., D\u017eeroski, S.: Declarative bias in equation discovery. In: Proceedings of the Fourteenth International Conference on Machine Learning, pp. 376\u2013384. Morgan Kaufmann, San Mateo (1997)"},{"key":"4_CR29","first-page":"389","volume-title":"Proceedings of the Fourth International Conference on Discovery Science","author":"L. Todorovski","year":"2001","unstructured":"Todorovski, L., D\u017eeroski, S.: Theory revision in equation discovery. In: Proceedings of the Fourth International Conference on Discovery Science, pp. 389\u2013400. Springer, Heidelberg (2001a)"},{"key":"4_CR30","first-page":"478","volume-title":"Proceedings of the Twelfth European Conference on Machine Learning","author":"L. Todorovski","year":"2001","unstructured":"Todorovski, L., D\u017eeroski, S.: Using domain knowledge on population dynamics modeling for equation discovery. In: Proceedings of the Twelfth European Conference on Machine Learning, pp. 478\u2013490. Springer, Heidelberg (2001b)"},{"key":"4_CR31","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/S0304-3800(98)00135-5","volume":"113","author":"L. Todorovski","year":"1998","unstructured":"Todorovski, L., D\u017eeroski, S., Kompare, B.: Modelling and prediction of phytoplankton growth with equation discovery. Ecological Modelling\u00a0113, 71\u201381 (1998)","journal-title":"Ecological Modelling"},{"key":"4_CR32","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/0004-3702(94)90105-8","volume":"70","author":"G.G. Towell","year":"1994","unstructured":"Towell, G.G., Shavlik, J.W.: Knowledge-based artificial neural networks. Artificial Intelligence\u00a070, 119\u2013165 (1994)","journal-title":"Artificial Intelligence"},{"key":"4_CR33","first-page":"107","volume-title":"Machine learning: An artificial intelligence approach \u2014 vol. 2","author":"P.E. Utgoff","year":"1986","unstructured":"Utgoff, P.E.: Shift of bias for inductive concept learning. In: Machine learning: An artificial intelligence approach \u2014 vol. 2, pp. 107\u2013148. Morgan Kaufmann, San Mateo, CA (1986)"},{"key":"4_CR34","volume-title":"Computational analysis of biochemical systems","author":"E.O. Voit","year":"2000","unstructured":"Voit, E.O.: Computational analysis of biochemical systems. Cambridge University Press, Cambridge, UK (2000)"},{"key":"4_CR35","first-page":"810","volume-title":"Proceedings of the Fifteenth International 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: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, pp. 810\u2013817. Morgan Kaufmann, San Mateo, CA (1997)"},{"key":"4_CR36","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/S0304-3800(01)00310-6","volume":"146","author":"P.A. Whigham","year":"2001","unstructured":"Whigham, P.A., Recknagel, F.: Predicting chlorophyll-a in freshwater lakes by hybridising process-based models and genetic algorithms. Ecological Modelling\u00a0146, 243\u2013251 (2001)","journal-title":"Ecological Modelling"},{"key":"4_CR37","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1162\/neco.1989.1.2.270","volume":"1","author":"R.J. Williams","year":"1989","unstructured":"Williams, R.J., Zipser, D.: A learning algorithm for continually running fully recurrent neural networks. Neural Computation\u00a01, 270\u2013280 (1989)","journal-title":"Neural Computation"},{"key":"4_CR38","first-page":"14","volume-title":"Advances in inductive logic programming","author":"S. Wrobel","year":"1996","unstructured":"Wrobel, S.: First order theory refinement. In: Raedt, L.D. (ed.) Advances in inductive logic programming, pp. 14\u201333. IOS Press, Amsterdam, The Netherlands (1996)"},{"key":"4_CR39","first-page":"70","volume-title":"Proceedings of the Tenth National Conference on Artificial Intelligence","author":"R. Zembowicz","year":"1992","unstructured":"Zembowicz, R., \u017bytkow, J.M.: Discovery of equations: Experimental evaluation of convergence. In: Proceedings of the Tenth National Conference on Artificial Intelligence, pp. 70\u201375. Morgan Kaufmann, San Mateo (1992)"}],"container-title":["Lecture Notes in Computer Science","Computational Discovery of Scientific Knowledge"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73920-3_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:16:57Z","timestamp":1605763017000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73920-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540739197","9783540739203"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73920-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}