The Disconnection Tableau Calculus.

Reinhold Letz Gernot Stenz

Published in: J. Autom. Reason. (2007)

Keyphrases

tableau calculus
description logics
knowledge base
mobile environments
low bandwidth
transaction processing
minimal models
transaction model
decision trees
np complete