On solving equations and disequations

DOI10.1145/179812.179813zbMath0812.68064OpenAlexW1990334561MaRDI QIDQ4310836

Wray Buntine, Hans-Jürgen Bürckert

Publication date: 14 May 1995

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/179812.179813

zbMATH Keywords

logic programmingdisunificationAC- unification problemsdefinitive clause equality theory

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (8)

On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP ⋮ Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification ⋮ A new deductive approach to planning ⋮ On solving nominal disunification constraints ⋮ Nominal equational problems ⋮ Combination techniques and decision problems for disunification ⋮ Combination techniques and decision problems for disunification ⋮ AC unification through order-sorted AC1 unification

This page was built for publication: On solving equations and disequations