Grounding FO and FO(ID) with Bounds
Work
Year: 2010
Type: article
Abstract: 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 systems. Such systems pr... more
Institution KU Leuven
Cites: 46
Cited by: 32
Related to: 10
FWCI: 7.899
Citation percentile (by year/subfield): 93.61
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: diamond