Finite model reasoning over existential rules.

Giovanni Amendola Nicola Leone Marco Manna

Published in: CoRR (2017)

Keyphrases

statistical model
objective function
probabilistic model
theoretical framework
experimental data
high level
cost function
computational model
formal model
knowledge base
decision trees
association rules
domain knowledge
probability distribution
rough sets
mathematical model