Matching and Generalization Modulo Proximity and Tolerance Relations

DOI10.1007/978-3-030-98479-3_16zbMath1530.68055MaRDI QIDQ6487233

Cleo Pau, Temur Kutsia

Publication date: 11 August 2022

Mathematics Subject Classification ID

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

Related Items (1)

A framework for approximate generalization in quantitative theories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proximity-based unification theory
• Triangular norms
• Approximate reasoning by similarity-based SLD resolution.
• Fuzzy unification and generalization of first-order terms over similar signatures
• On the coverings by tolerance classes
• A modular order-sorted equational generalization algorithm
• A Library of Anti-unification Algorithms
• Term Rewriting and All That
• Solving Proximity Constraints
• Unification theory

This page was built for publication: Matching and Generalization Modulo Proximity and Tolerance Relations