Solving proximity constraints

DOI10.1007/978-3-030-45260-5_7MaRDI QIDQ5097630zbMATH OpenOpenAlexFDO

Authors Temur Kutsia, Cleo Pau

Publication date 25 August 2022

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-45260-5_7

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic programming (68N17) Grammars and rewriting systems (68Q42)

Recommendations

• Proximity-based unification theory
• Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach
• Fuzzy unification and generalization of first-order terms over similar signatures
• Declarative and procedural semantics of fuzzy similarity based unification
• scientific article; zbMATH DE number 1455621

Cites work

• scientific article; zbMATH DE number 1455621 (Why is no real title available?)
• scientific article; zbMATH DE number 2090055 (Why is no real title available?)
• A declarative semantics for CLP with qualification and proximity
• Approximate reasoning by similarity-based SLD resolution.
• Fuzzy sets and systems. Theory and applications
• Fuzzy unification and generalization of first-order terms over similar signatures
• Proximity-based unification theory

Cited in

(3)

• Matching and Generalization Modulo Proximity and Tolerance Relations
• SOLVING SPATIAL CONSTRAINTS WITH GLOBAL DISTANCE COORDINATE SYSTEM
• Proximity-based unification theory

This page was built for publication: Solving proximity constraints

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