Sequent Schema for Derived Rules.

Aleksey Nogin Jason Hickey

Published in: TPHOLs (2002)

Keyphrases

databases
association rules
data model
transformation rules
database
modal logic
rule extraction
classification rules
rule discovery
domain knowledge
association rule mining
hierarchical structure
rule sets
xml schema
inference rules
owl ontologies