Login / Signup
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