{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T17:35:00Z","timestamp":1648661700249},"reference-count":33,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1996,2,1]],"date-time":"1996-02-01T00:00:00Z","timestamp":823132800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T00:00:00Z","timestamp":1374710400000},"content-version":"vor","delay-in-days":6384,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1996,2]]},"DOI":"10.1016\/0004-3702(94)00068-9","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T04:24:09Z","timestamp":1027657449000},"page":"309-348","source":"Crossref","is-referenced-by-count":9,"title":["Model simplification by asymptotic order of magnitude reasoning"],"prefix":"10.1016","volume":"80","author":[{"given":"Kenneth Man-kam","family":"Yip","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"5","key":"10.1016\/0004-3702(94)00068-9_BIB1","doi-asserted-by":"crossref","DOI":"10.1145\/63485.63486","article-title":"Intelligence in scientific computing","volume":"32","author":"Abelson","year":"1989","journal-title":"Commun. ACM"},{"key":"10.1016\/0004-3702(94)00068-9_BIB2","author":"Bender","year":"1978"},{"key":"10.1016\/0004-3702(94)00068-9_BIB3","series-title":"Proceedings AAAI-87","article-title":"Approximation in mathematical domains","author":"Bennett","year":"1987"},{"key":"10.1016\/0004-3702(94)00068-9_BIB4","series-title":"Proceedings IJCAI-75","article-title":"A new method for proving certain presburger formulas","author":"Bledsoe","year":"1975"},{"key":"10.1016\/0004-3702(94)00068-9_BIB5","article-title":"Phase space control system design","volume":"13","author":"Bradley","year":"1993","journal-title":"IEEE Control Syst. Mag."},{"key":"10.1016\/0004-3702(94)00068-9_BIB6","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/0004-3702(81)90028-X","article-title":"Symbolic reasoning among 3-D models and 2-D images","volume":"17","author":"Brooks","year":"1981","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00068-9_BIB7","author":"Bundy","year":"1983"},{"key":"10.1016\/0004-3702(94)00068-9_BIB8","author":"Cormen","year":"1989"},{"key":"10.1016\/0004-3702(94)00068-9_BIB9","series-title":"Qualitative Reasoning about Physical Systems II","volume":"51","year":"1991"},{"key":"10.1016\/0004-3702(94)00068-9_BIB10","author":"Erdelyi","year":"1956"},{"key":"10.1016\/0004-3702(94)00068-9_BIB11","article-title":"Orders of Infinity","volume":"12","author":"Hardy","year":"1924"},{"key":"10.1016\/0004-3702(94)00068-9_BIB12","author":"Kevorkian","year":"1981"},{"key":"10.1016\/0004-3702(94)00068-9_BIB13","author":"Lin","year":"1974"},{"key":"10.1016\/0004-3702(94)00068-9_BIB14","doi-asserted-by":"crossref","DOI":"10.1016\/0098-1354(88)87014-5","article-title":"Formal order-of-magnitude reasoning in process engineering","volume":"12","author":"Mavrovouniotis","year":"1988","journal-title":"Comput. Chem. Eng."},{"key":"10.1016\/0004-3702(94)00068-9_BIB15","author":"Mei","year":"1989"},{"key":"10.1016\/0004-3702(94)00068-9_BIB16","author":"Moran","year":"1984"},{"key":"10.1016\/0004-3702(94)00068-9_BIB17","series-title":"Proceedings AAAI-88,","article-title":"Qualitative reasoning at multiple resolutions","author":"Murthy","year":"1988"},{"key":"10.1016\/0004-3702(94)00068-9_BIB18","series-title":"Proceedings 7th International Workshop on Qualitative Reasoning","article-title":"Order of magnitude reasoning using logarithms","author":"Nayak","year":"1993"},{"key":"10.1016\/0004-3702(94)00068-9_BIB19","series-title":"Proceedings AAAI-86","article-title":"Order of magnitude reasoning","author":"Raiman","year":"1986"},{"key":"10.1016\/0004-3702(94)00068-9_BIB20","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/0004-3702(91)90107-U","article-title":"Order of magnitude reasoning","volume":"51","author":"Raiman","year":"1991","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00068-9_BIB21","series-title":"Proceedings AAAI-87","article-title":"Hierarchical reasoning about inequalities","author":"Sacks","year":"1987"},{"key":"10.1016\/0004-3702(94)00068-9_BIB22","doi-asserted-by":"crossref","DOI":"10.1145\/322033.322034","article-title":"On the SUP-INF method for proving Presburger formulas","volume":"24","author":"Shostak","year":"1977","journal-title":"J. ACM"},{"key":"10.1016\/0004-3702(94)00068-9_BIB23","series-title":"Proceedings AAAI-86","article-title":"Commonsense arithmetic reasoning","author":"Simmons","year":"1986"},{"key":"10.1016\/0004-3702(94)00068-9_BIB24","doi-asserted-by":"crossref","DOI":"10.1016\/S0065-2156(08)70032-2","article-title":"Multistructured boundary layers on flat plates and relations bodies","volume":"14","author":"Stewartson","year":"1974","journal-title":"Adv. Appl. Mech."},{"key":"10.1016\/0004-3702(94)00068-9_BIB25","author":"Tennekes","year":"1972"},{"key":"10.1016\/0004-3702(94)00068-9_BIB26","author":"Van Dyke","year":"1975"},{"key":"10.1016\/0004-3702(94)00068-9_BIB27","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0004-3702(90)90077-D","article-title":"Exaggeration","volume":"43","author":"Weld","year":"1990","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00068-9_BIB28","series-title":"Proceedings 6th International Workshop on Qualitative Reasoning","article-title":"Caricatures: generating models of dominant behaviors","author":"Williams","year":"1992"},{"key":"10.1016\/0004-3702(94)00068-9_BIB29","doi-asserted-by":"crossref","DOI":"10.1038\/scientificamerican0879-158","article-title":"Problems in physics with many scales of length","volume":"241","author":"Wilson","year":"1979","journal-title":"Sci. American"},{"key":"10.1016\/0004-3702(94)00068-9_BIB30","author":"Yih","year":"1977"},{"key":"10.1016\/0004-3702(94)00068-9_BIB31","series-title":"Artificial Intelligence, Expert Systems, and Symbolic Computing","article-title":"Computer aided heuristic and qualitative reasoning in fluid mechanics","author":"Yip","year":"1992"},{"key":"10.1016\/0004-3702(94)00068-9_BIB32","series-title":"Proceedings AAAI-93","article-title":"Model simplifications in fluid mechanics","author":"Yip","year":"1993"},{"key":"10.1016\/0004-3702(94)00068-9_BIB33","series-title":"Proceedings IJCAI-91","article-title":"Extracting and representing qualitative behaviors of complex systems in phase spaces","author":"Zhao","year":"1991"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370294000689?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370294000689?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T10:27:29Z","timestamp":1555064849000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0004370294000689"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,2]]},"references-count":33,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1996,2]]}},"alternative-id":["0004370294000689"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(94)00068-9","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1996,2]]}}}