On Liu's Inference Rule for Uncertain Systems.

Xin Gao Yuan Gao Dan A. Ralescu

Published in: Int. J. Uncertain. Fuzziness Knowl. Based Syst. (2010)

Keyphrases

inference rules
theorem proving
decision making
first order logic
retrieval systems
database
learning algorithm