{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:11:54Z","timestamp":1725484314312},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439417"},{"type":"electronic","value":"9783540456223"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45622-8_10","type":"book-chapter","created":{"date-parts":[[2007,5,23]],"date-time":"2007-05-23T18:45:20Z","timestamp":1179945920000},"page":"126-139","source":"Crossref","is-referenced-by-count":0,"title":["An Information-Theoretic Characterization of Abstraction in Diagnosis and Hypothesis Selection"],"prefix":"10.1007","author":[{"given":"T. K. Satish","family":"Kumar","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,7,9]]},"reference":[{"key":"10_CR1","unstructured":"Bayard, R. J. and Pehoushek, J. D. 2000. Counting Models using Connected Components. Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI 2000)."},{"issue":"3","key":"10_CR2","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1111\/j.1467-8640.1991.tb00388.x","volume":"7","author":"L. Console","year":"1991","unstructured":"Console, L. and Torasso, P. 1991. A Spectrum of Logical Definitions of Model-Based Diagnosis. Computational Intelligence 7(3): 133\u2013141.","journal-title":"Computational Intelligence"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Darwiche, A. 2001. On the Tractable Counting of Theory Models and its Applications to Belief Revision and Truth Maintenance. To appear in Journal of Applied Non-Classical Logics.","DOI":"10.3166\/jancl.11.11-34"},{"key":"10_CR4","unstructured":"Dechter, R. 1992. Constraint Networks. Encyclopedia of Artificial Intelligence, second edition, Wiley and Sons, pp 276\u2013285, 1992."},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"de Kleer, J. 1986. An Assumption Based TMS. Artificial Intelligence 28 (1986).","DOI":"10.1016\/0004-3702(86)90080-9"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. Kleer de","year":"1987","unstructured":"de Kleer, J. and Williams, B. C. 1987. Diagnosis with Behavioral Modes. Artificial Intelligence 32 (1987) 97\u2013130.","journal-title":"Artificial Intelligence"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","volume":"56","author":"J. Kleer de","year":"1992","unstructured":"de Kleer, J. Mackworth, A. K. and Reiter, R. 1992. Characterizing Diagnoses and Systems. Artificial Intelligence 56 (1992) 197\u2013222.","journal-title":"Artificial Intelligence"},{"key":"10_CR8","volume-title":"Building Problem Solvers","author":"K. D. Forbus","year":"1992","unstructured":"Forbus, K. D. and de Kleer, J. 1992. Building Problem Solvers (MIT Press, Cambridge, MA, 1992)."},{"key":"10_CR9","unstructured":"Hamscher, W. Console, L. and de Kleer J. 1992. Readings in Model-Based Diagnosis. Morgan Kaufmann, 1992."},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1016\/0196-6774(89)90038-2","volume":"10","author":"R. Karp","year":"1989","unstructured":"Karp, R. Luby, M. and Madras N. 1989. Monte-Carlo Approximation Algorithms for Enumeration Problems. Journal of Algorithms 10 429\u2013448. 1989.","journal-title":"Journal of Algorithms"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/S0004-3702(98)00060-5","volume":"104","author":"J. Kohlas","year":"1998","unstructured":"Kohlas, J., Anrig, B., Haenni, R., and Monney, P. A. Model-Based Diagnosis and Probabilistic Assumption-Based Reasoning. Artificial Intelligence, 104 (1998) 71\u2013106.","journal-title":"Artificial Intelligence"},{"key":"10_CR12","unstructured":"Kumar, T. K. S. 2001. QCBFS: Leveraging Qualitative Knowledge in Simulation-Based Diagnosis. Proceedings of the Fifteenth International Workshop on Qualitative Reasoning."},{"key":"10_CR13","unstructured":"Kumar, T. K. S. 2002a. A Model Counting Characterization of Diagnoses. Proceedings of the Thirteenth International Workshop on Principles of Diagnosis (DX 2002)."},{"key":"10_CR14","unstructured":"Kumar, T. K. S. 2002b. HCBFS: Combining Structure-Based and TMS-Based Approaches in Model-Based Diagnosis. Proceedings of the Thirteenth International Workshop on Principles of Diagnosis (DX 2002)."},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Kumar, T. K. S. and Dearden, R. 2002. The Oracular Constraints Method. Proceedings of the Fifth International Symposium on Abstraction, Reformulation and Approximation (SARA 2002).","DOI":"10.1007\/3-540-45622-8_22"},{"key":"10_CR16","unstructured":"Kurien, J. and Nayak, P. P. 2000. Back to the Future for Consistency-Based Trajectory Tracking. Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI 2000)."},{"issue":"1\u20132","key":"10_CR17","first-page":"293","volume":"105","author":"P. J. F. Lucas","year":"1998","unstructured":"Lucas, P. J. F. 1998. Analysis of Notions of Diagnosis. Artificial Intelligence, 105(1\u20132) (1998) 293\u2013341.","journal-title":"Artificial Intelligence"},{"key":"10_CR18","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/S0888-613X(01)00036-6","volume":"27","author":"P. J. F. Lucas","year":"2001","unstructured":"Lucas, P. J. F. 2001. Bayesian Model-Based Diagnosis. International Journal of Approximate Reasoning, 27 (2001) 99\u2013119.","journal-title":"International Journal of Approximate Reasoning"},{"issue":"3","key":"10_CR19","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1162\/neco.1992.4.3.415","volume":"4","author":"D. J. C. MacKay","year":"1991","unstructured":"MacKay, D. J. C. 1991. Bayesian Interpolation. Neural Computation 4(3): 415\u2013447, 1991.","journal-title":"Neural Computation"},{"key":"10_CR20","unstructured":"McIlraith, S. 1998. Explanatory Diagnosis: Conjecturing Actions to Explain Observations. Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR\u201998)."},{"issue":"6","key":"10_CR21","doi-asserted-by":"publisher","first-page":"554","DOI":"10.1109\/3468.798059","volume":"29","author":"P. J. Mosterman","year":"1999","unstructured":"Mosterman, P. J. and Biswas, G. 1999. Diagnosis of Continuous Valued Systems in Transient Operating Regions. IEEE Transactions on Systems, Man, and Cybernetics, 1999. Vol. 29, no. 6, pp. 554\u2013565, 1999.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"key":"10_CR22","unstructured":"Nayak, P. P. and Williams, B. C. 1997. Fast Context Switching in Real-time Propositional Reasoning. In Proceedings of AAAI-97."},{"key":"10_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8682-5","volume-title":"Abductive Inference Models for Diagnostic Problem Solving","author":"Y. Peng","year":"1990","unstructured":"Peng, Y. and Reggia, J. A. 1990. Abductive Inference Models for Diagnostic Problem Solving. New York: Springer-Verlag"},{"key":"10_CR24","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF01530736","volume":"11","author":"D. Poole","year":"1994","unstructured":"Poole, D. 1994. Representing Diagnosis Knowledge. Annals of Mathematics and Artificial Intelligence 11 (1994) 33\u201350.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10_CR25","unstructured":"Raiman, O. 1989. Diagnosis as a Trial: The Alibi Principle, IBM scientific center (1989)."},{"key":"10_CR26","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R. 1987. A Theory of Diagnosis from First Principles. Artificial Intelligence 32 (1987) 57\u201395.","journal-title":"Artificial Intelligence"},{"key":"10_CR27","unstructured":"Shanahan, M. 1993. Explanation in the Situation Calculus. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93), 160\u2013165."},{"key":"10_CR28","unstructured":"Struss, P. 1998. Extensions to ATMS-based Diagnosis, in: J. S. Gero (ed.), Artificial Intelligence in Engineering: Diagnosis and Learning, Southampton, 1988."},{"key":"10_CR29","unstructured":"Struss, P. and Dressler, O. 1989. \u201cPhysical Negation\u201d-Integrating Fault Models into the General Diagnosis Engine, in: Proceedings IJCAI-89 Detroit, MI (1989) 1318\u20131323."},{"key":"10_CR30","unstructured":"Williams B. C. and Nayak, P. P. 1996. A Model-Based Approach to Reactive Self-Configuring Systems. In Proceedings of AAAI-96, 971\u2013978."}],"container-title":["Lecture Notes in Computer Science","Abstraction, Reformulation, and Approximation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45622-8_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T07:31:20Z","timestamp":1556436680000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45622-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439417","9783540456223"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-45622-8_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}