@conference {16598, title = {Relationships between deductive and abductive inference in knowledge-based diagnostic problem solving}, booktitle = {Expert Database Systems: Proceedings of the First International Workshop. New York: Benjamin Cummings}, year = {1986}, month = {1986///}, author = {Nau, Dana S. and Reggia, James A.} }