{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:14:40Z","timestamp":1725664480815},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540604280"},{"type":"electronic","value":"9783540455950"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60428-6_26","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:27:44Z","timestamp":1330280864000},"page":"311-322","source":"Crossref","is-referenced-by-count":1,"title":["Systematic construction of qualitative physics-based rules for process diagnostics"],"prefix":"10.1007","author":[{"given":"Jaques","family":"Reifman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas Y. C.","family":"Wei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"26_CR1","first-page":"296","volume-title":"REACTOR: An Expert System for Diagnosis and Treatment of Nuclear Reactor Accidents","author":"W. R. Nelson","year":"1982","unstructured":"W. R. Nelson, \u201cREACTOR: An Expert System for Diagnosis and Treatment of Nuclear Reactor Accidents,\u201d Proceedings of the National Conference on Artificial Intelligence, AAAI, pp. 296\u2013301, Pittsburgh, Pennsylvania, August 18\u201320, 1982."},{"key":"26_CR2","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1002\/aic.690340105","volume":"34","author":"F. E. Finch","year":"1988","unstructured":"F. E. Finch and M. A. Kramer, \u201cNarrowing Diagnostic Focus Using Functional Decomposition,\u201d AIChE J., 34, 25, 1988.","journal-title":"AIChE J."},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"J. E. Larsson, \u201cHyperfast Algorithms for Model-Based Diagnosis,\u201d Proceedings of the IEEE\/IFAC Joint Symposium on Computer-Aided Control System Design,\u201d pp. 533\u2013538, Tucson, Arizona, March 7\u20139, 1994.","DOI":"10.1109\/CACSD.1994.288881"},{"key":"26_CR4","unstructured":"J. Reifman, L. L. Briggs, and T. Y. C. Wei, \u201cA First-Principles General Methodology for Representing the Knowledge Base of a Process Diagnosis Expert System,\u201d Proceedings of the 4th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, pp. 255\u2013265, Kauai, Hawaii, June 2\u20135, 1991."},{"key":"26_CR5","unstructured":"J. Reifman, L. L. Briggs, and T. Y. C. Wei, \u201cNuclear Power Plant Diagnostics Using Qualitative Analysis and Component Functional Classification,\u201d Proceedings of the Frontiers in Innovative Computing for Nuclear Industry, pp. 227\u2013236, Jackson, Wyoming, September 15\u201318, 1991."},{"key":"26_CR6","first-page":"7","volume":"24","author":"J. Kleer De","year":"1984","unstructured":"J. De Kleer and J. S. Brown, \u201cA Qualitative Physics Based on Confluences,\u201d AI, 24, 7, 1984.","journal-title":"AI"},{"key":"26_CR7","unstructured":"J. Reifman and T. Y. C. Wei, \u201cPRODIAG \u2014 Dynamic Qualitative Analysis for Process Fault Diagnosis,\u201d Proceedings of the 9th Power Plant Dynamics, Control and Testing Symposium, pp. 40.01\u201340.15, Knoxville, Tennessee, May 24\u201326, 1995."},{"key":"26_CR8","unstructured":"Quintus Corporation, Palo Alto, California, Release 3, 1991."},{"key":"26_CR9","unstructured":"J. Reifman, T. Y. C. Wei, R. G. Abboud, and T. M. Chasensky, \u201cCooperative Research and Development for Artificial Intelligence Based Reactor Diagnostic System,\u201d Proceedings of the American Power Conference, pp. 365\u2013370, Chicago, Illinois, April 25\u201327, 1994."},{"key":"26_CR10","unstructured":"J. Reifman, T. Y. C. Wei, R. G. Abboud, and T. M. Chasensky, \u201cFunctionBased Approach to Plant Diagnosis,\u201d paper submitted to the American Nuclear Society 1995 Winter Meeting, San Francisco, California, October 29\u2013November 2, 1995."}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60428-6_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:38:04Z","timestamp":1619573884000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60428-6_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540604280","9783540455950"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-60428-6_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}