{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:29:49Z","timestamp":1725467389396},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540645825"},{"type":"electronic","value":"9783540693482"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64582-9_763","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T10:22:10Z","timestamp":1153131730000},"page":"329-335","source":"Crossref","is-referenced-by-count":1,"title":["Including qualitative knowledge in semiqualitative dynamical systems"],"prefix":"10.1007","author":[{"given":"J. A.","family":"Ortega","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. M.","family":"Gasca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Toro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,30]]},"reference":[{"key":"32_CR1","unstructured":"Dvorak D. Monitoring and diagnosis of continuous dynamic systems using semiquantitative simulation Ph.D. Dissertation, University of Texas. Tech. Report AI92-170 (1992)"},{"key":"32_CR2","unstructured":"Gasca R.M., Toro M., Ortega J.A., Propagaci\u00f3n de restricciones integrando conocimiento cualitativo y cuantitativo Bolet\u00edn de AEPIA n\u00fam 6 (1996) 23\u201330"},{"key":"32_CR3","unstructured":"Gasca R.M. Razonamiento y Simulaci\u00f3n en Sistemas que integran conocimiento cualitativo y cuantitativo Ph.D. Thesis, Universidad de Sevilla (1998)"},{"key":"32_CR4","unstructured":"Hyv\u00f6nen E. Constraint reasoning based on interval arithmetic. the tolerance propagation Artificial Intelligence no. 58 (1992) 71\u2013112"},{"key":"32_CR5","unstructured":"Kay H., Kuipers B., Numerical behavior envelopes for qualitative models. Proc. 11th National Conf. on Artificial Intelligence (1993) 606\u2013613"},{"key":"32_CR6","unstructured":"Kay H. Refining imprecise models and their behaviors Ph.D. Tesis, University of Texas (1996)"},{"key":"32_CR7","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, Artifical Inteligence 29, (1986) 289\u2013338","journal-title":"Artifical Inteligence"},{"key":"32_CR8","unstructured":"Lee W.W., Kuipers B.J., A qualitative method to construct phase portraits, Proc. 11th National Conf. on Artificial Intelligence (1993) 614\u2013619"},{"key":"32_CR9","unstructured":"Mavrovouniotis M.L., Stephanopoulos G. Formal order-of-magnitude reasoning Process Engineering Computer Chemical Engineering no. 12 (1988) 867\u2013880"},{"key":"32_CR10","unstructured":"Ortega J.A., Gasca R.M., Toro M., Automatizaci\u00f3n del an\u00e1lisis y simulaci\u00f3n de modelos cualitativos mediante restricciones Proc. VII Conf. Asoc. Espa\u00f1ola para Inteligencia Artificial, (1997) 85\u201394"},{"key":"32_CR11","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1016\/0004-3702(90)90047-4","volume":"41","author":"E. Sacks","year":"1990","unstructured":"Sacks E., Automatic qualitative analysis of dynamic systems using piecewise linear approximations, Artificial Intelligence 41 (1990) 313\u2013364","journal-title":"Artificial Intelligence"},{"key":"32_CR12","unstructured":"Trav\u00e9-Massuy\u015b L., and Piera N., The order of magnitude models as qualitative algebras Proc. of 11th Int. Joint Conf. on Artificial Intelligence, Detroit MI (1989) 1261\u20131266"},{"key":"32_CR13","unstructured":"VanHentenryck P., McAllester D., Kapur D., Solving polynomial systems using a branch and prune algorithm. Tech. report CS-95-01 University of Providence (1995)"},{"key":"32_CR14","unstructured":"Vescovi M., Farquhar A., Iwasaki Y., Numerical interval simulation: combined qualitative and quantitative simulation to bound behaviors of non-monotonic systems, Proc. 14th Int. Joint Conf. on AI (1994) 1806\u20131812"}],"container-title":["Lecture Notes in Computer Science","Methodology and Tools in Knowledge-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-64582-9_763","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T22:22:49Z","timestamp":1558822969000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64582-9_763"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540645825","9783540693482"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-64582-9_763","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}