17 citations · 46 across the 16 of their papers we have counts for
1 paper · 2 filters
Besik Dundua, Temur Kutsia
The combination of higher-order theories and fuzzy logic can be useful in decision-making tasks that involve reasoning across abstract functions and predicates, where exact matches…