Logical Step-Indexed Logical Relations

Derek Dreyer Amal Ahmed Lars Birkedal

Published in: Log. Methods Comput. Sci. (2011)

Keyphrases

logical structure
data sets
databases
learning algorithm
search algorithm
probabilistic model
post processing
logical representation
logical reasoning
logical theories