An Intelligent Assistant for Nuclear Test Ban Treaty Verification
暂无分享,去创建一个
[1] P.G. Richards,et al. Progress in seismic verification of test ban treaties , 1991, IEEE Technology and Society Magazine.
[2] Cindy L. Mason,et al. Cooperative seismic data interpretation for nuclear test ban treaty verification , 1995, Appl. Artif. Intell..
[3] J. Dekleer. An assumption-based TMS , 1986 .
[4] Gerald J. Sussman,et al. Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis , 1976, Artif. Intell..
[5] Johan de Kleer,et al. An Assumption-Based TMS , 1987, Artif. Intell..
[6] W J Hannon,et al. Seismic Verification of a Comprehensive Test Ban , 1985, Science.
[7] 田中 穂積. E.H.Shortliffe 著, "Computer-Based Medical Consultations : MYCIN", American Elsevier, A4判, 264ぺージ, \10,080, 1976 , 1978 .
[8] Jon Doyle,et al. A Truth Maintenance System , 1979, Artif. Intell..