Term satisfiability in FL$_\mathrm{ew}$-algebras.
Zuzana HanikováPetr SavickýPublished in: CoRR (2015)
Keyphrases
- fuzzy logic
- satisfiability problem
- propositional logic
- np complete
- computational complexity
- phase transition
- neural network
- maximal tractable
- computational properties
- data sets
- expert systems
- lower bound
- search engine
- sat problem
- artificial intelligence
- quantified boolean formulas
- satisfiability testing
- distributive lattices
- terminological reasoning