Login / Signup

The Disconnection Tableau Calculus.

Reinhold LetzGernot 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