scientific article; zbMATH DE number 1149436
From MaRDI portal
Publication:4386959
zbMath0900.68397arXivcs/9406101MaRDI QIDQ4386959
Peter F. Patel-Schneider, A. Borgida
Publication date: 10 May 1998
Full work available at URL: https://arxiv.org/abs/cs/9406101
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Knowledge representation (68T30) Parallel algorithms in computer science (68W10) Semantics in the theory of computing (68Q55)
Related Items (10)
The learnability of description logics with equality constraints ⋮ Speeding up inferences using relevance reasoning: a formalism and algorithms ⋮ Planning from second principles ⋮ Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\) ⋮ ``Reducing classic to practice: Knowledge representation theory meets reality ⋮ Classic learning ⋮ Unification of concept terms in description logics ⋮ Unnamed Item ⋮ Towards a Scalable Query Rewriting Algorithm in Presence of Value Constraints ⋮ EXPtime tableaux for ALC
This page was built for publication:
