{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T16:47:12Z","timestamp":1761842832798},"reference-count":101,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1997,9,1]],"date-time":"1997-09-01T00:00:00Z","timestamp":873072000000},"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":5806,"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":[[1997,9]]},"DOI":"10.1016\/s0004-3702(97)00050-7","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T00:24:09Z","timestamp":1027643049000},"page":"215-255","source":"Crossref","is-referenced-by-count":64,"title":["Qualitative and quantitative simulation: bridging the gap"],"prefix":"10.1016","volume":"95","author":[{"given":"Daniel","family":"Berleant","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin J.","family":"Kuipers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0004-3702(97)00050-7_BIB1","series-title":"Structure and Interpretation of Computer Programs","author":"Abelson","year":"1985"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB2","series-title":"Introduction to Interval Computations","author":"Alefeld","year":"1983"},{"issue":"11","key":"10.1016\/S0004-3702(97)00050-7_BIB3","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","article-title":"Maintaining knowledge about temporal intervals","volume":"26","author":"Allen","year":"1983","journal-title":"Comm. ACM"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB4","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF02241750","article-title":"On computing the range of values","volume":"28","author":"Asaithambi","year":"1982","journal-title":"Computing"},{"issue":"1","key":"10.1016\/S0004-3702(97)00050-7_BIB5","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/214310.214435","article-title":"A unified representation for numerical and qualitative simulations","volume":"3","author":"Berleant","year":"1995","journal-title":"Appl. Computing Review"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB6","first-page":"48","article-title":"Automatically erified reasoning with both intervals and probability density functions","volume":"2","author":"Berleant","year":"1993","journal-title":"Interval Computations"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB7","series-title":"Ph.D. Thesis, Tech. Rept. AI90-163","article-title":"The use of partial quantitative information with qualitative reasoning","author":"Berleant","year":"1991"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB8_1","series-title":"Conference Proceedings 1992 Symposium on Applied Computing","first-page":"883","article-title":"Probabilities of qualitative behaviors for dependability analysis of a fault tolerance model","author":"Berleant","year":"1992"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB8_2","series-title":"Workshop Notes AAAI-91 Model Based Reasoning Workshop","author":"Berleant","year":"1991"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB9","series-title":"Recent Advances in Qualitative Physics","first-page":"3","article-title":"Qualitative-numeric simulation with Q3","author":"Berleant","year":"1992"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB10","series-title":"Qualitative Reasoning about Physical Systems","year":"1985"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB11","series-title":"Pascal-SC: A Computer Language for Scientific Computation","author":"Bohlender","year":"1987"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB12","series-title":"Envelopes","author":"Boltyanskii","year":"1964"},{"issue":"1","key":"10.1016\/S0004-3702(97)00050-7_BIB13_1","first-page":"51","article-title":"Integrating qualitative and quantitative modeling","volume":"4","author":"Bonarini","year":"1991","journal-title":"Internat. J. Expert Systems"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB13_2","series-title":"Proceedings 2nd Annual Conference on AI, Simulation and Planning in High Autonomy Systems","first-page":"290","author":"Bonarini","year":"1991"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB13_3","series-title":"Internal Working Proceedings 1st European Workshop on Qualitative Reasoning about Physical Systems","author":"Bonarini","year":"1991"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB14_1","series-title":"Proceedings 1980 Winter Simulation Conference","first-page":"99","article-title":"A fuzzy sets based linguistic approach: theory and applications","author":"Bonissone","year":"1980"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB14_2","series-title":"Approximate Reasoning in Decision Analysis","author":"Bonissone","year":"1982"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB15","series-title":"Uncertainty in Artificial Intelligence","first-page":"217","article-title":"Selecting uncertainty calculi and granularity: an experiment in trading off precision and complexity","author":"Bonissone","year":"1986"},{"issue":"138","key":"10.1016\/S0004-3702(97)00050-7_BIB16","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1090\/S0025-5718-1977-0431719-X","article-title":"Multi-level adaptive solutions to boundary-value problems","volume":"31","author":"Brandt","year":"1977","journal-title":"Math. Comput."},{"key":"10.1016\/S0004-3702(97)00050-7_BIB17","series-title":"A Multigrid Tutorial","author":"Briggs","year":"1987"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB18","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":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB19","series-title":"Proceedings 18th Design Automation Conference","first-page":"786","article-title":"MOSS1M: a switch-level simulator for MOS LSI","author":"Bryant","year":"1981"},{"issue":"12","key":"10.1016\/S0004-3702(97)00050-7_BIB20","doi-asserted-by":"crossref","first-page":"901","DOI":"10.1109\/TCS.1975.1084003","article-title":"MOTIS\u2014an MOS timing simulator","volume":"22","author":"Chawla","year":"1975","journal-title":"IEEE Trans. Circuits and Systems"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB21","first-page":"313","volume":"3","year":"1982"},{"issue":"2\u20133","key":"10.1016\/S0004-3702(97)00050-7_BIB22","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/0004-3702(92)90026-T","article-title":"Qualitative superposition","volume":"56","author":"Coiera","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB23","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/BF02242276","article-title":"Computing the range of values of real functions with accuracy higher than second order","volume":"33","author":"Cornelius","year":"1984","journal-title":"Computing"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB24","series-title":"Ph.D. Thesis","article-title":"Qualitative simulation of dynamic chemical processes","author":"Molle","year":"1989"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB25","series-title":"Artificial Intelligence in Process Engineering","article-title":"Qualitative modeling of chemical reaction systems","author":"Molle","year":"1991"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB26","series-title":"Proceedings AAAI-87","first-page":"595","article-title":"Extending the mathematics in qualitative process theory","author":"D'Ambrosio","year":"1987"},{"issue":"3","key":"10.1016\/S0004-3702(97)00050-7_BIB27","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/0004-3702(87)90091-9","article-title":"Constraint propagation with interval labels","volume":"32","author":"Davis","year":"1987","journal-title":"Artificial Intelligence"},{"issue":"3","key":"10.1016\/S0004-3702(97)00050-7_BIB28","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1016\/0004-3702(88)90087-2","article-title":"Reasoning about partially ordered events","volume":"36","author":"Dean","year":"1988","journal-title":"Artificial Intelligence"},{"issue":"1\u20133","key":"10.1016\/S0004-3702(97)00050-7_BIB29_1","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/0004-3702(91)90113-X","article-title":"Dynamic across-time measurement interpretation","volume":"51","author":"DeCoste","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB29_2","series-title":"Proceedings AAAI-90","first-page":"373","author":"DeCoste","year":"1990"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB30","series-title":"Tech. Rept. AI-TR-352","article-title":"Qualitative and quantitative knowledge in classical mechanics","author":"de Kleer","year":"1975"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB31","series-title":"Elementary Differential Equations with Applications","author":"Derrick","year":"1976"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB32","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0020-0255(90)90039-D","article-title":"Linguistic summarization of fuzzy data","volume":"52","author":"DiCesare","year":"1990","journal-title":"Inform. Sci."},{"key":"10.1016\/S0004-3702(97)00050-7_BIB33","series-title":"Ensembles Flous 87: Alg\u00e8bre, Int\u00e9grations, Calcul d'Intervalles et Approximations","article-title":"Fuzzy arithmetic in qualitative reasoning","author":"Dubois","year":"1988"},{"issue":"6","key":"10.1016\/S0004-3702(97)00050-7_BIB34","doi-asserted-by":"crossref","DOI":"10.1080\/00207727808941724","article-title":"Operations on fuzzy numbers","volume":"9","author":"Dubois","year":"1978","journal-title":"Internat. J. Systems Sci."},{"key":"10.1016\/S0004-3702(97)00050-7_BIB35","series-title":"Proceedings IJCAI-89","first-page":"1238","article-title":"Model-based monitoring of dynamic systems","author":"Dvorak","year":"1989"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB36","series-title":"Ph.D. Thesis, Tech. Rept. AI92-170","article-title":"Monitoring and diagnosis of continuous dynamic systems using semiquantitative simulation","author":"Dvorak","year":"1992"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB37","series-title":"The Solution of Initial Value Problems Using Interval Arithmetic: Formulation and Analysis of an Algorithm","author":"Eijgenraam","year":"1981"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB38","series-title":"Recent Advances in Qualitative Physics","author":"Faltings","year":"1992"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB39","series-title":"Proceedings 8th International Workshop on Qualitative Reasoning","article-title":"A Semi-Quantitative Physics Compiler","author":"Farquhar","year":"1994"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB40","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1080\/03081079108935179","article-title":"Fuzzy simulation: specifying and identifying qualitative models","volume":"19","author":"Fishwick","year":"1991","journal-title":"Internat. J. General Systems"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB41","doi-asserted-by":"crossref","DOI":"10.1016\/0004-3702(84)90038-9","article-title":"Qualitative process theory","volume":"24","author":"Forbus","year":"1984","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB42","series-title":"Proceedings AAAI-S6","first-page":"113","article-title":"Interpreting measurements of physical systems","author":"Forbus","year":"1986"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB43_1","series-title":"Recent Advances in Qualitative Physics","first-page":"49","article-title":"Self-explanatory simulations: an integration of qualitative and quantitative knowledge","author":"Forbus","year":"1992"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB43_2","series-title":"Proceedings AAAI-90","first-page":"380","author":"Forbus","year":"1990"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB44","series-title":"Proceedings AAAI-92","article-title":"Self-explanatory simulations: scaling up to large models","author":"Forbus","year":"1992"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB45","series-title":"Industrial Dynamics","author":"Forrester","year":"1961"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB46","series-title":"Numerical Initial Value Problems in Ordinary Differential Equations","author":"Gear","year":"1971"},{"issue":"1\u20133","key":"10.1016\/S0004-3702(97)00050-7_BIB47","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0004-3702(91)90112-W","article-title":"Modelling digital circuits for troubleshooting","volume":"51","author":"Hamscher","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB48","series-title":"Discrete Variable Methods for Ordinary Differential Equations","author":"Henrici","year":"1962"},{"issue":"1\u20133","key":"10.1016\/S0004-3702(97)00050-7_BIB49","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0004-3702(92)90005-I","article-title":"Constraint reasoning based on interval arithmetic: the tolerance propagation approach","volume":"58","author":"Hyv\u00f6nen","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB50","series-title":"Introduction to Fuzzy Arithmetic","author":"Kaufmann","year":"1985"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB51","series-title":"Proceedings AAAI-91","first-page":"241","article-title":"Integrating metric and qualitative temporal reasoning","author":"Kautz","year":"1991"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB52","series-title":"Ph.D. Thesis","article-title":"Refining imprecise models and their behaviors","author":"Kay","year":"1996"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB53","series-title":"Proceedings AAAI-93","first-page":"606","article-title":"Numerical behavior envelopes for qualitative models","author":"Kay","year":"1993"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB54","series-title":"Proceedings 2nd Annual Conference on AI, Simulation and Planning in High Autonomy Systems","first-page":"298","article-title":"Extracting qualitative descriptions from quantitative models","author":"Kelley","year":"1991"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB55","series-title":"Ph.D. Thesis","article-title":"Exploration of qualitative reasoning and its applications to management","author":"Kiang","year":"1991"},{"issue":"8","key":"10.1016\/S0004-3702(97)00050-7_BIB56","doi-asserted-by":"crossref","first-page":"967","DOI":"10.1109\/31.1843","article-title":"Interval mathematics algorithms for tolerance analysis","volume":"35","author":"Kolev","year":"1988","journal-title":"IEEE Trans. Circuits and Systems"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB57","series-title":"Qualitative Reasoning","author":"Kuipers","year":"1994"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB58","first-page":"57","article-title":"Qualitative simulation","volume":"32","author":"Kuipers","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB59","series-title":"Proceedings AAAI-88","first-page":"324","article-title":"Using incomplete quantitative knowledge in qualitative reasoning","author":"Kuipers","year":"1988"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB60","series-title":"Computerarithmetic: Scientific Computation and Programming Languages","first-page":"255","article-title":"Enclosing the solutions of ordinary initial and boundary value problems","author":"Lohner","year":"1987"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB61","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0004-3702(85)90041-4","article-title":"The complexity of some polynomial network consistency algorithms for constraint satisfaction problems","volume":"25","author":"Mackworth","year":"1985","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB62","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/0004-3702(84)90045-6","article-title":"Planning routes through uncertain territory","volume":"22","author":"McDermott","year":"1984","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB63","series-title":"Proceedings AAAI-91","first-page":"260","article-title":"Combining qualitative and quantitative constraints in temporal reasoning","author":"Meiri","year":"1991"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB64","series-title":"Proceedings 2nd Annual Conference on AI, Simulation and Planning in High Autonomy Systems","first-page":"298","article-title":"Temporal information in qualitative simulation","author":"Missier","year":"1991"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB65","series-title":"Proceedings AAAI-86","first-page":"794","article-title":"Qualitative simulation of semiconductor fabrication","author":"Mohammed","year":"1986"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB66","series-title":"Methods and Applications of Interval Arithmetic","author":"Moore","year":"1979"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB67","series-title":"Proceedings 2nd Annual Conference on AI, Simulation and Planning in High Autonomy Systems","first-page":"98","article-title":"Reasoning about global behavior of ordinary differential equations by combining qualitative and quantitative analysis","author":"Nishida","year":"1991"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB68","series-title":"Uncertainty and Intelligent Systems","article-title":"Fuzzy qualitative modeling","author":"Nordvik","year":"1988"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB69","unstructured":"W. Older and A. Vellino, Constraint arithmetic on real intervals, in: F. Benhamou and A. Colmerauer, eds., Constraint Logic Programming, Collected Papers (MIT Press, Cambridge, MA)."},{"key":"10.1016\/S0004-3702(97)00050-7_BIB70","series-title":"Numerical Recipes","author":"Press","year":"1986"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB71","series-title":"Proceedings AAAI-87","first-page":"649","article-title":"Hierarchical reasoning about inequalities","author":"Sacks","year":"1987"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB72","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(91)90079-Y","article-title":"Automatic analysis of one-parameter planar ordinary differential equations by intelligent numerical simulation","volume":"48","author":"Sacks","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB73_1","series-title":"KAM: A System for Intelligently Guided Numerical Experimentation by Computer","author":"Sacks","year":"1991"},{"issue":"3","key":"10.1016\/S0004-3702(97)00050-7_BIB73_2","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/140936.1063783","volume":"3","author":"Sacks","year":"1992","journal-title":"SIGART Bull."},{"key":"10.1016\/S0004-3702(97)00050-7_BIB74","series-title":"Mixed-Mode Simulation","author":"Saleh","year":"1990"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB75","doi-asserted-by":"crossref","first-page":"1038","DOI":"10.1109\/21.247887","article-title":"Fuzzy qualitative simulation","volume":"23","author":"Shen","year":"1993","journal-title":"IEEE Trans. Systems Man Cybernet."},{"key":"10.1016\/S0004-3702(97)00050-7_BIB76","series-title":"Recent Advances in Qualitative Physics","first-page":"83","article-title":"Integrating common-sense and qualitative simulation by the use of fuzzy sets","author":"Shen","year":"1992"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB77","series-title":"Proceedings AAAI-83","first-page":"364","article-title":"The use of qualitative and quantitative simulations","author":"Simmons","year":"1983"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB78","series-title":"Proceedings AAAI-86","first-page":"118","article-title":"\u201cCommonsense\u201d arithmetic reasoning","author":"Simmons","year":"1986"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB79","series-title":"Proceedings AAAI-88","first-page":"94","article-title":"A theory of debugging plans and interpretations","author":"Simmons","year":"1988"},{"issue":"1\u20132","key":"10.1016\/S0004-3702(97)00050-7_BIB80","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/0004-3702(92)90070-E","article-title":"The roles of associational and causal reasoning in problem solving","volume":"53","author":"Simmons","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB81","series-title":"Proceedings IJCAI-87","first-page":"1071","article-title":"Generate, test and debug: combining associational rules and causal models","author":"Simmons","year":"1987"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB82","series-title":"Proceedings AAAI-93","article-title":"Nondeterministic Lisp as a substrate for constraint logic programming","author":"Siskind","year":"1993"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB83","series-title":"Proceedings IEEE International Conference on Computer Design","first-page":"437","article-title":"RSIM\u2014a logic-level timing simulator","author":"Terman","year":"1983"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB84","series-title":"Memorandum No. UCB\/ERL M79\/72","article-title":"Linguistic decision analysis using fuzzy sets","author":"Tong","year":"1979"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB85","series-title":"The Visual Display of Quantitative Information","author":"Tufte","year":"1983"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB86","series-title":"Proceedings IJCAI-95","article-title":"Numerical interval simulation: bounding behaviors of systems","author":"Vescovi","year":"1995"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB87","series-title":"Proceedings AAAI-86","first-page":"105","article-title":"Doing time: putting qualitative reasoning on firmer ground","author":"Williams","year":"1986"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB88","series-title":"Proceedings AAAI-88","first-page":"264","article-title":"MINIMA: a symbolic approach to qualitative algebraic reasoning","author":"Williams","year":"1988"},{"issue":"1\u20133","key":"10.1016\/S0004-3702(97)00050-7_BIB89","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(91)90108-V","article-title":"A theory of interactions: unifying qualitative and quantitative algebraic reasoning","volume":"51","author":"Williams","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB90","series-title":"KAM: A System for Intelligently Guided Numerical Experimentation by Computer","author":"Yip","year":"1991"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB91","first-page":"566","article-title":"Stability (h \u2192 0 and h>0) for systems, Course Notes Supplement 78.6","volume":"II","author":"Young","year":"1972"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB92","volume":"II","author":"Young","year":"1972"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB93_1","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0004-3702(94)90078-7","article-title":"Extracting and representing qualitative behaviors of complex systems in phase spaces","volume":"69","author":"Zhao","year":"1994","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00050-7_BIB93_2","series-title":"Proceedings IJCAI-91","author":"Zhao","year":"1991"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370297000507?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370297000507?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T06:28:48Z","timestamp":1555050528000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370297000507"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,9]]},"references-count":101,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1997,9]]}},"alternative-id":["S0004370297000507"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(97)00050-7","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1997,9]]}}}