5 citations · 31 across the 19 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…