Set-term unification in a logic database language

DOI10.1007/BFB0030824MaRDI QIDQ6064020zbMATH OpenOpenAlexFDO

Authors Seung-Jin Lim, Yiu-Kai Ng

Publication date 12 December 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bfb0030824

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 1330135
• Set unification
• Matching of bounded set terms in the logic language LDL++
• Compilation of set terms in the logic data language (LDL)
• On the sequential nature of unification

Cites work

• scientific article; zbMATH DE number 4074540 (Why is no real title available?)
• scientific article; zbMATH DE number 2200040 (Why is no real title available?)
• Compilation of set terms in the logic data language (LDL)
• Unification theory
• {log}: A language for programming in logic with finite sets

Cited in

(3)

• Unification of concept terms in description logics
• Datalog: Bag Semantics via Set Semantics
• Matching of bounded set terms in the logic language LDL++

This page was built for publication: Set-term unification in a logic database language

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