Order-sorted equational generalization algorithm revisited
DOI10.1007/s10472-021-09771-1OpenAlexW3204542949MaRDI QIDQ2134938
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
equational reasoningassociativitycommutativityidentityrule-based languagesleast general generalizationorder-sorted
Symbolic computation and algebraic computation (68W30) Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Grammars and rewriting systems (68Q42) Logic programming (68N17)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Similarity measures over refinement graphs
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- Folding variant narrowing and optimal variant termination
- Inductive Logic Programming: Issues, results and the challenge of Learning Language in Logic
- Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system
- A partial evaluation framework for order-sorted equational programs modulo axioms
- \({\mathsf{ACUOS}}^\mathbf{2}\): a high-performance system for modular ACU generalization with subtyping and inheritance
- A modular order-sorted equational generalization algorithm
- ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance
- A Modular Equational Generalization Algorithm
- Termination Modulo Combinations of Equational Theories
- Idempotent Anti-unification
- Order-Sorted Generalization
- Term-Graph Anti-Unification
