{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:29:04Z","timestamp":1761596944608},"reference-count":58,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1996,3,1]],"date-time":"1996-03-01T00:00:00Z","timestamp":825638400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1996,3]]},"DOI":"10.1007\/bf02284622","type":"journal-article","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T19:16:16Z","timestamp":1138216576000},"page":"1-28","source":"Crossref","is-referenced-by-count":18,"title":["Automatic construction of accurate models of physical systems"],"prefix":"10.1007","volume":"17","author":[{"given":"Elizabeth","family":"Bradley","sequence":"first","affiliation":[]},{"given":"Reinhard","family":"Stolle","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF02284622_CR1","doi-asserted-by":"crossref","unstructured":"H. Abelson, M. Eisenberg, M. Halfant, J. Katzenelson, G.J. Sussman and K. Yip, Intelligence in scientific computing,Commun. ACM (June 1989).","DOI":"10.1145\/63485.63486"},{"key":"BF02284622_CR2","doi-asserted-by":"crossref","unstructured":"S. Addanki, R. Cremonini and J.S. Penberthy, Reasoning about assumptions in graphs of models,Proc. IJCAI-89, Detroit, MI (1989).","DOI":"10.1016\/B978-1-4832-1447-4.50054-7"},{"key":"BF02284622_CR3","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0004-3702(91)90110-6","volume":"51","author":"S. Addanki","year":"1991","unstructured":"S. Addanki, R. Cremonini and J.S. Penberthy, Graphs of models,Artificial Intelligence 51 (1991) 145\u2013178.","journal-title":"Artificial Intelligence"},{"key":"BF02284622_CR4","unstructured":"J. Amsterdam, Automated qualitative modeling of dynamic physical systems, Ph.D. Thesis, MIT (1992)."},{"key":"BF02284622_CR5","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0005-1098(71)90059-8","volume":"7","author":"K.J. Astrom","year":"1971","unstructured":"K.J. Astrom and P. Eykhoff, System identification \u2014 a survey,Automatica 7 (1971) 123\u2013167.","journal-title":"Automatica"},{"key":"BF02284622_CR6","volume-title":"Recent Advances in Qualitative Physics","author":"D. Berleant","year":"1992","unstructured":"D. Berleant and B.J. Kuipers, Combined qualitative and numerical simulation with Q3, in: eds. B. Faltings and P. Struss,Recent Advances in Qualitative Physics (MIT Press, Cambridge, MA, 1992)."},{"key":"BF02284622_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(84)90036-5","volume":"24","author":"D.G. Bobrow","year":"1984","unstructured":"D.G. Bobrow, Qualitative reasoning about physical systems: An introduction,Artificial Intelligence 24 (1984) 1\u20135.","journal-title":"Artificial Intelligence"},{"key":"BF02284622_CR8","volume-title":"Qualitative Reasoning about Physical Systems","author":"D.G. Bobrow","year":"1985","unstructured":"D.G. Bobrow (ed.),Qualitative Reasoning about Physical Systems (MIT Press, Cambridge, MA, 1985)."},{"key":"BF02284622_CR9","volume-title":"Artificial Intelligence in Perspective","year":"1993","unstructured":"D.G. Bobrow (ed.),Artificial Intelligence in Perspective (MIT Press, Cambridge, MA, 1993)."},{"key":"BF02284622_CR10","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1145\/76909.76913","volume":"15","author":"P.T. Boggs","year":"1989","unstructured":"P.T. Boggs, J.R. Donaldson, R.H. Byrd and R.B. Schnabel, Algorithm 676 \u2014 ODRPACK: Software for orthogonal distance regression,ACM Trans. Math. Software 15 (1989) 348\u2013364.","journal-title":"ACM Trans. Math. Software"},{"key":"BF02284622_CR11","unstructured":"E. Bradley, Taming chaotic circuits, Ph.D. Thesis, MIT (1992)."},{"key":"BF02284622_CR12","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1080\/01969729508927509","volume":"26","author":"E. Bradley","year":"1995","unstructured":"E. Bradley, Autonomous exploration and control of chaotic systems,Cybern. Syst. 26 (1995) 299\u2013319.","journal-title":"Cybern. Syst."},{"key":"BF02284622_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":"B.W. Char, K.O. Geddes, G.H. Gonnet, B.L. Leong, M.B. Monagan and S.M. Watt,Maple V Language Reference Manual (Springer, New York, 1991)."},{"issue":"7","key":"BF02284622_CR14","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1145\/79204.79209","volume":"33","author":"J. Cohen","year":"1990","unstructured":"J. Cohen, Constraint logic programming languages,Commun. ACM 33(7) (1990) 52\u201368.","journal-title":"Commun. ACM"},{"key":"BF02284622_CR15","volume-title":"Readings in Cognitive Science","year":"1988","unstructured":"A. Collins and E.E. Smith (eds.),Readings in Cognitive Science (Morgan Kaufmann, San Mateo, CA, 1988)."},{"key":"BF02284622_CR16","doi-asserted-by":"crossref","unstructured":"R. Davis, Diagnostic reasoning based on structure and behavior,Artificial Intelligence 24 (1984).","DOI":"10.1016\/0004-3702(84)90042-0"},{"key":"BF02284622_CR17","doi-asserted-by":"crossref","unstructured":"J. de Kleer, An assumption-based TMS,Artificial Intelligence 28 (1986).","DOI":"10.1016\/0004-3702(86)90080-9"},{"key":"BF02284622_CR18","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/0004-3702(84)90037-7","volume":"24","author":"J. Kleer de","year":"1984","unstructured":"J. de Kleer and J.S. Brown, A qualitative physics based on confluences,Artificial Intelligence 24 (1984) 7\u201383.","journal-title":"Artificial Intelligence"},{"key":"BF02284622_CR19","doi-asserted-by":"crossref","unstructured":"J. de Kleer, A. Mackworth and R. Reiter, Characterizing diagnoses,Proc. AAAI-90 (1990).","DOI":"10.1007\/3-540-53104-1_27"},{"key":"BF02284622_CR20","doi-asserted-by":"crossref","unstructured":"J. de Kleer and B.C. Williams, Diagnosing multiple faults,Artificial Intelligence 32(1) (1987).","DOI":"10.1016\/0004-3702(87)90063-4"},{"key":"BF02284622_CR21","unstructured":"J. de Kleer and B.C. Williams (eds.),Artificial Intelligence 51 (1991)."},{"key":"BF02284622_CR22","doi-asserted-by":"crossref","unstructured":"J.A. Doyle, A truth maintenance system,Artificial Intelligence 12 (1979).","DOI":"10.1016\/0004-3702(79)90008-0"},{"key":"BF02284622_CR23","unstructured":"D. Dvorak and B.J. Kuipers, Model-based monitoring of dynamic systems,Proc. IJCAI-89 (1989)."},{"key":"BF02284622_CR24","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0004-3702(91)90109-W","volume":"51","author":"B. Falkenhainer","year":"1991","unstructured":"B. Falkenhainer and K.D. Forbus, Compositional modeling: Finding the right model for the job,Artificial Intelligence 51 (1991) 95\u2013143.","journal-title":"Artificial Intelligence"},{"key":"BF02284622_CR25","volume-title":"Recent Advances in Qualitative Physics","author":"B. Faltings","year":"1992","unstructured":"B. Faltings and P. Struss (eds.),Recent Advances in Qualitative Physics (MIT Press, Cambridge, MA, 1992)."},{"key":"BF02284622_CR26","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0004-3702(84)90038-9","volume":"24","author":"K.D. Forbus","year":"1984","unstructured":"K.D. Forbus, Qualitative process theory,Artificial Intelligence 24 (1984) 85\u2013168.","journal-title":"Artificial Intelligence"},{"key":"BF02284622_CR27","volume-title":"Readings in Qualitative Reasoning About Physical Systems","author":"K.D. Forbus","year":"1990","unstructured":"K.D. Forbus, The qualitative process engine, in: eds. D.S. Weld and J. de Kleer,Readings in Qualitative Reasoning About Physical Systems (Morgan Kaufmann, San Mateo, CA, 1990), University of Illinois Department of Computer Science Technical Report (1986)."},{"key":"BF02284622_CR28","volume-title":"Building Problem Solvers","author":"K.D. Forbus","year":"1993","unstructured":"K.D. Forbus and J. de Kleer,Building Problem Solvers (MIT Press, Cambridge, MA, 1993)."},{"key":"BF02284622_CR29","volume-title":"Operations Research, Mathematics and Models","year":"1981","unstructured":"S.I. Gass (ed.),Operations Research, Mathematics and Models (Am. Math. Soc., Providence, RI, 1981)."},{"key":"BF02284622_CR30","unstructured":"N.S. Gershenfeld and A.S. Weigend, The future of time series, in:Time Series Prediction: Forecasting the Future and Understanding the Past, Santa Fe Institute Studies in the Sciences of Complexity, Santa Fe, NM (1993)."},{"key":"BF02284622_CR31","volume-title":"Classical Mechanics","author":"H. Goldstein","year":"1980","unstructured":"H. Goldstein,Classical Mechanics (Addison-Wesley, Reading, MA, 1980)."},{"key":"BF02284622_CR32","first-page":"202","volume":"D58","author":"G. Gouesbet","year":"1992","unstructured":"G. Gouesbet and J. Maquet, Construction of phenomenological models from numerical scalar time series,Physica D58 (1992) 202\u2013215.","journal-title":"Physica"},{"key":"BF02284622_CR33","first-page":"1","volume-title":"Formal Theories of the Commonsense World","author":"P. Hayes","year":"1985","unstructured":"P. Hayes, The second naive physics manifesto, in: J. Hobbs and R. Moore (eds.),Formal Theories of the Commonsense World (Ablex, Norwood, 1985) pp. 1\u201336."},{"key":"BF02284622_CR34","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0004-3702(86)90089-5","volume":"29","author":"Y. Iwasaki","year":"1986","unstructured":"Y. Iwasaki and H.A. Simon, Causality in device behavior,Artificial Intelligence 29 (1986) 3\u201332.","journal-title":"Artificial Intelligence"},{"key":"BF02284622_CR35","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0004-3702(86)90073-1","volume":"29","author":"B.J. Kuipers","year":"1986","unstructured":"B.J. Kuipers, Qualitative simulation,Artificial Intelligence 29 (1986) 289\u2013338.","journal-title":"Artificial Intelligence"},{"key":"BF02284622_CR36","unstructured":"B.J. Kuipers, Abstraction by time scale in qualitative simulation,Proc. AAAI-87, Seattle, WA (1987) pp. 621\u2013625."},{"key":"BF02284622_CR37","volume-title":"Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge","author":"B.J. Kuipers","year":"1992","unstructured":"B.J. Kuipers,Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge (Addison-Wesley, Reading, MA, 1992)."},{"key":"BF02284622_CR38","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0004-3702(93)90178-E","volume":"59","author":"B.J. Kuipers","year":"1993","unstructured":"B.J. Kuipers, Reasoning with qualitative models,Artificial Intelligence 59 (1993) 125\u2013132.","journal-title":"Artificial Intelligence"},{"key":"BF02284622_CR39","volume-title":"Scientific Discovery: Computational Explorations of the Creative Process","year":"1987","unstructured":"P. Langley, H.A. Simon, G.L. Bradshaw and J.M. Zytkow (eds.),Scientific Discovery: Computational Explorations of the Creative Process (MIT Press, Cambridge, MA, 1987)."},{"key":"BF02284622_CR40","volume-title":"System Identification: Theory for the User","year":"1987","unstructured":"L. Ljung (ed.),System Identification: Theory for the User (Prentice-Hall, Englewood Cliffs, NJ, 1987)."},{"key":"BF02284622_CR41","volume-title":"The Art of Modeling Dynamic Systems","author":"F. Morrison","year":"1991","unstructured":"F. Morrison,The Art of Modeling Dynamic Systems (Wiley, New York, 1991)."},{"key":"BF02284622_CR42","unstructured":"S. Murthy, Qualitative reasoning at multiple resolutions,Proc. AAAI-88 (1988)."},{"key":"BF02284622_CR43","unstructured":"P. Nayak, Causal approximations,Proc. AAAI-92 (1992)."},{"key":"BF02284622_CR44","volume-title":"Numerical Recipes: The Art of Scientific Computing","author":"W.H. Press","year":"1988","unstructured":"W.H. Press, B.P. Flannery, S.A. Teukolsky and W.T. Vetterling,Numerical Recipes: The Art of Scientific Computing (Cambridge University Press, Cambridge, UK, 1988)."},{"key":"BF02284622_CR45","doi-asserted-by":"crossref","unstructured":"O. Raiman, Order of magnitude reasoning,Artificial Intelligence 51 (1991).","DOI":"10.1016\/0004-3702(91)90107-U"},{"key":"BF02284622_CR46","doi-asserted-by":"crossref","unstructured":"J. Rees and W. Clinger, The revised report on the algorithmic language Scheme,ACM SIGPLAN Notices 21 (1986).","DOI":"10.1145\/15042.15043"},{"key":"BF02284622_CR47","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1080\/00207177408932762","volume":"20","author":"M. Schetzen","year":"1974","unstructured":"M. Schetzen, A theory of non-linear system identification,Int. J. Control 20 (1974) 577\u2013592.","journal-title":"Int. J. Control"},{"key":"BF02284622_CR48","unstructured":"H.W. Sorenson,Kalman Filtering: Theory and Application (IEEE Press, 1985)."},{"key":"BF02284622_CR49","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0004-3702(77)90029-7","volume":"9","author":"R.M. Stallman","year":"1977","unstructured":"R.M. Stallman and G.J. Sussman, Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis,Artificial Intelligence 9 (1977) 135\u2013196.","journal-title":"Artificial Intelligence"},{"key":"BF02284622_CR50","volume-title":"The Art of PROLOG","author":"L. Sterling","year":"1986","unstructured":"L. Sterling and E. Shapiro,The Art of PROLOG (MIT Press, Cambridge, MA, 1986)."},{"key":"BF02284622_CR51","doi-asserted-by":"crossref","unstructured":"P. Struss, Mathematical aspects of qualitative reasoning,Int. J. Artificial Intell. Eng. 3(3) (1988).","DOI":"10.1016\/0954-1810(88)90032-5"},{"key":"BF02284622_CR52","unstructured":"P. Struss, Testing physical systems,Proc. AAAI-94 (1994)."},{"key":"BF02284622_CR53","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0004-3702(92)90029-W","volume":"56","author":"D.S. Weld","year":"1992","unstructured":"D.S. Weld, Reasoning about model accuracy,Artificial Intelligence 56 (1992) 255\u2013300.","journal-title":"Artificial Intelligence"},{"key":"BF02284622_CR54","volume-title":"Readings in Qualitative Reasoning About Physical Systems","year":"1990","unstructured":"D.S. Weld and J. de Kleer (eds.),Readings in Qualitative Reasoning About Physical Systems (Morgan Kaufmann, San Mateo, CA, 1990)."},{"key":"BF02284622_CR55","doi-asserted-by":"crossref","unstructured":"B.C. Williams, A theory of interactions: Unifying qualitative and quantitative algebraic reasoning,Artificial Intelligence 51 (1991).","DOI":"10.1016\/0004-3702(91)90108-V"},{"key":"BF02284622_CR56","volume-title":"Artificial Intelligence","author":"P.H. Winston","year":"1992","unstructured":"P.H. Winston,Artificial Intelligence, 3rd ed. (Addison-Wesley, Redwood City, CA, 1992).","edition":"3rd ed."},{"key":"BF02284622_CR57","doi-asserted-by":"crossref","unstructured":"K. Yip, Understanding complex dynamics by visual and symbolic reasoning,Artificial Intelligence 51 (1991).","DOI":"10.1016\/0004-3702(91)90111-V"},{"key":"BF02284622_CR58","unstructured":"K. Yip, Model simplification by asymptotic order of magnitude reasoning,Proc. AAAI-93 (1993) pp. 634\u2013640."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02284622.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02284622\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02284622","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T18:44:59Z","timestamp":1557945899000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02284622"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,3]]},"references-count":58,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,3]]}},"alternative-id":["BF02284622"],"URL":"https:\/\/doi.org\/10.1007\/bf02284622","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,3]]}}}