Combining Logical Abduction and Statistical Induction: Discovering Written Primitives with Human Knowledge.
Programming with Personalized PageRank: A Locally Groundable First-Order Probabilistic Logic