An Extension of the Certainty Factor Model in First Order Predicate Calculus

T. Panayiotopoulos, George K. Papakonstantinou. An Extension of the Certainty Factor Model in First Order Predicate Calculus. Comput. J., 35(Additional-Papers), 1992.