works on
anti-unification 1completeness 1formal verification 1prototype verification system 1term rewriting 1theorem proving 1

From the 1 of 6 linked papers with an AI index.

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2025

Higher-Order Pattern Unification Modulo Similarity Relations

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…