CORPORATE Tech Correspondence
- 1 Ahuja. S.B. An A.I. environment for the analysis and classification of errors in discrete sequential processes. Ph.D. dissertation. TR-1365. Dept. of Computer Science. Univ. of Maryland. College Park, Jan. 1986.Google Scholar
- 2 Chu. B.-T. ABLOG-IC: A programming language supporting abductive problem-solving. TR-1526. Dept. of Computer Science. Univ. of Mar&nd. College Park. luly 1985:Google Scholar
- 3 Dasigi, V.R. and Reggia, I.A. Abduction in discourse processing: A parsimonious covering model. In Proceedings of the 2nd Symposium on The Role of Language in Problem Solving. North-Holland. Amsterdam. 1987.Google Scholar
- 4 Kornfeld. W.A. Using parallel processing for problem solving. Memo 561, MIT Artificial Intelligence Laboratory. Cambridge, Mass., Dec. 1979. pp. 1-47.Google Scholar
- 5 Kornfeld. W.A. ETHER-A parallel problem solving system. In Proceedings of the 6th International Joint Conference on .4rtificial Infelligence {Tokyo, Japan, Aug.). ACM, New York. 1979 pp. 490-492.Google Scholar
- 6 Kornfeld, W.A. Combinatorially implosive algorithms. Commun. ACM 25. 10 (Oct. 1982). 734-738. Google ScholarDigital Library
- 7 Miller. R., Pople, H., and Myers. ). INTERNIST-l, An experimental computer-based diagnostic consultant for general internal medicine. New Eng. 1. Med. 307 (1982). 468-476.Google Scholar
- 8 Peng. Y. A formalization of parsimonious covering and probabilistic reasoning in abductive diagnostic inference. Ph.D. dissertation, TR-1615. Dept. of Computer Science, Univ. of Maryland, College Park, Jan. 1986. Google ScholarDigital Library
- 9 Pople. H. The formation of composite hypotheses in diagnostic problem solving: An exercise in synthetic reasoning. In Proceedings of the 5th Znternafional /oint Conference on Artificial Intelhgence (Pittsburgh, Pa.), Carnegie-Mellon Univ. Pittsburgh, Pa. 1977. pp. 1030-1037.Google Scholar
- 10 Pople. H. Myers. 1. and Miller. R. DIALOG-A model of diagnostic logic for internal medicine. In Proceedings of rhe 4th Infernafional Joint Conference on Arfificial Infelligence (Cambridge. Mass.). Massachusetts Institute of Technology. Cambridge. Mass., 1975. pp. 648-655.Google Scholar
- 11 Reggia, J.A., Nau. D.S., and Wang, P.Y. Diagnostic expert systems based on a set covering model. Ink f. Man-Mach. Stud. 19 (1983), 437-460.Google ScholarCross Ref
- 12 Reggia, J.A., Nau. D.S., and Wang. P.Y. A theory ofabductive inference in diagnostic expert systems. Inf Sci. 37 (1985). 227-285. Google ScholarDigital Library
- 13 Reiter. R. A theory of diagnosis from first principles. TR-167/66. Dept. of Computer Science, Univ of Toronto. Ontario. 1986.Google Scholar
- 14 Shubin. H. and Ulrich, 1.W. IDT:.An intelligent diagnostic tool. In Proceedings of fhe National Conference on Al. American Association of Artificial Intelligence. 1982. pp. 290-295.Google Scholar
- 15 Yager. R.R. Explanatory models in expert systems. Int. f. Man-Mach. Stud. 23 (1985). 539-549.Google Scholar
Index Terms
- Technical correspondence
Comments