Sign in
Simplification Rules for Constrained Formula Tableaux.
Martin Giese
Published in:
TABLEAUX (2003)
Keyphrases
</>
multiresolution
rule sets
real time
preprocessing
association rules
association rule mining
functional dependencies
business rules
data mining
learning algorithm
itemsets
human experts
modal logic
linear temporal logic