{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T03:55:55Z","timestamp":1648526155201},"reference-count":19,"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\/bf01530746","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T00:37:15Z","timestamp":1113871035000},"page":"283-296","source":"Crossref","is-referenced-by-count":0,"title":["On the construction of hierarchic models"],"prefix":"10.1007","volume":"11","author":[{"given":"D. -J.","family":"Out","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. P.","family":"van Rikxoort","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. R.","family":"Bakker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"Knowledge-Based Diagnosis of Technical Systems, a Three Year Progress Report","author":"R.R. Bakker","year":"1991","unstructured":"R.R. Bakker, in:Knowledge-Based Diagnosis of Technical Systems, a Three Year Progress Report, University of Twente, Enschede (1991)."},{"key":"CR2","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, Diagnostic reasoning based on structure and behavior, Artificial Intelligence 24 (1984) 347?410.","journal-title":"Artificial Intelligence"},{"key":"CR3","first-page":"331","volume-title":"Physical impossibility instead of fault models","author":"G. Friedrich","year":"1990","unstructured":"G. Friedrich, G. Gottlob and W. Nejdl, Physical impossibility instead of fault models, in:Proc. 8th Nat. Conf. on Artificial Intelligence, Boston, MA, 1990 (AAAI Press\/MIT Press, Menlo Park, CA, 1990) pp. 331?336."},{"key":"CR4","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, The use of design descriptions in automatic diagnosis, Artificial Intelligence 24 (1984) 411?436.","journal-title":"Artificial Intelligence"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0004-3702(92)90021-O","volume":"57","author":"F. Giunchiglia","year":"1992","unstructured":"F. Giunchiglia and T. Walsh, A theory of abstraction, Artificial Intelligence 57 (1992) 323?389.","journal-title":"Artificial Intelligence"},{"key":"CR6","unstructured":"E. Hammink, D-J. Out and R.R. Bakker, Controlled reasoning and hierarchy in model-based diagnosis, in:Proc. 10th Conf. on Second Generation Expert Systems, Avignon, 1991, pp. 217?230."},{"key":"CR7","volume-title":"MIT Technical Report AI-TR 1074","author":"W. Hamscher","year":"1988","unstructured":"W. Hamscher, Model-based troubleshooting of digital systems, MIT Technical Report AI-TR 1074 (MIT Press, Cambridge, MA, 1988)."},{"key":"CR8","first-page":"842","volume-title":"Focusing on probable diagnoses","author":"J. Kleer de","year":"1991","unstructured":"J. de Kleer, Focusing on probable diagnoses, in:Proc. 8th Nat. Conf. on Artificial Intelligence (AAAI-91) (AAAI Press\/MIT Press, Menlo Park, 1991) pp. 842?848."},{"key":"CR9","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. Kleer de","year":"1987","unstructured":"J. de Kleer and B.C. Williams, Diagnosing multiple faults, Artificial Intelligence 32 (1987) 97?130.","journal-title":"Artificial Intelligence"},{"key":"CR10","unstructured":"C.A. Knoblock, J.D. Tenenberg and Q. Yang, A spectrum of abstraction hierarchies for planning, in:Working Notes of the AGAA-90 Workshop, Boston, 1990, pp. 24?35."},{"key":"CR11","unstructured":"A.N. Kumar and S.J. Upadhyaya, Automating representation, in:Working Papers of the Second AAAI Workshop on Model Based Reasoning, Boston, 1990, pp. 124?130."},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"R. Lbath, N. Giambiasi and C. Delorme, FRaHM: Framework for reasoning about hierarchical\/ multi-vues models, in:System Fault Diagnostics, Reliability and Related Knowledge-Based Approaches, Vol. 2, eds. S. Tzafestas, M. Singh and G. Schmidt (Reidel, 1987) pp. 29?41.","DOI":"10.1007\/978-94-009-3931-8_4"},{"key":"CR13","unstructured":"A. Makarovic, Parsimony in model-based reasoning, University of Twente, Ph.D. Thesis, Enschede (1991)."},{"key":"CR14","doi-asserted-by":"crossref","first-page":"1286","DOI":"10.1109\/T-C.1971.223129","volume":"C-20","author":"E.J. McCluskey","year":"1971","unstructured":"E.J. McCluskey and F.W. Clegg, Fault equivalence in combinational logic networks, IEEE Trans. Comp. C-20 (1971) 1286?1293.","journal-title":"IEEE Trans. Comp."},{"key":"CR15","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1016\/S0020-7373(05)80132-4","volume":"35","author":"I. Mozeti?","year":"1991","unstructured":"I. Mozeti?, Hierarchical model-based diagnosis, Int. J. Man-Machine Stud. 35 (1991) 329?362.","journal-title":"Int. J. Man-Machine Stud."},{"key":"CR16","unstructured":"D-J. Out and R.R. Bakker, An analysis of model-based diagnosis using problem reformulation, University of Twente, Memoranda Informatica 92-03 (1992)."},{"key":"CR17","unstructured":"D-J. Out, Strategies for efficient model-based troubleshooting, University of Twente, Ph.D. Thesis, Enschede (1993)."},{"key":"CR18","first-page":"1318","volume-title":"Physical negation, integrating fault models into the general diagnostic engine","author":"P. Struss","year":"1989","unstructured":"P. Struss and O. Dressler, Physical negation, integrating fault models into the general diagnostic engine, in:Proc. 11th Int. Joint Conf. on Artificial Intelligence, Detroit, MI, 1989, ed. N.S. Sridharan (Morgan Kaufmann, San Mateo, CA, 1989) pp. 1318?1323."},{"key":"CR19","unstructured":"D.S. Weld and S. Addanki, Task-driven model abstraction, University of Washington (1990)."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530746\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530746.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530746\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530746","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\/BF01530746"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,3]]},"references-count":19,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[1994,3]]}},"alternative-id":["BF01530746"],"URL":"https:\/\/doi.org\/10.1007\/bf01530746","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,3]]}}}