Skip to main content

3 Result(s)

within Bang-He Han Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Splitting Algorithm of Valuation Algebra and Its Application in Automaton Representation of Semiring Valued Constraint Problems

    A splitting algorithm is developed for solving single-query projection problems in valuation algebras. This method is based on a generalized combination theorem. It is shown that by using this new kind of comb...

    Bang-He Han, Yong-Ming Li, Qiong-Na Chen in Quantitative Logic and Soft Computing 2016 (2017)

  2. No Access

    Chapter and Conference Paper

    A Splitting Algorithm Based on Soft Constraints for the Computation of Truth Degree in Quantitative Logic

    The concept of the truth degree of a formula is the crucial tool and the building block in quantitative logic. So how to compute the truth degree of a formula efficiently is a principal question in this subjec...

    Bang-he Han, Yong-ming Li in Quantitative Logic and Soft Computing 2010 (2010)

  3. No Access

    Chapter and Conference Paper

    Soft Set Based Approximate Reasoning: A Quantitative Logic Approach

    Soft set theory is a newly emerging mathematical approach to vagueness. However, it seems that there is no existing research devoted to the discussion of applying soft sets to approximate reasoning. This paper...

    Feng Feng, Yong-ming Li, Chang-xing Li… in Quantitative Logic and Soft Computing 2010 (2010)