Synchronization of Logics with Mixed Rules: Completeness Preservation.

Amílcar Sernadas Cristina Sernadas Carlos Caleiro

Published in: AMAST (1997)

Keyphrases

production rules
data quality
association rules
expressive power
rule sets
multi context systems
rule extraction
decision rules
modal logic
inference rules
intuitionistic logic
database
proof theoretic
background knowledge
association rule mining
case based reasoning
artificial intelligence
databases