Anti-unification of unordered goals

DOI10.4230/LIPICS.CSL.2022.37MaRDI QIDQ6124973zbMATH OpenFDO

Authors Gonzague Yernaux, Wim Van Hoof

Publication date 10 April 2024

Full work available at URL https://arxiv.org/abs/2107.00341

zbMATH Keywords

algorithmsanti-unificationinductive logic programminglogic programmingNP-completenesstime complexity

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• Anti-unification in constraint logic programming
• On complexity of the anti-unification problem
• A library of anti-unification algorithms
• Anti-unification for unranked terms and hedges
• Anti-unification for unranked terms and hedges

Cited in

(1)

• Equational anti-unification over absorption theories

This page was built for publication: Anti-unification of unordered goals

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