4 citations · 9 across the 3 of their papers we have counts for
1 paper · 1 filter
Brendan Juba
We consider the problem of answering queries about formulas of propositional logic based on background knowledge partially represented explicitly as other formulas, and partially r…