International Workshop on Non-Monotonic Reasoning, Date: 2008/09/13 - 2008/09/15, Location: Sydney
Publication date:
2008-09-01
Pages:
189 -
198
Proceedings of the Twelfth International Workshop on Non-Monotonic Reasoning
Author:
Wittocx, Johan
Mariën, Maarten ; Denecker, Marc
Keywords:
First-Order Logic, Grounding
Abstract:
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.