Login / Signup
Modal Tableaux with Propagation Rules and Structural Rules.
Marcos A. Castilho
Luis Fariñas del Cerro
Olivier Gasquet
Andreas Herzig
Published in:
Fundam. Informaticae (1997)
Keyphrases
</>
modal logic
structural information
decision procedures
rule sets
functional dependencies
classification rules
production rules
rule induction
fuzzy logic
knowledge discovery
databases
relational databases
business rules
active databases
structural analysis
rule discovery
association rules