Restricted unification in the DL FL₀

DOI10.1007/978-3-030-86205-3_5MaRDI QIDQ831925zbMATH OpenOpenAlexFDO

Authors Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv

Publication date 24 March 2022

Full work available at URL https://doi.org/10.1007/978-3-030-86205-3_5

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Recommendations

• \(F\)-theory and unification
• scientific article; zbMATH DE number 490884
• scientific article; zbMATH DE number 1614698
• scientific article; zbMATH DE number 3960298
• scientific article; zbMATH DE number 1110839
• A note on unification type zero
• scientific article; zbMATH DE number 4093631
• Univalence Criteria and Löwner Chains
• scientific article; zbMATH DE number 1777339
• Restricted Priestley dualities and discriminator varieties

Cites work

• Blending margins: the modal logic K has nullary unification type
• Bounded ACh unification
• Combination problems for commutative/monoidal theories or how algebra can help in equational unification
• Haskell overloading is DEXPTIME-complete
• UEL: Unification Solver for the Description Logic $\mathcal{EL}$ – System Description
• Unification in commutative theories
• Unification in monoidal theories
• Unification in the description logic EL
• Unification of concept terms in description logics
• Unification theory

Cited in

(1)

• About the unification type of \(\mathbf{K}+\square \square \bot\)

This page was built for publication: Restricted unification in the DL \(\mathcal{FL}_0\)

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