Abstract Reduction Using a Tableau Calculus

Manfred Schmidt-Schauß Sven Eric Panitz Marko Schütz

Published in: SAS (1995)

Keyphrases

tableau calculus
general purpose
description logics
data mining
knowledge base
high level