The formal strong completeness of partial monoidal Boolean BI.

Dominique Larchey-Wendling

Published in: J. Log. Comput. (2016)

Keyphrases

equational theories
business intelligence
real valued
boolean functions
data quality
formal model
expert systems
boolean logic
mathematical theory
artificial neural networks
database
data analysis
bayesian networks
database systems
high level
case study
machine learning
data mining
neural network