{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:31Z","timestamp":1725663571597},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540194026"},{"type":"electronic","value":"9783540392552"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19402-9_80","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:08:15Z","timestamp":1330200495000},"page":"255-264","source":"Crossref","is-referenced-by-count":1,"title":["A logical approach to deal with incomplete causal models in diagnostic problem solving"],"prefix":"10.1007","author":[{"given":"Luca","family":"Console","sequence":"first","affiliation":[]},{"given":"Pietro","family":"Torasso","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"32_CR1","unstructured":"S. Andreassen, M. Woldbye, B. Falk, and S. Andersen, \u201cMUNIN \u2014 A Causal probabilistic Network for Interpretation of Electromyographic Findings,\u201d pp. 366\u2013372 in Proc 10th IJCAI, Milano (1987)."},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"D.G. Bobrow (ed), \u201cSpecial issue on qualitative reasoning,\u201d Artificial Intelligence 24(1984).","DOI":"10.1016\/0004-3702(84)90036-5"},{"key":"32_CR3","doi-asserted-by":"crossref","unstructured":"B. Chandrasekaran and R. Milne (eds), \u201cSpecial Section on Reasoning about Structure, Behavior and Function,\u201d Sigart Newsletter 93 pp. 4\u201355 (1985).","DOI":"10.1145\/1056557.1056561"},{"key":"32_CR4","unstructured":"L. Console and P. Torasso, \u201cHeuristic and Causal Reasoning in CHECK,\u201d in to be presented at 12th IMACS World Conference on Scientific Computation 88, Paris (July 1988)."},{"key":"32_CR5","unstructured":"L. Console and P. Torasso, \u201cHypothetical Reasoning in Causal Models,\u201d Techn. Rep. Univ. Torino (May 1987)."},{"key":"32_CR6","unstructured":"G. Cooper, \u201cNESTOR: A computer-based medical diagnostic aid that integrates causal and probabilistic knowledge,\u201d Ph.D. dissertation, Dept. of Computer Science, Stanford University (1984)."},{"key":"32_CR7","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. deKleer","year":"1986","unstructured":"J. deKleer, \u201cAn Assumption-based TMS,\u201d Artificial Intelligence 28 pp. 127\u2013162 (1986).","journal-title":"Artificial Intelligence"},{"key":"32_CR8","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. deKleer","year":"1987","unstructured":"J. deKleer and B.C. Williams, \u201cDiagnosing Multiple Faults,\u201d Artificial Intelligence 32 pp. 97\u2013130 (1987).","journal-title":"Artificial Intelligence"},{"key":"32_CR9","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0743-1066(84)90029-3","volume":"1","author":"D.M. Gabbay","year":"1985","unstructured":"D.M. Gabbay and U. Reyle, \u201cN-PROLOG: an extension of Prolog with hypothetical implications,\u201d Journal of Logic Programming 1 pp. 319\u2013355 (1985).","journal-title":"Journal of Logic Programming"},{"key":"32_CR10","unstructured":"H. Geffner and J. Pearl, \u201cA distributed approach to diagnosis,\u201d pp. 156\u2013162 in Proc Third IEEE Conf. on AI Application, Orlando (1987)."},{"key":"32_CR11","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/0004-3702(87)90093-2","volume":"32","author":"J. Halpern","year":"1987","unstructured":"J. Halpern and M. Rabin, \u201cA Logic to Reason about Likelihood,\u201d Artificial Intelligence 32 pp. 379\u2013405 (1987).","journal-title":"Artificial Intelligence"},{"key":"32_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2964568","volume":"24","author":"S. Kripke","year":"1959","unstructured":"S. Kripke, \u201cA Completness Theorem in Modal Logic,\u201d Journal of Symbolic Logic 24 pp. 1\u201314 (1959).","journal-title":"Journal of Symbolic Logic"},{"key":"32_CR13","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"J. McCarthy, \u201cCircumscription: a form of non-monotonic reasoning,\u201d Artificial Intelligence, 13, pp. 27\u201339 (1980).","journal-title":"Artificial Intelligence"},{"issue":"4","key":"32_CR14","first-page":"182","volume":"1","author":"G. Molino","year":"1986","unstructured":"G. Molino, G. Cravetto, P. Torasso, and L. Console, \u201cCHECK: a diagnostic expert system Combining HEuristic and Causal Knowledge,\u201d Int. J. of Biomedical Measurement, Informatics and Control 1(4) pp. 182\u2013193 (1986).","journal-title":"Int. J. of Biomedical Measurement, Informatics and Control"},{"key":"32_CR15","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"N.J. Nilsson","year":"1986","unstructured":"N.J. Nilsson, \u201cProbabilistic Logic,\u201d Artificial Intelligence 28 pp. 71\u201387 (1986).","journal-title":"Artificial Intelligence"},{"key":"32_CR16","unstructured":"R. Patil, \u201cCausal representation of patient illness for electrolyte and acid-base diagnosis,\u201d MIT\/LCS\/TR-267, Cambridge (1981)."},{"key":"32_CR17","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0004-3702(86)90027-5","volume":"28","author":"J. Pearl","year":"1986","unstructured":"J. Pearl, \u201cOn Evidential Reasoning in a Hierarchy of Hypotheses,\u201d Artificial Intelligence 28 pp. 9\u201315 (1986).","journal-title":"Artificial Intelligence"},{"key":"32_CR18","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0004-3702(87)90034-8","volume":"33","author":"J. Pearl","year":"1987","unstructured":"J. Pearl, \u201cDistributed Revision of Composite Beliefs,\u201d Artificial Intelligence 33 pp. 173\u2013215 (1987).","journal-title":"Artificial Intelligence"},{"key":"32_CR19","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"R. Reiter, \u201cA Theory of Diagnosis from First Principles,\u201d Artificial Intelligence 32 pp. 57\u201396 (1987).","journal-title":"Artificial Intelligence"},{"key":"32_CR20","unstructured":"N. Rescher, Hypothetical reasoning, North Holland (1964)."},{"key":"32_CR21","unstructured":"H. Ruspini, \u201cEpistemic Logics, Probabilities and the Calculus of Evidence,\u201d pp. 924\u2013931 in Proc. IJCAI 87, Milano (1987)."},{"key":"32_CR22","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0167-739X(85)90010-X","volume":"1","author":"L. Steels","year":"1985","unstructured":"L. Steels, \u201cSecond Generation Expert Systems,\u201d Future Generation Computing Systems 1 pp. 213\u2013221 (1985).","journal-title":"Future Generation Computing Systems"},{"key":"32_CR23","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0004-3702(78)90014-0","volume":"11","author":"P. Szolovits","year":"1978","unstructured":"P. Szolovits and S.G. Pauker, \u201cCategorical and probabilistic reasoning in medical diagnosis,\u201d Artificial Intelligence 11 pp. 115\u2013144 (1978).","journal-title":"Artificial Intelligence"},{"key":"32_CR24","doi-asserted-by":"crossref","unstructured":"P. Torasso and L. Console, \u201cCausal Reasoning in Diagnostic Expert Systems,\u201d pp. 598\u2013605 in Proc. V Int. Conf. on Applications of Artificial Intelligence, Orlando (1987).","DOI":"10.1117\/12.940674"},{"key":"32_CR25","unstructured":"D.S. Warren, \u201cDatabase updates in pure Prolog,\u201d pp. 244\u2013253 in Proc. Int. Conf. on Fifth Generation Computer Systems, Tokyo (1984)."}],"container-title":["Lecture Notes in Computer Science","Uncertainty and Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19402-9_80.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:17:05Z","timestamp":1605644225000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19402-9_80"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540194026","9783540392552"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-19402-9_80","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}