{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T04:02:22Z","timestamp":1747627342009,"version":"3.40.5"},"reference-count":55,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2001,3,1]],"date-time":"2001-03-01T00:00:00Z","timestamp":983404800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,3,1]],"date-time":"2001-03-01T00:00:00Z","timestamp":983404800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Applied Intelligence"],"published-print":{"date-parts":[[2001,3]]},"DOI":"10.1023\/a:1008322227554","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T14:41:38Z","timestamp":1040568098000},"page":"213-230","source":"Crossref","is-referenced-by-count":5,"title":["Model-Based Diagnosis and Conditional Logic"],"prefix":"10.1007","volume":"14","author":[{"given":"N.","family":"Obeid","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"318648_CR1","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/0004-3702(84)90042-0","volume":"24","author":"R. Davis","year":"1984","unstructured":"R. Davis, \u201cDiagnostic reasoning based on structure and behavior,\u201d Artificial Intelligence, vol. 24, pp. 347-410, 1984.","journal-title":"Artificial Intelligence"},{"issue":"1-3","key":"318648_CR2","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0004-3702(91)90112-W","volume":"51","author":"W. Hamscher","year":"1991","unstructured":"W. Hamscher, \u201cModeling digital circuits for troubleshooting,\u201d Artificial Intelligence, vol. 51, no. 1-3, pp. 223-271, 1991.","journal-title":"Artificial Intelligence"},{"key":"318648_CR3","unstructured":"I. Mozetic, \u201cHierarchical model-based diagnosis,\u201d in Readings in Model-Based Diagnosis, edited by W. Hamsche, L. Console, and De Kleer, Morgan Kaufmann Publishers, Inc., 1992."},{"key":"318648_CR4","unstructured":"C. Boettcher and O. Dressller, \u201cDiagnosis process dynamics: Holding the diagnostic trackhound in leash,\u201d in Proceedings of the International Joint Conference on Artificial Intelligence, Morgan Kaufmann Publishers, 1993."},{"key":"318648_CR5","unstructured":"W. Nejdl, P. Froehlich, and M. Schroeder, \u201cA formal framework for representing diagnosis strategies in model-based diagnosis systems,\u201d in Proceedings of the 14th International Joint Conference on AI (IJCAI-95), Montreal, Canada, Aug. 20-25, 1995."},{"key":"318648_CR6","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\u2013A form of non-monotonic reasoning,\u201d Artificial Intelligence, vol. 13, pp. 27-39, 1980.","journal-title":"Artificial Intelligence"},{"key":"318648_CR7","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter, \u201cA logic for default reasoning,\u201d Artificial Intelligence, vol. 13, pp. 81-132, 1980.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"318648_CR8","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1109\/3468.554680","volume":"27","author":"G. Biswas","year":"1997","unstructured":"G. Biswas, R. Kapadia, and X. Yu, \u201cCombined qualitative quantitative steady state diagnosis of continuous-valued systems,\u201d IEEE Transactions on Systems, Man, and Cybernetics, vol. 27, no. 2, pp. 167-185, 1997.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"issue":"1","key":"318648_CR9","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/64.193055","volume":"8","author":"G. Biswas","year":"1993","unstructured":"G. Biswas, S. Manganaris, and X. Yu, \u201cExtending component connection modeling for analyzing complex physical systems,\u201d IEEE Expert, vol. 8, no. 1, pp. 48-57, 1993.","journal-title":"IEEE Expert"},{"key":"318648_CR10","unstructured":"G. Biswas and X. Yu, \u201cA formal modeling scheme for continuous systems: Focus on diagnosis,\u201d in Proceedings of the International Conference on Artificial Intelligence, 1993, pp. 1474-1479."},{"key":"318648_CR11","unstructured":"C. Boettcher, \u201cNo faults in structure? \u2013 How to diagnose hidden interactions,\u201d in Proceedings of the Fifth International Conference on Artificial Intelligence, Morgan Kaufmann Publishers, 1996, pp. 1728-1734."},{"key":"318648_CR12","unstructured":"C. Preist and B.Welham, \u201cModelling bridge faults for diagnosis in electronic circuits,\u201d in Proceedings of the 1st International Workshop on Principles of Diagnosis, Stanford, 1990."},{"issue":"4","key":"318648_CR13","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0952-1976(90)90025-H","volume":"3","author":"V. Devedzic","year":"1990","unstructured":"V. Devedzic and D. Velasevic, \u201cFeatures of second generation expert systems\u2013An extended overview,\u201d Engineering Applications of Artificial Intelligence, vol. 3, no. 4, pp. 255-270, 1990.","journal-title":"Engineering Applications of Artificial Intelligence"},{"key":"318648_CR14","first-page":"29","volume":"1","author":"T. Hansen","year":"1988","unstructured":"T. Hansen, \u201cDiagnosing multiple faults using knowledge about malfunction behavior,\u201d in First International Conference on Industrial Engineering Applications of AI and ES, 1988, vol. 1, pp. 29-36.","journal-title":"First International Conference on Industrial Engineering Applications of AI and ES"},{"key":"318648_CR15","first-page":"69","volume":"8","author":"T.A. Nguyen","year":"1987","unstructured":"T.A. Nguyen, W.A. Perkins, T. Laffey, and D. Pecora, \u201cKnowledge base verification,\u201d AI Magazine, vol. 8, pp. 69-75, 1987.","journal-title":"AI Magazine"},{"key":"318648_CR16","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1016\/0004-3702(84)90043-2","volume":"24","author":"M.R. Genesereth","year":"1984","unstructured":"M.R. Genesereth, \u201cThe use of design descriptions in automated diagnosis,\u201d Artificial Intelligence, vol. 24, pp. 411-436, 1984.","journal-title":"Artificial Intelligence"},{"key":"318648_CR17","unstructured":"M. Schwarzblat and J. Arellano, \u201cAn expert diagnostic and prediction system based on minimal cutset techniques,\u201d in Proceedings of the Second Conference on Artificial Intelligence Applications, 1985."},{"key":"318648_CR18","doi-asserted-by":"crossref","unstructured":"S. Shapiro, S. Srihari, M. Taie, and J. Geller, \u201cVMES: A network based versatile maintenance expert system,\u201d in First International Conference on Applications of Artificial Intelligence in Engineering Problems, 1986.","DOI":"10.1007\/978-3-662-21626-2_75"},{"key":"318648_CR19","unstructured":"R. Mathonet, H. Van'Cotthem, and L. Vanryckeghem, \u201cDANTES: An expert system for real-time network troubleshooting,\u201d in Proceedings of the Seventh InternationalWorkshop on Expert Systems & Their Applications, Avignon, 1987, pp. 468-488."},{"key":"318648_CR20","unstructured":"S. Nold, R. Isermann, and B. Freyermuth, \u201cA multilevel knowledge-based concept for the supervision of technical processes,\u201d in Proceedings of the Fifth International Symposium on Technical Diagnostics, 1987, pp. 145-152."},{"key":"318648_CR21","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, vol. 32, pp. 57-95, 1987.","journal-title":"Artificial Intelligence"},{"key":"318648_CR22","unstructured":"L. Console, T. Dupre, and P. Torasso, \u201cA theory of diagnosis for incomplete causal models,\u201d in Proceedings of the International Joint Conference on Artificial Intelligence, 1989, pp. 1131-1137."},{"key":"318648_CR23","unstructured":"J. De Kleer and B.Williams, \u201cDiagnosis with behavioral modes,\u201d in Proceedings of the International Conference on Artificial Intelligence, 1989, pp. 1324-1330."},{"key":"318648_CR24","unstructured":"P. Struss and O. Dressler, \u201cPhysical negation\u2013Integrating fault models into the general diagnostic engine,\u201d in Proceedings of the International Joint Conference on Artificial Intelligence, 1989, pp. 1318-1323."},{"issue":"6","key":"318648_CR25","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0933-3657(91)90002-S","volume":"3","author":"L. Console","year":"1991","unstructured":"L. Console and P. Torasso, \u201cOn the co-operation between abductive and temporal reasoning in medical diagnosis,\u201d Artificial Intelligence in Medicine, vol. 3, no. 6, pp. 291-311, 1991.","journal-title":"Artificial Intelligence in Medicine"},{"issue":"3","key":"318648_CR26","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1111\/j.1467-8640.1991.tb00388.x","volume":"7","author":"L. Console","year":"1991","unstructured":"L. Console and P. Torasso, \u201cA spectrum of logical definitions of model-based diagnosis,\u201d Computational Intelligence, vol. 7, no. 3, pp. 133-141, 1991.","journal-title":"Computational Intelligence"},{"key":"318648_CR27","unstructured":"R. Davis and W. Hamscher, \u201cModel-based reasoning: Troubleshooting,\u201d in Exploring Artificial Intelligence, Ch. 8, Morgan Kaufmann Publishers, pp. 197-436, 1992."},{"volume-title":"Reading in model-based diagnosis","year":"1992","key":"318648_CR28","unstructured":"W. Hamscher, J. Console, and J. DeKleer (Eds.), \u201cReading in model-based diagnosis,\u201d Morgan-kaufmann Publishers, CA, USA, 1992."},{"issue":"6","key":"318648_CR29","doi-asserted-by":"crossref","first-page":"1718","DOI":"10.1109\/21.257765","volume":"23","author":"L. Chittaro","year":"1993","unstructured":"L. Chittaro, G. Guida, C. Tasso, and E. Toppano, \u201cFunctional and teleological knowledge in the multimodeling approach for reasoning about physical systems: A case study in diagnosis,\u201d IEEE Transactions on Systems, Man and Cybernetics, vol. 23, no. 6, pp. 1718-1715, 1993.","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"},{"key":"318648_CR30","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"J. McCarthy","year":"1986","unstructured":"J. McCarthy, \u201cApplication of circumscription to formalizing commonsense knowledge,\u201d Artificial Intelligence, vol. 28, pp. 89-116, 1986.","journal-title":"Artificial Intelligence"},{"key":"318648_CR31","first-page":"293","volume-title":"Logic and Databases","author":"K. Clark","year":"1987","unstructured":"K. Clark, \u201cNegation as failure,\u201d in Logic and Databases, edited by H. Gallair and J. Minker, Plenum Press: New York, pp. 293-322, 1987."},{"key":"318648_CR32","volume-title":"Counterfactuals","author":"D. Lewis","year":"1973","unstructured":"D. Lewis, Counterfactuals, Blackwell, Oxford, 1973."},{"key":"318648_CR33","volume-title":"Inquiry","author":"R. Stalnaker","year":"1985","unstructured":"R. Stalnaker, Inquiry, MIT Press: Cambridge, Mass, 1985."},{"key":"318648_CR34","doi-asserted-by":"crossref","unstructured":"R. Stalnaker, \u201cA theory of conditionals,\u201d in Studies in Logical Theory, (American Philosophical Quarterly, Supplementary Monograph Series), Oxford, 1968, pp. 98-112.","DOI":"10.1007\/978-94-009-9117-0_2"},{"key":"318648_CR35","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1111\/j.1755-2567.1970.tb00408.x","volume":"36","author":"R. Stalnaker","year":"1970","unstructured":"R. Stalnaker and R. Thomason, \u201cA semantic analysis of conditional logic,\u201d Theoria, vol. 36, pp. 23-42, 1970.","journal-title":"Theoria"},{"key":"318648_CR36","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"S. Kraus, D. Lehmann, and M. Magidor, \u201cNonmonotonic reasoning, preferential models and cumulative logics,\u201d Artificial Intelligence, vol. 44, pp. 162-207, 1990.","journal-title":"Artificial Intelligence"},{"key":"318648_CR37","unstructured":"G. Crocco and P. Lamarre, \u201cOn the connection between conditional logics and nonmonotonic logics,\u201d in Proceedings of the International Conference on Knowledge Representation and Reasoning (KR'92), edited by Bernhard Nebel, Charles Rich, and William Swartout, Morgan Kaufmann Publishers, 1992, pp. 565-571."},{"key":"318648_CR38","unstructured":"N. Obeid, \u201cOn normal default reasoning and conditional logic,\u201d Progress in Artificial Intelligence, edited by H. Coelho, in Proceedings of 6th Iberoamerican Conference on Artificial Intellligence, 1998, pp. 81-92."},{"issue":"2-3","key":"318648_CR39","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","volume":"56","author":"L. De Kleer","year":"1992","unstructured":"L. De Kleer, A.K. Mackworth, and R. Reiter, Characterizing Diagnoses and Systems, Artificial Intelligence, vol. 56, no. 2-3, pp. 197-222, 1992.","journal-title":"Artificial Intelligence"},{"key":"318648_CR40","volume-title":"Problem-solving methods for diagnosis","author":"R. Benjamins","year":"1993","unstructured":"R. Benjamins, \u201cProblem-solving methods for diagnosis,\u201d Ph.D. Thesis, University of Amsterdam, Amsterdam, The Netherlands, 1993."},{"key":"318648_CR41","volume-title":"Exploring AI: Survey Talks from the National Conference on AI","author":"R. Davis","year":"1988","unstructured":"R. Davis and W. Hamscher, \u201cModel-based reasoning: Troubleshooting,\u201d in Exploring AI: Survey Talks from the National Conference on AI, edited by H.E. Shrobe, Morgan Kaufman, San Mateo, CA, 1988."},{"key":"318648_CR42","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/0004-3702(84)90037-7","volume":"24","author":"J. De Kleer","year":"1984","unstructured":"J. De Kleer, and J. Brown, \u201cA qualitative physics based on confluences,\u201d Artificial Intelligence, vol. 24, pp. 7-83, 1984.","journal-title":"Artificial Intelligence"},{"key":"318648_CR43","volume-title":"Readings in Model-Based Diagnosis","author":"O. Raiman","year":"1992","unstructured":"O. Raiman, \u201cThe alibi principle,\u201d in Readings in Model-Based Diagnosis, edited by W. Hamscher et al., Morgan Kaufmann Publishers, San Mateo, CA, 1992."},{"key":"318648_CR44","unstructured":"O. Raiman, J. De Kleer,V. Saraswat, and M. Shirley, \u201cCharacterizing non-intermittent faults,\u201d in Proceedings of the 9th National Conference on AI (AAAI-91), Anaheim, CA, July 14-19, 1991."},{"key":"318648_CR45","unstructured":"J. Bell, \u201cPragmatic logics,\u201d in Proceedings of the Workshop on Knowledge Representation and Reasoning (KR'91), Morgan Kaufmann Publishers, 1991, pp. 365-374."},{"key":"318648_CR46","doi-asserted-by":"crossref","unstructured":"D. Nute, \u201cConditional logic,\u201d in Handbook of Philosophical Logic, edited by D. Gabbay and F. Gunthner, Kluwer Academic Publishers, vol. II, pp. 387-439, 1984.","DOI":"10.1007\/978-94-009-6259-0_8"},{"key":"318648_CR47","doi-asserted-by":"crossref","unstructured":"D. Gabbay, \u201cTheoretical foundations for non-monotonic reasoning in expert systems,\u201d in Logics and Models of Concurrent Systems, edited by K. Apt, Springer-Verlag, pp. 439-457, 1985.","DOI":"10.1007\/978-3-642-82453-1_15"},{"key":"318648_CR48","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF00693270","volume":"4","author":"B. Chellas","year":"1975","unstructured":"B. Chellas, \u201cBasic conditional logics,\u201d in Journal of Philosophical Logic, vol. 4, pp. 133-153, 1975.","journal-title":"Journal of Philosophical Logic"},{"key":"318648_CR49","unstructured":"V. Lifschitz, \u201cSome results on circumscription,\u201d in AAAI Workshop on Nonmonotonic Reasoning, Mohonk, Oct. 17-19, 1984."},{"key":"318648_CR50","unstructured":"Etherington, 1987b."},{"key":"318648_CR51","unstructured":"Etherington, 1987a."},{"issue":"2","key":"318648_CR52","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/BF00117816","volume":"6","author":"N Obeid","year":"1996","unstructured":"Obeid N, \u201cA proof procedure for normal default theories,\u201d Journal of Applied Intelligence, vol. 6, no. 2, pp. 165-175, 1996.","journal-title":"Journal of Applied Intelligence"},{"key":"318648_CR53","volume-title":"A Companion to Modal Logic","author":"G.E. Hughes","year":"1984","unstructured":"G.E. Hughes and M.J. Cresswell, A Companion to Modal Logic, Methuen, London, 1984."},{"key":"318648_CR54","unstructured":"P. Struss, \u201cDiagnosis as a process,\u201d in Readings in Model-Based Diagnosis, edited by W. Hamscher, L. Console, and De Kleer, Morgan Kaufmann Publishers, Inc., pp. 408-418, 1992."},{"key":"318648_CR55","unstructured":"P. Struss, \u201cWhat's in SD? towards a theory of modeling in diagnosis,\u201d in Readings in Model-Based Diagnosis, Morgan Kaufmann Publishers, pp. 419-449, 1992."}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008322227554.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008322227554\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008322227554.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:45:49Z","timestamp":1747579549000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008322227554"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,3]]},"references-count":55,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2001,3]]}},"alternative-id":["318648"],"URL":"https:\/\/doi.org\/10.1023\/a:1008322227554","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"type":"print","value":"0924-669X"},{"type":"electronic","value":"1573-7497"}],"subject":[],"published":{"date-parts":[[2001,3]]}}}