Using Definite Clauses and Integrity Constraints as the Basis for a Theory Formation Approach to Diagnostic Reasoning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Randy Goebel, Koichi Furukawa, David Poole. Using Definite Clauses and Integrity Constraints as the Basis for a Theory Formation Approach to Diagnostic Reasoning. In Ehud Y. Shapiro, editor, Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986, Proceedings. Volume 225 of Lecture Notes in Computer Science, pages 211-222, Springer, 1986.

This author has not been identified. Look up 'Randy Goebel' in GoogleThis author has not been identified. Look up 'Koichi Furukawa' in GoogleThis author has not been identified. Look up 'David Poole' in Google

runs on WebDSL