Restricted unification in the DL FL₀

DOI10.1007/978-3-030-86205-3_5OpenAlexW3197820867MaRDI QIDQ831925FDOQ831925

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

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

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Cites Work

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

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)