Finite Model Reasoning in Hybrid Classes of Existential Rules.

Georg Gottlob Marco Manna Andreas Pieris

Published in: IJCAI (2018)

Keyphrases

computational model
high level
formal model
mathematical model
probabilistic model
theoretical analysis
statistical model
reasoning process
data sets
model construction
inference engine
finite state machines
theoretical framework
prior knowledge
similarity measure
knowledge base
neural network