{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:15:01Z","timestamp":1725635701301},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540545453"},{"type":"electronic","value":"9783642769306"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/978-3-642-76930-6_7","type":"book-chapter","created":{"date-parts":[[2011,11,21]],"date-time":"2011-11-21T06:05:29Z","timestamp":1321855529000},"page":"77-87","source":"Crossref","is-referenced-by-count":0,"title":["An Expert System Shell for the Diagnosis of Parallel Computers"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Philipp","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"E.Amman, Vergleichstestmodelle f\u00fcr selbstdiagnostizierbare Systeme, GI Fachtagung \u2018Fehlertolerierende Rechnersysteme\u2019 M\u00fcnchen, Springer 1982, pp. 74\u201387","DOI":"10.1007\/978-3-642-68356-5_6"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"M.Ben-Hassat, Myopie Policies in Sequential Classification, IEEE Trans, on Comp., Vol. C-27, No. 2, Feb.1978","DOI":"10.1109\/TC.1978.1675054"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"F.Barsi, F.Grandoni, P.Maestrini, A Theory of Diagnosability of Digital Systems, IEEE Trans, on Comp., June 1976, C-25, No.6, pp. 585\u2013593","DOI":"10.1109\/TC.1976.1674658"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"B.G.Buchanan, E.H.Shortliffe, Rule Based Expert Systems, Addison-Wesley 1984","DOI":"10.1016\/S0065-2458(08)60129-1"},{"key":"7_CR5","unstructured":"W.F.Clocksin, C.S.Mellish, Programming in Prolog, Springer 1981"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"M. Dal Cin, R.Brause, J.Lutz, E.Dilger, Th. Rhisse, ATTEMPTO: An Experimental Fault Tolerant Multiprocessor System, Microprocessing and Microprogramming 20 (1987), p. 301\u2013308","DOI":"10.1016\/0165-6074(87)90219-5"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"M. Dal Cin, TJPhilipp, Expertensysteme f\u00fcr die Fehlerdiagnose, it 4\/1988, Oldenbourg","DOI":"10.1524\/itit.1988.30.4.237"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"R.Davis: Diagnostic Reasoning Based on Structure and Behaviour, Artificial Intelligence 24 (1\u20133) 1984","DOI":"10.1016\/0004-3702(84)90042-0"},{"key":"7_CR9","unstructured":"L.Eichler, H.W.Pohl, Diamond: Ein intelligentes Diagnossystem f\u00dcr parallele Rechnerarchitekturen, GI Mitteilungen, Fachgruppe: Fehlertolerierende Rechnersysteme, Dec. 1990"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"M.R.Genesereth: The Use of Design Descriptions in Automated Diagnosis, Artificial Intelligence 24 (1\u20133) 1984","DOI":"10.1016\/0004-3702(84)90043-2"},{"key":"7_CR11","volume-title":"A Prolog Front End to the Grid File","author":"C Muller","year":"1984","unstructured":"C. Muller, A Prolog Front End to the Grid File, Diplomarbeit, Abteilung f\u00fcr Informatik, ETH Z\u00fcrich 1984"},{"key":"7_CR12","unstructured":"T.Philipp, Systemdiagnose auf der Basis mathematischer Logik mit Anwendungen in Expertensystemen, Diplomarbeit, 1986, Univ. T\u00fcbingen"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"F.P.Preparata, G.Metze, R.T.Chien, On the Connection Assignment Problem of Diagnosable Systems, IEEE Tans, on El. Comp., June 1967, EC-16, pp. 848\u2013854","DOI":"10.1109\/PGEC.1967.264748"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"F.Puppe, Diagnostisches Probleml\u00f6sen mit Expertensystemen, Informatik Fachberichte 148, Springer 1987","DOI":"10.1007\/978-3-642-95544-0"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"R.Reiter, A Theory of Diagnosis from First Principles, Artificial Intelligence 32, 1987, pp. 57\u201395","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"7_CR16","unstructured":"A.Samarian, Modula-2 Codegenerator f\u00fcr Prolog Klauseln, Diplomarbeit, J.W.Goethe Univ. Frankfurt, 1990"},{"key":"7_CR17","volume-title":"Ein paralleles kooperierendes Prolog Proze\u00df System","author":"T Tribius","year":"1989","unstructured":"T. Tribius, Ein paralleles kooperierendes Prolog Proze\u00df System, Diplomarbeit, J.W.Goethe Univ. Frankfurt, 1989"}],"container-title":["Informatik-Fachberichte","Fault-Tolerant Computing Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-76930-6_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T03:09:51Z","timestamp":1606273791000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-76930-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540545453","9783642769306"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-76930-6_7","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1991]]}}}