Grounding FO and FO(ID) with Bounds

Johan Wittocx, Maarten Mariƫn, Marc Denecker. Grounding FO and FO(ID) with Bounds. J. Artif. Intell. Res. (JAIR), 38:223-269, 2010. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: