about
A Conceptual Framework for Secrecy-preserving Reasoning in Knowledge BasesLogical Reasoning (Inferencing) on MicroRNA Data.PSPACE Tableau Algorithms for Acyclic Modalized $\boldsymbol{\mathcal{ALC}}$On the Decidability Status of Fuzzy A ℒ C $\mathcal {A}\mathcal {L}\mathcal {C}$ with General Concept InclusionsAxiom Pinpointing in General Tableaux
P2860
description
im Januar 2001 veröffentlichter wissenschaftlicher Artikel
@de
wetenschappelijk artikel
@nl
наукова стаття, опублікована у 2001
@uk
type
P356
P1433
P2093
Franz Baader
Ulrike Sattler
P2888
P356
10.1023/A:1013882326814
P577
2001-01-01T00:00:00Z
P6179
1043054168