Cotrolled Integration of the Cut Rule into Connection Tableaux Calculi.

Reinhold Letz Klaus Mayr Christoph Goller

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

Keyphrases

sequent calculi
information integration
database
decision trees
data integration
data fusion
classification rules
functional dependencies
modal logic
active databases
information retrieval
association rules
rule sets
rule induction