{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T10:59:34Z","timestamp":1648637974575},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1992,4,1]],"date-time":"1992-04-01T00:00:00Z","timestamp":702086400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1992,4]]},"DOI":"10.1007\/bf03037480","type":"journal-article","created":{"date-parts":[[2009,4,24]],"date-time":"2009-04-24T03:05:32Z","timestamp":1240542332000},"page":"223-253","source":"Crossref","is-referenced-by-count":0,"title":["Enhanced qualitative physical reasoning system: Qupras"],"prefix":"10.1007","volume":"10","author":[{"given":"Masaru","family":"Ohki","sequence":"first","affiliation":[]},{"given":"Kiyokazu","family":"Sakane","sequence":"additional","affiliation":[]},{"given":"Jun","family":"Sawamoto","sequence":"additional","affiliation":[]},{"given":"Yuichi","family":"Fujii","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF03037480_CR1","unstructured":"Mizoguchi, R.,Foundation of Expert System, Expert System\u2014Thery and Application. Nikkei-McGrawhill, pp. 15, 1987. [in Japanese]"},{"key":"BF03037480_CR2","doi-asserted-by":"crossref","unstructured":"Bobrow, D. G., \u201cSpecial Volume on Qualitative Reasoning about Physical Systesm,\u201dArtificial Intelligence, 24, 1984.","DOI":"10.1016\/0004-3702(84)90036-5"},{"key":"BF03037480_CR3","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/0004-3702(84)90037-7","volume":"24","author":"J. Kleer de","year":"1984","unstructured":"de Kleer, J. and Brown, J. S., \u201cQualitative Physics Based on Confluence,\u201dArtificial Intelliegence, 24, pp. 7\u201383, 1984.","journal-title":"Artificial Intelliegence"},{"key":"BF03037480_CR4","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0004-3702(84)90038-9","volume":"24","author":"K. D. Forbus","year":"1984","unstructured":"Forbus, K. D., \u201cQualitative Process Theory,\u201dArtificial Intelligence, 24, pp. 85\u2013168. 1984.","journal-title":"Artificial Intelligence"},{"key":"BF03037480_CR5","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/0004-3702(84)90039-0","volume":"24","author":"B. Kuipers","year":"1984","unstructured":"Kuipers, B., \u201cCommonsense Reasoning about Causality: Deriving Behavior from Structure,\u201dArtificial Intelligence, 24, pp. 169\u2013203, 1984.","journal-title":"Artificial Intelligence"},{"key":"BF03037480_CR6","unstructured":"Nishida, T. and Doshita, S., \u201cReasoning about Discontinuous Change,\u201dAAAI-87, pp. 643\u2013648, 1987."},{"key":"BF03037480_CR7","first-page":"333","volume":"2","author":"T. Yamaguchi","year":"1987","unstructured":"Yamaguchi, T., Mizoguchi, R., Taoka, N., Kodaka, H., Nomura, Y., and Kakusho, O., \u201cBasic Design of Knowledge Compiler Based on Deep Knowledge,\u201dJ. of Japanese Soc. for Artif. Intel., 2, pp. 333\u2013340, 1987. [in Japanese]","journal-title":"J. of Japanese Soc. for Artif. Intel."},{"key":"BF03037480_CR8","first-page":"617","volume":"3","author":"H. Ohwada","year":"1988","unstructured":"Ohwada, H., Mizoguchi, F., and Kitazawa, Y., \u201cA Method for Developing Diagnostic Systems based on Qualitative Simulation,\u201dJ. of Japanese Soc. for Artif. Intel., 3, pp. 617\u2013626, 1988. [in Japanese]","journal-title":"J. of Japanese Soc. for Artif. Intel."},{"key":"BF03037480_CR9","unstructured":"Ohki, M. and Furukawa, K., \u201cToward Qualitative Resoning,\u201dICOT Technical Report, TR-221, 1986."},{"key":"BF03037480_CR10","first-page":"694","volume":"29","author":"M. Ohki","year":"1988","unstructured":"Ohki, M., Fujii, Y., and Furukawa, K., \u201cQualitative Reasoning based on Physical Laws,\u201dTrans. Inf. Proc. Soc. Japan, 29, pp. 694\u2013702, 1988. [in Japanese]","journal-title":"Trans. Inf. Proc. Soc. Japan"},{"key":"BF03037480_CR11","unstructured":"Ohki, M., Sawamoto, J., Sakane, K., and Fujii, Y., \u201cA Constraint Logic Programming Language based on the Sup-Inf Method,\u201dProc. of 5th Conf. JSSST, pp. 49\u201352, 1988. [in Japanese]"},{"key":"BF03037480_CR12","first-page":"118","volume":"86","author":"S. Simmons","year":"1986","unstructured":"Simmons, S., \u201cCommonsense Arithmetic Reasoning,\u201dAAAI-86, pp. 118\u2013128, 1986.","journal-title":"AAAI"},{"key":"BF03037480_CR13","unstructured":"Sakai, K. and Aiba, A., \u201cCAL: A Theoretical Background of Constraint Logic Programming and Its Application,\u201dICOT Technical Report, TR-364, 1988."},{"key":"BF03037480_CR14","unstructured":"Kuipers, B., \u201cQualitative Simulation of Mechanisms,\u201dMIT LCS TM-274, 1985."},{"key":"BF03037480_CR15","unstructured":"Swedish Institute of Computer Science,SICStus Prolog User\u2019s Manual, 1989."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037480.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037480\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037480","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T00:52:38Z","timestamp":1558572758000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037480"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,4]]},"references-count":15,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1992,4]]}},"alternative-id":["BF03037480"],"URL":"https:\/\/doi.org\/10.1007\/bf03037480","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,4]]}}}