Tableau Calculus and Equational Reasoning (Extended Abstract).

Wolfgang Wernecke

Published in: TABLEAUX (1992)

Keyphrases

extended abstract
tableau calculus
description logics
knowledge base
minimal models
artificial intelligence
data mining
lower bound
association rules
np complete
dynamical systems
integrity constraints