A framework for approximate generalization in quantitative theories

DOI10.1007/978-3-031-10769-6_34OpenAlexW4289104059MaRDI QIDQ2104546

Cleo Pau, Temur Kutsia

Publication date: 7 December 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-10769-6_34

zbMATH Keywords

generalizationanti-unificationfuzzy proximity relationsquantiative theories

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• Getafix

Cites Work

• Unnamed Item
• Unnamed Item
• Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach
• Proving termination with multiset orderings
• Quantitative Algebraic Reasoning
• Term Rewriting and All That
• Matching and Generalization Modulo Proximity and Tolerance Relations

This page was built for publication: A framework for approximate generalization in quantitative theories