An SMT-Based Solver for Continuous t-norm Based Logics.

Amanda Vidal Félix Bou Lluís Godo

Published in: SUM (2012)

Keyphrases

t norm
expressive power
neural network
aggregation operators
machine learning
fuzzy sets
modal logic
neuro fuzzy
weighted average
decision making
inference rules