RISC JKU
  • @techreport{RISC6297,
    author = {Temur Kutsia and Cleo Pau},
    title = {{Generalization Algorithms with Proximity Relations in Full Fuzzy Signatures}},
    language = {english},
    abstract = {Anti-unification aims at computing generalizations for given terms, retaining their common structure and abstracting differences by variables. We study anti-unification for full fuzzy signatures, where the notion of common structure is relaxed into a ``proximal'' one with re- spect to a given proximity relation. Mismatches between both symbol names and their arities are permitted. We develop algorithms for different cases of the problem and study their properties.},
    number = {21-09},
    year = {2021},
    month = {April},
    keywords = {Fuzzy proximity relations, Generalization, Anti-unification, Arity mismatch},
    length = {15},
    type = {RISC Report Series},
    institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
    address = {Altenberger Straße 69, 4040 Linz, Austria},
    issn = {2791-4267 (online)}
    }