{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:48Z","timestamp":1725663948010},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540547129"},{"type":"electronic","value":"9783540464433"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54712-6_230","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:09:44Z","timestamp":1330193384000},"page":"177-186","source":"Crossref","is-referenced-by-count":3,"title":["Towards the integration of different knowledge sources in model-based diagnosis"],"prefix":"10.1007","author":[{"given":"Luca","family":"Console","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Theseider Dupre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pietro","family":"Torasso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"18_CR1","unstructured":"Abu-Hanna, A., Benjamins, R., and Jansweijer, W., \u201cFunctional Models in Diagnostic Reasoning,\u201d pp. 243\u2013256 in Proc. 11th Int. Work, on Expert Systems and Their Applications (Conf. on 2nd Generation Expert Systems), Avignon (1991)."},{"key":"18_CR2","first-page":"617","volume-title":"Proc. 7th Int. Conf. on Logic Programming","author":"K. R. Apt","year":"1990","unstructured":"Apt, K.R. and Bezem, M., \u201cAcyclic programs,\u201d pp. 617\u2013633 in Proc. 7th Int. Conf. on Logic Programming, MIT Press, Jerusalem (1990)."},{"key":"18_CR3","unstructured":"Bylander, T., Allemang, D., Tanner, M., and Josephson, J., \u201cSome Results Concerning the Computational Complexity of Abduction,\u201d pp. 44\u201354 in Proc. 1st Conference on Principles of Knowledge Representation and Reasoning, Toronto (1989)."},{"key":"18_CR4","unstructured":"Chittaro, L., Costantini, C., Guida, G., Tasso, C., and Toppano, E., \u201cDiagnosis Based on Cooperation of Multiple Knowledge Sources,\u201d pp. 19\u201333 in Proc. 9th Int. Work. on Expert Systems and Their Applications (Conf. on 2nd Generation Expert Systems), Avignon (1989)."},{"key":"18_CR5","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K. Clark","year":"1978","unstructured":"Clark, K., \u201cNegation as failure,\u201d pp. 293\u2013322 in Logic and Data Bases, ed. H. Gallaire, J. Minker,Plenum Press, New York (1978)."},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Console, L., Portinale, L., and Theseider Dupr\u00e9, D., \u201cFocusing Abductive Diagnosis,\u201d pp. 231\u2013242 in Proc. 11th Int. Work. on Expert Systems and Their Applications (Conf. on 2nd Generation Expert Systems), Avignon (1991).","DOI":"10.3233\/AIC-1991-42-3006"},{"key":"18_CR7","unstructured":"Console, L., Theseider Dupre', D., and Torasso, P., \u201cAbductive Reasoning through Direct Deduction from Completed Domain Models,\u201d pp. 175\u2013182 in Methodologies for Intelligent Systems 4, ed. Z. Ras, North Holland (1989)."},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Console, L., Theseider Dupr\u00e9, D., and Torasso, P., \u201cOn the Relationship between Abduction and Deduction,\u201d to appear in Journal of Logic and Computation, (1991).","DOI":"10.1093\/logcom\/1.5.661"},{"key":"18_CR9","unstructured":"Console, L., Theseider Dupr\u00e9, D., and Torasso, P., \u201cA Theory of Diagnosis for Incomplete Causal Models,\u201d pp. 1311\u20131317 in Proc. 11th IJCAI, Detroit (1989)."},{"key":"18_CR10","unstructured":"Console, L. and Torasso, P., \u201cIntegrating Models of the Correct Behavior into Abductive Diagnosis,\u201d pp. 160\u2013166 in Proc. 9th ECAI, Stockholm (1990)."},{"key":"18_CR11","unstructured":"Cox, P.T. and Pietrzykowski, T., \u201cGeneral Diagnosis by Abductive Inference,\u201d pp. 183\u2013189 in Proc. IEEE Symposium on Logic Programming, San Francisco (1987)."},{"key":"18_CR12","unstructured":"Davis, R. and Hamscher, W., \u201cModel-based reasoning: Troubleshooting,\u201d pp. 297\u2013346 in Exploring Artificial Intelligence, ed. H.E. Shrobe,Morgan Kaufman (1988)."},{"key":"18_CR13","unstructured":"DeKleer, J., Mackworth, A., and Reiter, R., \u201cCharacterizing Diagnoses,\u201d pp. 318\u2013323 in Proc. AAAI 90, Boston (1990)."},{"key":"18_CR14","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. DeKleer","year":"1987","unstructured":"DeKleer, J. and Williams, B.C., \u201cDiagnosing Multiple Faults,\u201d Artificial Intelligence 32 pp. 97\u2013130 (1987).","journal-title":"Artificial Intelligence"},{"key":"18_CR15","unstructured":"DeKleer, J. and Williams, B.C., \u201cDiagnosis with behavioral modes,\u201d pp. 1324\u20131330 in Proc. 11th IJCAI, Detroit (1989)."},{"key":"18_CR16","first-page":"234","volume-title":"Proc. 6th Int. Conf. on Logic Programming","author":"K. Eshghi","year":"1989","unstructured":"Eshghi, K. and Kowalski, R., \u201cAbduction Compared with Negation as Failure,\u201d pp. 234\u2013254 in Proc. 6th Int. Conf. on Logic Programming, MIT Press, Lisbon (1989)."},{"key":"18_CR17","unstructured":"Friedrich, G., Gottlob, G., and Nejdl, W., \u201cPhysical Impossibility Instead of Fault Models,\u201d pp. 331\u2013336 in Proc. AAAI 90, Boston (1990)."},{"key":"18_CR18","volume-title":"Technical Report","author":"R. Kowalski","year":"1988","unstructured":"Kowalski, R. and Sadri, F., \u201cKnowledge Representation without Integrity Constraints,\u201d Technical Report, Department of Computing, Imperial College, London (1988)."},{"key":"18_CR19","unstructured":"Patil, R., \u201cCausal representation of patient illness for electrolyte and acid-base diagnosis,\u201d MIT\/LCS\/TR-267, Cambridge (1981)."},{"key":"18_CR20","unstructured":"Pearl, J., Probabilistic Reasoning in Intelligent Systems, Morgan Kaufmann (1989)."},{"issue":"1","key":"18_CR21","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1111\/j.1467-8640.1989.tb00319.x","volume":"5","author":"D. Poole","year":"1989","unstructured":"Poole, D., \u201cExplanation and Prediction: An Architecture for Default and Abductive Reasoning,\u201d Computational Intelligence 5 (1) pp. 97\u2013110 (1989).","journal-title":"Computational Intelligence"},{"key":"18_CR22","unstructured":"Poole, D., Goebel, R., and Aleliunas, R., \u201cTheorist: a logical reasoning system for default and diagnosis,\u201d pp. 331\u2013352 in The Knowledge Frontier, ed. N. Cercone, G. Mc Calla,Springer Verlag (1987)."},{"key":"18_CR23","unstructured":"Raiman, O., \u201cDiagnosis as a Trial: The Alibi Principle,\u201d in Proc. Int. Workshop on Model-based Diagnosis, Paris (1988)."},{"key":"18_CR24","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R., \u201cA Theory of Diagnosis from First Principles,\u201d Artificial Intelligence 32 pp. 57\u201396 (1987).","journal-title":"Artificial Intelligence"},{"key":"18_CR25","unstructured":"Selman, B. and Levesque, H., \u201cAbductive and Default Reasoning: A Computational Core,\u201d pp. 343\u2013348 in Proc. AAAI 90, Boston (1990)."},{"key":"18_CR26","unstructured":"Shanahan, M., \u201cPrediction is Deduction but Explanation is Abduction,\u201d pp. 1055\u20131060 in Proc. 11th IJCAI, Detroit (1989)."},{"key":"18_CR27","unstructured":"Struss, P. and Dressler, O., \u201cPhysical Negation \u2014 Integrating Fault Models into the General Diagnostic Engine,\u201d pp. 1318\u20131323 in Proc. 11th IJCAI, Detroit (1989)."},{"key":"18_CR28","unstructured":"Torasso, P. and Console, L., Diagnostic Problem Solving: Combining Heuristic, Approximate and Causal Reasoning, Van Nostrand Reinhold (1989)."}],"container-title":["Lecture Notes in Computer Science","Trends in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54712-6_230.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:23:54Z","timestamp":1619558634000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54712-6_230"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540547129","9783540464433"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-54712-6_230","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}