Order-sorted equational generalization algorithm revisited

DOI10.1007/S10472-021-09771-1MaRDI QIDQ2134938zbMATH OpenOpenAlexFDO

Authors María Alpuente, Santiago Escobar, José Meseguer, Julia Sapiña

Publication date 4 May 2022

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10472-021-09771-1

zbMATH Keywords

commutativityidentityassociativityequational reasoningrule-based languagesleast general generalizationorder-sorted

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Symbolic computation and algebraic computation (68W30) Logic programming (68N17) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Functional programming and lambda calculus (68N18)

Recommendations

• A modular order-sorted equational generalization algorithm
• Order-sorted generalization
• Higher-order pattern generalization modulo equational theories
• A Modular Equational Generalization Algorithm
• Higher-order equational pattern anti-unification

Cites work

• scientific article; zbMATH DE number 1189278 (Why is no real title available?)
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• scientific article; zbMATH DE number 3349328 (Why is no real title available?)
• scientific article; zbMATH DE number 3349329 (Why is no real title available?)
• A Modular Equational Generalization Algorithm
• A modular order-sorted equational generalization algorithm
• A partial evaluation framework for order-sorted equational programs modulo axioms
• ACUOS: a system for modular ACU generalization with subtyping and inheritance
• Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system
• Folding variant narrowing and optimal variant termination
• Idempotent anti-unification
• Inductive Logic Programming: Issues, results and the challenge of Learning Language in Logic
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Order-sorted generalization
• Similarity measures over refinement graphs
• Term-graph anti-unification
• Termination Modulo Combinations of Equational Theories
• \({\mathsf{ACUOS}}^\mathbf{2}\): a high-performance system for modular ACU generalization with subtyping and inheritance

Cited in

(3)

• Equational anti-unification over absorption theories
• Symbolic Specialization of Rewriting Logic Theories with Presto
• Variant-based equational anti-unification

Describes a project that uses

Uses Software

• ACUOS2
• Maude

This page was built for publication: Order-sorted equational generalization algorithm revisited

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