Formalization of RBD-Based Cause Consequence Analysis in HOL.

Mohamed Abdelghany Sofiène Tahar

Published in: CICM (2021)

Keyphrases

data analysis
statistical analysis
quantitative analysis
data sets
databases
neural network
knowledge representation
learning algorithm
feature selection
decision trees
database systems
reinforcement learning
wide range
theorem prover
logical framework