scientific article

zbMath1219.68149MaRDI QIDQ3085175

Viorica Sofronie-Stokkermans

Publication date: 30 March 2011

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

deductiondescription logicshierarchical reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (6)

Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor ⋮ On the positive fragment of the polymodal provability logic GLP ⋮ Tractable extensions of the description logic \({\mathcal{EL}}\) with numerical datatypes ⋮ KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS ⋮ Unification in the Description Logic $\mathcal{EL}$ ⋮ Modal companions of \(K4^+\)

This page was built for publication: