Using Definite Clauses and Integrity Constraints as the Basis for a Theory Formation Approach to Diagnostic Reasoning.

Randy Goebel, Koichi Furukawa, David Poole

Browse the full ICLP paper archive.