A framework for approximate generalization in quantitative theories

DOI10.1007/978-3-031-10769-6_34MaRDI QIDQ2104546zbMATH OpenOpenAlexFDO

Authors Temur Kutsia, Cleo Pau

Publication date 7 December 2022

Copyright license Creative Commons Attribution 4.0 International

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)

Cites work

• scientific article; zbMATH DE number 3349328 (Why is no real title available?)
• scientific article; zbMATH DE number 3349329 (Why is no real title available?)
• Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach
• Matching and Generalization Modulo Proximity and Tolerance Relations
• Proving termination with multiset orderings
• Quantitative Algebraic Reasoning
• Term Rewriting and All That

Cited in

(1)

• Generalizing empirical adequacy. I: Multiplicity and approximation

Describes a project that uses

Uses Software

• Getafix

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

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