15 citations · 22 across the 4 of their papers we have counts for
1 paper · 1 filter
Johan Wittocx, Maarten Mariën, Marc Denecker
Grounding is the task of reducing a first-order theory and finite domain to an equivalent propositional theory. It is used as preprocessing phase in many logic-based reasoning syst…