{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:44:07Z","timestamp":1725486247997},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540429562"},{"type":"electronic","value":"9783540456506"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45650-3_33","type":"book-chapter","created":{"date-parts":[[2007,6,3]],"date-time":"2007-06-03T21:48:45Z","timestamp":1180907325000},"page":"389-400","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Theory Revision 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","published-online":{"date-parts":[[2001,12,20]]},"reference":[{"key":"33_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6090.001.0001","volume-title":"Scientific Discovery","author":"P. Langley","year":"1987","unstructured":"P. Langley, H. A. Simon, G. L. Bradshaw, and J. M. \u017bythow. Scientific Discovery.MIT Press, Cambridge, MA, 1987."},{"key":"33_CR2","volume-title":"Inductive Logic Programming: Techniques and Applications","author":"N. Lavrac","year":"1994","unstructured":"N. Lavrac and Sa\u0161o D\u017eeroski. Inductive Logic Programming: Techniques and Applications.Ellis Horwood, Chichester, 1994. Freely available at http:\/\/www-ai.ijs.si\/SasoDzeroski\/ILPBook\/ ."},{"key":"33_CR3","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/0004-3702(94)90028-0","volume":"66","author":"D. Ourston","year":"1994","unstructured":"D. Ourston and R. J. Mooney. Theory refinement combining analytical and empiricalmethods. Artificial Intelligence, 66:273\u2013309, 1994.","journal-title":"Artificial Intelligence"},{"key":"33_CR4","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1029\/98GB02425","volume":"12","author":"C. S. Potter","year":"1998","unstructured":"C. S. Potter and S. A. Klooster. Interannual variability in soil trace gas (CO2,N2O, NO) uxes and analysis of controllers on regional to global scales. GlobalBiogeochemical Cycles, 12:621\u2013635, 1998.","journal-title":"GlobalBiogeochemical Cycles"},{"key":"33_CR5","doi-asserted-by":"crossref","unstructured":"K. Saito, P. Langley, and T. Grenager.The computational revision of quantitativescientific models. 2001. Submitted to Discovery Science conference.","DOI":"10.1007\/3-540-45650-3_29"},{"key":"33_CR6","first-page":"376","volume-title":"Proceedingsofthe Fourteenth International Conference on Machine Learning","author":"L. Todorovski","year":"1997","unstructured":"L. Todorovski and S. D\u017eeroski. Declarative bias in equation discovery. In Proceedingsofthe Fourteenth International Conference on Machine Learning, pages376\u2013384, Nashville, MA, 1997. Morgan Kaufmann."},{"key":"33_CR7","first-page":"810","volume-title":"Proceedings of the Fifteenth InternationalJoint Conference on Artificial Intelligence","author":"T. Washio","year":"1997","unstructured":"T. Washio and H. Motoda. Discovering admissible models of complex systemsbased on scale-types and identity constraints. In Proceedings of the Fifteenth InternationalJoint Conference on Artificial Intelligence, volume 2, pages 810\u2013817,Nogoya, Japan, 1997. Morgan Kaufmann."},{"key":"33_CR8","unstructured":"P. A. Whigham and F. Recknagel. Predicting chlorophyll-a in freshwater lakesby hybridising process-based models and genetic algorithms. In Book ofA bstractsofthe Second International Conference on Applications ofMachine Learning toEcological Modeling. Adelaide University, 2000."},{"key":"33_CR9","unstructured":"S. Wrobel. First order theory refinement. InL.Y De Raedt, editor, Advances inInductive Logic Programming, pages 14\u201333. IOS Press, 1996."},{"key":"33_CR10","first-page":"70","volume-title":"Proceedings ofthe Tenth National Conference on ArtificialIntelligence","author":"R. Zembowicz","year":"1992","unstructured":"R. Zembowicz and J. M. \u017bytkow. Discovery of equations: Experimental evaluationof convergence. In Proceedings ofthe Tenth National Conference on ArtificialIntelligence, pages 70\u201375, San Jose, CA, 1992. Morgan Kaufmann."}],"container-title":["Lecture Notes in Computer Science","Discovery Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45650-3_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,14]],"date-time":"2021-08-14T14:47:21Z","timestamp":1628952441000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45650-3_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540429562","9783540456506"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-45650-3_33","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"20 December 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}