5 citations · 31 across the 19 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.AI2019
Query-driven PAC-Learning for Reasoning
Brendan Juba
We consider the problem of learning rules from a data set that support a proof of a given query, under Valiant's PAC-Semantics. We show how any backward proof search algorithm that…
cs.AI2019★ 3 cited
Implicitly Learning to Reason in First-Order Logic
Vaishak Belle, Brendan Juba
We consider the problem of answering queries about formulas of first-order logic based on background knowledge partially represented explicitly as other formulas, and partially rep…