Solving Proximity Constraints

DOI10.1007/978-3-030-45260-5_7zbMath1502.68069OpenAlexW3018957321MaRDI QIDQ5097630

Cleo Pau, Temur Kutsia

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) Grammars and rewriting systems (68Q42) Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• Proximity-based unification theory
• Fuzzy sets and systems. Theory and applications
• Approximate reasoning by similarity-based SLD resolution.
• Fuzzy unification and generalization of first-order terms over similar signatures
• A declarative semantics for CLP with qualification and proximity

This page was built for publication: Solving Proximity Constraints