{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:38:39Z","timestamp":1725489519674},"publisher-location":"Berlin, Heidelberg","reference-count":48,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540739197"},{"type":"electronic","value":"9783540739203"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73920-3_2","type":"book-chapter","created":{"date-parts":[[2007,8,23]],"date-time":"2007-08-23T03:56:35Z","timestamp":1187841395000},"page":"17-43","source":"Crossref","is-referenced-by-count":3,"title":["Communicable Knowledge in Automated System Identification"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"Stolle","sequence":"first","affiliation":[]},{"given":"Elizabeth","family":"Bradley","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1145\/63485.63486","volume":"32","author":"H. Abelson","year":"1989","unstructured":"Abelson, H., Eisenberg, M., Halfant, M., Katzenelson, J., Sussman, G.J., Yip, K.: Intelligence in scientific computing. Communications of the ACM\u00a032, 546\u2013562 (1989)","journal-title":"Communications of the ACM"},{"doi-asserted-by":"crossref","unstructured":"Abelson, H., Sussman, G.J.: The Dynamicist\u2019s Workbench I: Automatic preparation of numerical experiments. In: Symbolic computation: Applications to scientific computing. Frontiers in Applied Mathematics. vol. 5, Society for Industrial and Applied Mathematics, Philadelphia, PA (1989)","key":"2_CR2","DOI":"10.1137\/1.9781611971033.ch2"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/0004-3702(91)90110-6","volume":"51","author":"S. Addanki","year":"1991","unstructured":"Addanki, S., Cremonini, R., Penberthy, J.S.: Graphs of models. Artificial Intelligence\u00a051, 145\u2013177 (1991)","journal-title":"Artificial Intelligence"},{"unstructured":"Beckstein, C., Stolle, R., Tobermann, G.: Meta-programming for generalized Horn clause logic. In: Proceedings of the Fifth International Workshop on Metaprogramming and Metareasoning in Logic, pp. 27\u201342. Bonn, Germany (1996)","key":"2_CR4"},{"unstructured":"Beckstein, C., Tobermann, G.: Evolutionary logic programming with RISC. In: Proceedings of the Fourth International Workshop on Logic Programming Environments, pp. 16\u201321. Washington, D.C. (1992)","key":"2_CR5"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1080\/01969729508927509","volume":"26","author":"E. Bradley","year":"1995","unstructured":"Bradley, E.: Autonomous exploration and control of chaotic systems. Cybernetics and Systems\u00a026, 299\u2013319 (1995)","journal-title":"Cybernetics and Systems"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S1088-467X(98)00019-5","volume":"2","author":"E. Bradley","year":"1998","unstructured":"Bradley, E., Easley, M.: Reasoning about sensor data for automated system identification. Intelligent Data Analysis\u00a02, 123\u2013138 (1998)","journal-title":"Intelligent Data Analysis"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/S0004-3702(01)00143-6","volume":"133","author":"E. Bradley","year":"2001","unstructured":"Bradley, E., Easley, M., Stolle, R.: Reasoning about nonlinear system identification. Artificial Intelligence\u00a0133, 139\u2013188 (2001)","journal-title":"Artificial Intelligence"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1023\/A:1018972409754","volume":"23","author":"E. Bradley","year":"1998","unstructured":"Bradley, E., O\u2019Gallagher, A., Rogers, J.: Global solutions for nonlinear systems using qualitative reasoning. Annals of Mathematics and Artificial Intelligence\u00a023, 211\u2013228 (1998)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF02284622","volume":"17","author":"E. Bradley","year":"1996","unstructured":"Bradley, E., Stolle, R.: Automatic construction of accurate models of physical systems. Annals of Mathematics and Artificial Intelligence\u00a017, 1\u201328 (1996)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1109\/5326.704564","volume":"28","author":"A. Capelo","year":"1998","unstructured":"Capelo, A., Ironi, L., Tentoni, S.: Automated mathematical modeling from experimental data: An application to material science. IEEE Transactions on Systems, Man and Cybernetics \u2013 C\u00a028, 356\u2013370 (1998)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics \u2013 C"},{"volume-title":"Nonlinear modeling and forecasting","year":"1992","unstructured":"Casdagli, M., Eubank, S. (eds.): Nonlinear modeling and forecasting. Addison Wesley, Reading (1992)","key":"2_CR12"},{"key":"2_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-7386-9","volume-title":"Maple V language reference manual","author":"B.W. Char","year":"1991","unstructured":"Char, B.W., Geddes, K.O., Gonnet, G.H., Leong, B.L., Monagan, M.B., Watt, S.M.: Maple V language reference manual. Springer, Heidelberg (1991)"},{"volume-title":"Artificial intelligence. Special Volume on Qualitative Reasoning About Physical Systems II","year":"1991","unstructured":"de Kleer, J., Williams, B.C. (eds.): Artificial intelligence. Special Volume on Qualitative Reasoning About Physical Systems II, vol.\u00a051. Elsevier Science, Amsterdam (1991)","key":"2_CR14"},{"key":"2_CR15","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"},{"doi-asserted-by":"crossref","unstructured":"Easley, M., Bradley, E.: Generalized physical networks for automated model building. In: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, pp. 1047\u20131053. Stockholm, Sweden (1999a)","key":"2_CR16","DOI":"10.21236\/ADA454690"},{"doi-asserted-by":"crossref","unstructured":"Easley, M., Bradley, E.: Reasoning about input-output modeling of dynamical systems. In: Proceedings of the Third International Symposium on Intelligent Data Analysis, pp. 343\u2013355. Amsterdam, The Netherlands (1999b)","key":"2_CR17","DOI":"10.1007\/3-540-48412-4_29"},{"unstructured":"Easley, M., Bradley, E.: Meta-domains for automated system identification. In: Proceedings of the Eleventh International Conference on Smart Engineering System Design, pp. 165\u2013170. St. Louis, MI (2000)","key":"2_CR18"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0004-3702(91)90109-W","volume":"51","author":"B. Falkenhainer","year":"1991","unstructured":"Falkenhainer, B., Forbus, K.D.: Compositional modeling: Finding the right model for the job. Artificial Intelligence\u00a051, 95\u2013143 (1991)","journal-title":"Artificial Intelligence"},{"unstructured":"Faltings, B., Gelle, E.: Local consistency for ternary numeric constraints. In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, pp. 392\u2013397. Nagoya, Japan (1997)","key":"2_CR20"},{"key":"2_CR21","volume-title":"Recent advances in qualitative physics","author":"B. Faltings","year":"1992","unstructured":"Faltings, B., Struss, P. (eds.): Recent advances in qualitative physics. MIT Press, Cambridge, MA (1992)"},{"key":"2_CR22","doi-asserted-by":"publisher","first-page":"845","DOI":"10.1103\/PhysRevLett.59.845","volume":"59","author":"J. Farmer","year":"1987","unstructured":"Farmer, J., Sidorowich, J.: Predicting chaotic time series. Physical Review Letters\u00a059, 845\u2013848 (1987)","journal-title":"Physical Review Letters"},{"key":"2_CR23","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.: Qualitative process theory. Artificial Intelligence\u00a024, 85\u2013168 (1984)","journal-title":"Artificial Intelligence"},{"key":"2_CR24","first-page":"715","volume-title":"CRC computer science and engineering handbook, ch. 32","author":"K.D. Forbus","year":"1996","unstructured":"Forbus, K.D.: Qualitative reasoning. In: Tucker Jr., A.B. (ed.) CRC computer science and engineering handbook, ch. 32, pp. 715\u2013733. CRC Press, Boca Raton, FL (1996)"},{"doi-asserted-by":"crossref","unstructured":"Hogan, A., Stolle, R., Bradley, E.: Putting declarative meta control to work (Technical Report CU-CS-856-98). University of Colorado, Boulder (1998)","key":"2_CR25","DOI":"10.21236\/ADA436803"},{"doi-asserted-by":"crossref","unstructured":"Huang, K.-M., \u017bytkow, J.M.: Discovering empirical equations from robot-collected data. In: Foundations of Intelligent Systems (Proceedings of the Tenth International Symposium on Methodologies for Intelligent systems), pp. 287\u2013297. Charlotte, NC (1997)","key":"2_CR26","DOI":"10.1007\/3-540-63614-5_28"},{"key":"2_CR27","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"20","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.J.: Constraint logic programming: A survey. Journal of Logic Programming\u00a020, 503\u2013581 (1994)","journal-title":"Journal of Logic Programming"},{"key":"2_CR28","volume-title":"Applied system identification","author":"J.-N. Juang","year":"1994","unstructured":"Juang, J.-N.: Applied system identification. Prentice Hall, Englewood Cliffs (1994)"},{"key":"2_CR29","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0004-3702(86)90073-1","volume":"29","author":"B.J. Kuipers","year":"1986","unstructured":"Kuipers, B.J.: Qualitative simulation. Artificial Intelligence\u00a029, 289\u2013338 (1986)","journal-title":"Artificial Intelligence"},{"key":"2_CR30","volume-title":"Qualitative reasoning: Modeling and simulation with incomplete knowledge","author":"B.J. Kuipers","year":"1992","unstructured":"Kuipers, B.J.: Qualitative reasoning: Modeling and simulation with incomplete knowledge. Addison-Wesley, Reading (1992)"},{"key":"2_CR31","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0004-3702(93)90178-E","volume":"59","author":"B.J. Kuipers","year":"1993","unstructured":"Kuipers, B.J.: Reasoning with qualitative models. Artificial Intelligence\u00a059, 125\u2013132 (1993)","journal-title":"Artificial Intelligence"},{"key":"2_CR32","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1006\/ijhc.2000.0396","volume":"53","author":"P. Langley","year":"2000","unstructured":"Langley, P.: The computational support of scientific discovery. International Journal of Human-Computer Studies\u00a053, 393\u2013410 (2000)","journal-title":"International Journal of Human-Computer Studies"},{"volume-title":"Scientific discovery: Computational explorations of the creative processes","year":"1987","unstructured":"Langley, P., Simon, H.A., Bradshaw, G.L., \u017bytkow, J.M. (eds.): Scientific discovery: Computational explorations of the creative processes. MIT Press, Cambridge, MA (1987)","key":"2_CR33"},{"volume-title":"System identification; theory for the user","year":"1987","unstructured":"Ljung, L. (ed.): System identification; theory for the user. Prentice-Hall, Englewood Cliffs (1987)","key":"2_CR34"},{"key":"2_CR35","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(88)90005-2","volume":"5","author":"L.T. McCarty","year":"1988","unstructured":"McCarty, L.T.: Clausal intuitionistic logic I. Fixed-point semantics. The Journal of Logic Programming\u00a05, 1\u201331 (1988)","journal-title":"The Journal of Logic Programming"},{"key":"2_CR36","volume-title":"The art of modeling dynamic systems","author":"F. Morrison","year":"1991","unstructured":"Morrison, F.: The art of modeling dynamic systems. John Wiley & Sons, New York (1991)"},{"key":"2_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60641-6","volume-title":"Automated Modeling of Physical Systems","author":"P.P. Nayak","year":"1995","unstructured":"Nayak, P.P.: Automated Modeling of Physical Systems (Revised version of Ph.D. thesis, Stanford University). LNCS, vol.\u00a01003. Springer, Heidelberg (1995)"},{"key":"2_CR38","doi-asserted-by":"publisher","first-page":"913","DOI":"10.1088\/0951-7715\/11\/4\/009","volume":"11","author":"V. Robins","year":"1998","unstructured":"Robins, V., Meiss, J., Bradley, E.: Computing connectedness: An exercise in computational topology. Nonlinearity\u00a011, 913\u2013922 (1998)","journal-title":"Nonlinearity"},{"key":"2_CR39","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1016\/S0167-2789(99)00228-6","volume":"139","author":"V. Robins","year":"2000","unstructured":"Robins, V., Meiss, J., Bradley, E.: Computing connectedness: Disconnectedness and discreteness. Physica D\u00a0139, 276\u2013300 (2000)","journal-title":"Physica D"},{"key":"2_CR40","series-title":"Lecture Notes in Computer Science","volume-title":"Doctoral dissertation, University of Colorado at Boulder","author":"R. Stolle","year":"1998","unstructured":"Stolle, R.: Integrated multimodal reasoning for modeling of physical systems. In: Doctoral dissertation, University of Colorado at Boulder. LNCS, Springer, Heidelberg (to appear, 1998)"},{"unstructured":"Stolle, R., Bradley, E.: Multimodal reasoning for automatic model construction. In: Proceedings of the Fifteenth National Conference on Artificial Intelligence, pp. 181\u2013188. Madison, WI (1998)","key":"2_CR41"},{"key":"2_CR42","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(80)90032-6","volume":"14","author":"G.J. Sussman","year":"1980","unstructured":"Sussman, G.J., Steele, G.L.: CONSTRAINTS\u2014a language for expressing almost hierarchical descriptions. Artificial Intelligence\u00a014, 1\u201339 (1980)","journal-title":"Artificial Intelligence"},{"unstructured":"Todorovski, L., D\u017eeroski, S.: Declarative bias in equation discovery. In: Proceedings of the Fourteenth International Conference on Machine Learning, pp. 376\u2013384. Nashville, TN (1997)","key":"2_CR43"},{"unstructured":"Washio, T., Motoda, H., Yuji, N.: Discovering admissible model equations from observed data based on scale-types and identity constraints. In: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, pp. 772\u2013779. Stockholm, Sweden (1999)","key":"2_CR44"},{"unstructured":"Weigend, A.S., Gershenfeld, N.S. (eds.): Time series prediction: Forecasting the future and understanding the past. Santa Fe Institute Studies in the Sciences of Complexity, Santa Fe, NM (1993)","key":"2_CR45"},{"volume-title":"Readings in qualitative reasoning about physical systems","year":"1990","unstructured":"Weld, D.S., de Kleer, J. (eds.): Readings in qualitative reasoning about physical systems. Morgan Kaufmann, San Mateo CA (1990)","key":"2_CR46"},{"key":"2_CR47","series-title":"Artificial Intelligence Series","volume-title":"KAM: A system for intelligently guiding numerical experimentation by computer","author":"K. Yip","year":"1991","unstructured":"Yip, K.: KAM: A system for intelligently guiding numerical experimentation by computer. Artificial Intelligence Series. MIT Press, Cambridge (1991)"},{"unstructured":"\u017bytkow, J.M.: Model construction: Elements of a computational mechanism. In: Proceedings of the Symposium on Artificial Intelligence and Scientific Creativity, pp. 65\u201371. Edinburgh, UK (1999)","key":"2_CR48"}],"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_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T10:12:09Z","timestamp":1558260729000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73920-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540739197","9783540739203"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73920-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}