prob043: differential diagnosis

proposed by Francisco Azevedo
fa@di.fct.unl.pt

References

Differential diagnosis benchmarks, http://ssdi.di.fct.unl.pt/~fa/differential-diagnosis/benchmarks.html

Francisco Azevedo and Pedro Barahona, Differentiating Diagnostic Theories through Constraints over an Eight-valued Logic, in Proceedings of the 14th European Conference on Artificial Intelligence (ECAI’2000), W.Horn (Editor), IOS Press, Amsterdam, pages 73-77, 2000.