Finite model reasoning over existential rules.

Giovanni Amendola Nicola Leone Marco Manna

Published in: Theory Pract. Log. Program. (2017)

Keyphrases

probabilistic model
statistical model
computational model
mathematical model
objective function
prior knowledge
cost function
reasoning engine
bayesian networks
reasoning mechanism
expert knowledge
experimental data
process model
parameter estimation
management system
probability distribution
data model