Using Logic Programming for Fault Diagnosis in Digital Circuits
暂无分享,去创建一个
[1] Wolfram Büttner,et al. Embedding Boolean Expressions into Logic Programming , 1987, J. Symb. Comput..
[2] Randall Davis,et al. Diagnostic Reasoning Based on Structure and Behavior , 1984, Artif. Intell..
[3] Raymond Reiter. A theory of diagnosis from first principles , 1986 .
[4] Michael R. Genesereth,et al. The Use of Design Descriptions in Automated Diagnosis , 1984, Artif. Intell..
[5] Gerald Jay Sussman,et al. CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions , 1980, Artif. Intell..
[6] Brian C. Williams,et al. Reasoning about Multiple Faults , 1986, AAAI.
[7] 田中 穂積. E.H.Shortliffe 著, "Computer-Based Medical Consultations : MYCIN", American Elsevier, A4判, 264ぺージ, \10,080, 1976 , 1978 .
[8] Pascal Van Hentenryck,et al. Domains in Logic Programming , 1986, AAAI.
[9] M. Dincbas. Constraints, logic programming and deductive databases , 1988 .
[10] David H D Warren,et al. Logic programming and its applications , 1986 .