Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities.

Christian G. Fermüller Herbert Langsteiner

Published in: TABLEAUX (1998)

Keyphrases

valued logic
automated reasoning
probability distribution
fuzzy logic
modal logic
propositional logic
multi valued
datalog programs
decision making
software engineering
data mining
genetic algorithm
fuzzy sets
first order logic
functional dependencies
incomplete information