{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T12:05:51Z","timestamp":1749125151862},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[1994,3,1]],"date-time":"1994-03-01T00:00:00Z","timestamp":762480000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1994,3]]},"DOI":"10.1007\/bf01530744","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T00:37:15Z","timestamp":1113871035000},"page":"241-261","source":"Crossref","is-referenced-by-count":6,"title":["A framework for controlling model-based diagnosis systems with multiple actions"],"prefix":"10.1007","volume":"11","author":[{"given":"Claudia","family":"B\ufffdttcher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oskar","family":"Dressler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"B. Ayeb, P. Marquis and M. Rusinowitch, A new diagnosis approach by deduction and abduction,Proc. Int. Workshop on Expert Systems in Engineering, Springer LNAI 462.","DOI":"10.1007\/3-540-53104-1_29"},{"key":"CR2","unstructured":"C. B\ufffdttcher, Die Verwendung multipler Modelle in der modellbasierten Diagnose (in German), University of Karlsruhe (1991)."},{"key":"CR3","unstructured":"L. Console and P. Torasso, Integrating models of the correct behaviour into abductive reasoning,Proc. ECAI '90 (Pitman Publ.)."},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"J. de Kleer and B. Williams, Diagnosing multiple faults, Artificial Intelligence (1987).","DOI":"10.1016\/0004-3702(87)90063-4"},{"key":"CR5","unstructured":"J. de Kleer and B. Williams, Diagnosis with behavioural modes,Proc. IJCAI-89 (Morgan Kaufmann, 1989)."},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"J. de Kleer, A. Mackworth and R. Reiter, Characterizing diagnoses,Proc. AAAI 90 (MIT Press, 1990).","DOI":"10.1007\/3-540-53104-1_27"},{"key":"CR7","unstructured":"J. de Kleer, Focusing on probable diagnoses,Proc. AAAI 91 (MIT Press, 1991)."},{"key":"CR8","unstructured":"J. Doyle, Rational belief revision,Working Notes 3rd Int. Workshop on Non-monotonic Reasoning, South Lake Tahoe, 1990."},{"key":"CR9","unstructured":"J. Doyle, Rational belief revision,Proc. KR '91 (Morgan Kaufmann, 1991)."},{"key":"CR10","unstructured":"O. Dressler, An extended basic ATMS,Proc. 2nd Int. NMR Workshop, LNAI 346 (Springer, 1988)."},{"key":"CR11","unstructured":"O. Dressler, Problem solving with the NM-ATMS,Proc. ECAI 90 (Pitman, 1990)."},{"key":"CR12","unstructured":"O. Dressler and A. Farquhar, Putting the problem solver back in the driver's seat: Contextual control of the ATMS, in: Martins and Reinfrank (eds.),Truth Maintenance Systems, Springer LNAI 515 (1990)."},{"key":"CR13","unstructured":"O. Dressler and P. Struss, Back to defaults: Characterizing and computing diagnoses as coherent assumption sets,proc. ECAI 92 (Wiley, 1992); corrected version in: Working Notes DX-92,Int. Workshop on Principles of Diagnoses, Seattle, 1992."},{"key":"CR14","unstructured":"O. Dressler, C. B\ufffdttcher, M. Montag and A. Brinkop, Qualitative and quantitative models in a model-based diagnosis system for ballast tank systems,Proc. Tooldiag '93, Toulouse, 1993."},{"key":"CR15","unstructured":"G. Friedrich, G. Gottlob and W. Nejdl, Formalizing the Repair Process,Proc. ECAI 92 (Wiley, 1992)."},{"key":"CR16","unstructured":"G. Friedrich, G. Gottlob and W. Nejdl, Physical impossibility instead of fault models,Proc. AAAI 90 (MIT Press)."},{"key":"CR17","unstructured":"G. Friedrich and F. Lackinger, Diagnosing temporal misbehavior,Proc. IJCAI 90 (Morgan Kaufmann, 1991)."},{"key":"CR18","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/BF00284974","volume":"20","author":"A. Fuhrmann","year":"1991","unstructured":"A. Fuhrmann, Theory contraction through base contraction, J. Philos. Logic 20 (1991) 175?203.","journal-title":"J. Philos. Logic"},{"key":"CR19","unstructured":"P. G\ufffdrdenfors,Knowledge in Flux (MIT Press, 1988)."},{"key":"CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(91)90112-W","volume":"51","author":"W. Hamscher","year":"1991","unstructured":"W. Hamscher, Modeling digital circuits for troubleshooting, Artificial Intelligence 51 (1991) 1?3.","journal-title":"Artificial Intelligence"},{"key":"CR21","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/BF00431184","volume":"16","author":"D. Makinson","year":"1987","unstructured":"D. Makinson, On the status of the postulate of recovery in the logic of theory change. J. Philos. Logic 16 (1987) 383?394.","journal-title":"J. Philos. Logic"},{"key":"CR22","unstructured":"B. Nebel, A knowledge level analysis of belief revision,Proc. KR '89 (Morgan Kaufmann, 1989)."},{"key":"CR23","unstructured":"B. Nebel, Belief revision and default reasoning: syntax-based approaches,Proc. KR '91 (Morgan Kaufmann, 1991)."},{"key":"CR24","doi-asserted-by":"crossref","unstructured":"W. Nejdl, Belief revision, diagnosis and repair,Proc. GI-Congress Knowledge-based Systems (Springer, 1991).","DOI":"10.1007\/978-3-642-76980-1_26"},{"key":"CR25","unstructured":"D. Poole, Normality and faults in logic-based diagnosis,Proc. IJCAI 89."},{"key":"CR26","unstructured":"O. Raiman, The alibi principle,Proc. Diagnosis Workshop, Paris 1989, IBM Report."},{"key":"CR27","unstructured":"O. Raiman, J. de Kleer, V. Saraswat and M. Shirley, Characterizing non-intermittent faults,Proc. AAAI 91 (MIT Press, 1991)."},{"key":"CR28","unstructured":"M. Reinfrank, O. Dressler and G. Brewka, On the relation between truth maintenance and auto-epistemic logic,Proc. IJCAI 89 (Morgan Kaufmann, 1989)."},{"key":"CR29","doi-asserted-by":"crossref","unstructured":"R. Reiter, A logic for default reasoning, Artificial Intelligence (1980).","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"CR30","doi-asserted-by":"crossref","unstructured":"R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence (1987).","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"CR31","unstructured":"W. Rodi and S. Pimentel, A non-monotonic assumption-based TMS using stable bases,Proc. KR '91 (Morgan Kaufmann, 1991)."},{"key":"CR32","unstructured":"P. Struss and O. Dressler, ?Physical negation? ? Integrating fault models into the general diagnostic engine,proc. IJCAI '89 (Morgan Kaufmann, 1989)."},{"key":"CR33","unstructured":"P. Struss, Diagnosis as a process,Working Notes of the Int. Workshop on Model-based Diagnosis, Paris, 1989; revised version in:Readings in Model-based Diagnosis (Morgan Kaufmann, 1992)."},{"key":"CR34","unstructured":"P. Struss, What's in SD? Towards a theory of modelling for diagnosis, in:Readings in Model-based Diagnosis (Morgan Kaufmann, 1992)."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530744\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530744.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530744\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530744","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T13:31:29Z","timestamp":1556890289000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01530744"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,3]]},"references-count":34,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[1994,3]]}},"alternative-id":["BF01530744"],"URL":"https:\/\/doi.org\/10.1007\/bf01530744","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,3]]}}}