Design and Implementation of the LogicBlox System
Markov Logic: An Interface Layer for Artificial Intelligence