Title: FO(FD): Extending classical logic with rule-based fixpoint definitions
Authors: Hou, Ping ×
De Cat, Broes
Denecker, Marc #
Issue Date: Jul-2010
Publisher: Cambridge University Press
Series Title: Theory and Practice of Logic Programming vol:10 issue:4-6 pages:581-596
Conference: ICLP edition:26 location:Edinburgh date:16-19 July 2010
Abstract: We introduce fixpoint definitions, a rule-based reformulation of fixpoint constructs. The logic FO(FD), an extension of classical logic with fixpoint definitions, is defined. We illustrate the relation between FO(FD) and FO(ID), which is developed as an integration of two knowledge representation paradigms. The satisfiability problem for FO(FD) is investigated by first reducing FO(FD) to difference logic and then using solvers for difference logic. These reductions are evaluated in the computation of models for FO(FD) theories representing fairness conditions and we provide potential applications of FO(FD).
ISSN: 1471-0684
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

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


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

© Web of science