Fuzzy unification and generalization of first-order terms over similar signatures
From MaRDI portal
Publication:1671154
DOI10.1007/978-3-319-94460-9_13OpenAlexW2866343207MaRDI QIDQ1671154
Hassan Aït-Kaci, Gabriella Pasi
Publication date: 6 September 2018
Full work available at URL: https://arxiv.org/abs/1709.00964
Fuzzy logic; logic of vagueness (03B52) Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Solving Proximity Constraints ⋮ Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach ⋮ A Generic Framework for Higher-Order Generalizations.
