Constraint solving over multiple similarity relations

DOI10.4230/LIPICS.FSCD.2020.30MaRDI QIDQ6854404zbMATH OpenFDO

Authors B. Dundua, Temur Kutsia, Mircea Marin, Cleopatra Pau

Publication date 24 February 2026

Copyright license Creative Commons Attribution 3.0 Unported

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2020.30

zbMATH Keywords

constraint solvingfuzzy relationssimilarity

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX) Theory of computing (68Qxx)

Cites work

• A similarity-based resolution rule
• A sound and complete semantics for a similarity-based logic programming language
• Approximate reasoning by similarity-based SLD resolution.
• Declarative and procedural semantics of fuzzy similarity based unification
• Fuzzy unification and generalization of first-order terms over similar signatures
• scientific article; zbMATH DE number 1455621 (Why is no real title available?)
• Proximity-based unification theory
• Similarity-based unification: A multi-adjoint approach
• Solving proximity constraints
• Term Rewriting with Logical Constraints
• Vague domains, S-unification and logic programming

Cited in

(3)

• Graded quantitative narrowing
• Solving quantitative equations
• Fuzzy similarity and proximity constraint solving in theories with unordered symbols

This page was built for publication: Constraint solving over multiple similarity relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6854404)