Title: GidL: A grounder for FO+
Authors: Wittocx, Johan ×
Mariƫn, Maarten
Denecker, Marc #
Issue Date: Sep-2008
Host Document: Proceedings of the Twelfth International Workshop on Non-Monotonic Reasoning pages:189-198
Conference: International Workshop on Non-Monotonic Reasoning edition:12 location:Sydney date:13-15 September 2008
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.
Description: 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)
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
nmr08.pdfMain article Published 146KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.