%0 Journal Article %J Information Sciences %D 1985 %T A formal model of abductive inference %A Reggia, James A. %A Nau, Dana S. %A Wang,P. %A Peng,Y. %B Information Sciences %V 37 %P 227 - 285 %8 1985/// %G eng