Proceedings of the Twelfth International Workshop on Non-Monotonic Reasoning pages:189-198
International Workshop on Non-Monotonic Reasoning edition:12 location:Sydney date:13-15 September 2008
In this paper, we present GidL, a grounder for FO+. FO+
is a very expressive extension of first-order logic with several constructs such as inductive definitions, aggregates and arithmetic. We describe the input and output language of
GidL, and provide details about its architecture. In particular, the core grounding algorithm implemented in GidL is presented. We compare GidL with other FO+ grounders and
with grounders for Answer Set Programming.
The proceedings containing this paper are published as technical report UNSW-CSE-TR-0819 (September 2008) of the university of New South Wales (Sydney 2052, Australia)