Certifying Standard and Stratified Datalog Inference Engines in SSReflect.

Véronique Benzaken Evelyne Contejean Stefania Dumbrava

Published in: ITP (2017)

Keyphrases

expressive power
deductive databases
probabilistic reasoning
datalog programs
machine learning
information retrieval
genetic algorithm
query language
data management
logic programming
query answering
probabilistic inference
bayesian inference
efficient learning
inference mechanism