{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:00Z","timestamp":1725664980937},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540615323"},{"type":"electronic","value":"9783540687290"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61532-6_27","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:52:04Z","timestamp":1330275124000},"page":"312-323","source":"Crossref","is-referenced-by-count":0,"title":["A history-oriented envisioning method"],"prefix":"10.1007","author":[{"given":"Takashi","family":"Washio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiroshi","family":"Motoda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"27_CR1","unstructured":"Franz G. Amador, Adam Finkelstein and Daniel S. Weld. Real-Time SelfExplanatory Simulation. In proceedings AAAI-93, pp.562\u2013567, 1993."},{"key":"27_CR2","unstructured":"Philipe Caloud. Toward Continuous Process Supervision. In proceedings IJICAI-87, pp. 1086\u20131089, 1987."},{"issue":"3","key":"27_CR3","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1016\/0004-3702(88)90087-2","volume":"36","author":"T. Dean","year":"1988","unstructured":"Thomas Dean and Drew V. McDermott. Temporal Database Management. Artificial Intelligence, 36(3):375\u2013399, 1988.","journal-title":"Artificial Intelligence"},{"key":"27_CR4","unstructured":"Dennis DeCoste. Dynamic Across-Time Measurement Interpretation. In proceeding AAAI-90, pp.373-379,1990."},{"issue":"1\u20143","key":"27_CR5","first-page":"273","volume":"51","author":"D. DeCoste","year":"1993","unstructured":"Dennis DeCoste. Dynamic Across-Time Measurement Interpretation. Artificial Intelligence, 51(1\u20143):273\u2013341, 1993.","journal-title":"Artificial Intelligence"},{"key":"27_CR6","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/0004-3702(84)90037-7","volume":"24","author":"J. Kleer de","year":"1984","unstructured":"Johan de Kleer and John Seely Brown. A Qualitative Physics Based on Confluence. Aritificial Intelligence, 24:7\u201383, 1984.","journal-title":"Aritificial Intelligence"},{"key":"27_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(93)90044-C","volume":"62","author":"B. Drabble","year":"1993","unstructured":"Brain Drabble. EXCALIBUR: A Program for Planning and Reasoning with Process. Aritificial Intelligence, 62:1\u201340, 1993.","journal-title":"Aritificial Intelligence"},{"key":"27_CR8","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0004-3702(84)90038-9","volume":"24","author":"K. D. Forbus","year":"1984","unstructured":"Kenneth D. Forbus. Qualitative Process Theory. Aritificial Intelligence, 24:85\u2013168, 1984.","journal-title":"Aritificial Intelligence"},{"key":"27_CR9","unstructured":"Kenneth D. Forbus. Interpreting Measurement of Physical Systems. In proceeding AAAI-86, pp.113\u2013117, 1986."},{"issue":"4","key":"27_CR10","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1016\/0954-1810(88)90014-3","volume":"3","author":"K. D. Forbus","year":"1988","unstructured":"Kenneth D. Forbus. QPE: Using Assumption-based Truth Maintenance for Qualitative Simulation. Artificial Intelligence in Engineering, 3(4):200\u2013215, 1988.","journal-title":"Artificial Intelligence in Engineering"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"Kenneth D. Forbus. Introducing Actions into Qualitative Simulation. In proceedings IJCAI-87, pp. 1273\u20131278, 1989.","DOI":"10.21236\/ADA466199"},{"key":"27_CR12","unstructured":"Kenneth D. Forbus and Brain Falkenhainer. Self-explanatory Simulations: An Integration of Qualitative and Quantitative Knowledge. In proceedings AAAI-90, pp. 380\u2013387 1990."},{"key":"27_CR13","unstructured":"Kenneth D. Forbus and Brain Falkenhainer. Self-explanatory Simulations: Scaling Up to Large Models. In proceedings AAAI-92, pages 685\u2013690, 1992."},{"key":"27_CR14","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/0004-3702(84)90039-0","volume":"24","author":"B. Kuipers","year":"1984","unstructured":"Benjamin Kuipers. Commonsense Reasoning about Causality: Deriving Behavior from Structure. Aritificial Intelligence, 24:169\u2013203, 1984.","journal-title":"Aritificial Intelligence"},{"key":"27_CR15","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0004-3702(86)90073-1","volume":"29","author":"B. Kuipers","year":"1986","unstructured":"Benjamin Kuipers. Qualitative Simulation. Aritificial Intelligence, 29:289\u2013338, 1986.","journal-title":"Aritificial Intelligence"},{"key":"27_CR16","volume-title":"Expert Systems in the Electric Age","author":"P. J. Hayes","year":"1979","unstructured":"P. J. Hayes. The naive physics manifesto, in: D. Michie (Ed.), Expert Systems in the Electric Age (Edinburgh University Press, Edinburgh, 1979)."},{"key":"27_CR17","unstructured":"Y. Ishida and L. Eshelman. AQUA: Integrating Model-Based Diagnosis and Syndrome-Based Diagnosis, cmu-cs-87-111, 1987."},{"key":"27_CR18","unstructured":"Yumi Iwasaki, Richard Fikes, Marcos Vescovi, and B. Chandrasekaran. How Things Are Intended to Work: Capturing Functional Knowledge in Device Design. In proceedings IJICAI-93, pp.1516\u20131522, 1993."},{"key":"27_CR19","unstructured":"D. A. Pearce. The Induction of Fault Diagnosis Systems from Qualitative Models. In proceedings AAAI-88, pp. 353\u2013357, 1988."},{"key":"27_CR20","doi-asserted-by":"crossref","unstructured":"Yasushi Umeda, Tetsuo Tomiyama, and Hiroyuki Yoshikawa. A Design Methodology for a Self-maintenance Machine. DE-Vol.31, Design Theory and Methodology \u2014 DTM'91 \u2014 edited by L.A. Stauffer, Book No. G00641, 1991.","DOI":"10.1115\/DETC1991-0041"},{"key":"27_CR21","unstructured":"Marcos Vescovi, Yumi Iwasaki, Richard Fikes, and B. Chandrasekaran. CFRL: A Language for Specifying the Causal Functionality of Engineered Devices. In proceedings AAAI-93, pp.626\u2013633, 1993."},{"key":"27_CR22","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/0004-3702(84)90041-9","volume":"24","author":"B. C. Williams","year":"1984","unstructured":"Brian C. Williams. Qualitative Analysis of MOS Circuits. Aritificial Intelligence, 24:281\u2013346, 1984.","journal-title":"Aritificial Intelligence"},{"key":"27_CR23","unstructured":"Brian C. Williams. Doing time: putting qualitative reasoning on firmer ground, In proceedings AAAI-86, 1986."},{"key":"27_CR24","unstructured":"Bernard Yannou. Qualitative Design with Envisionment. In working papers QR'93, pp.250\u2013259. 1993."}],"container-title":["Lecture Notes in Computer Science","PRICAI'96: Topics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61532-6_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T05:42:08Z","timestamp":1640929328000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61532-6_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615323","9783540687290"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-61532-6_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}