Title: FO(C) and related modelling paradigms
Authors: Bogaerts, Bart ×
Vennekens, Joost
Denecker, Marc
Van den Bussche, Jan #
Issue Date: 2014
Publisher: Institut Für Informationssyteme
Host Document: Proceedings of the 14th International Workshop on Non-Monotonic Reasoning pages:90-96
Conference: International Workshop on Non-Monotonic Reasoning edition:14 location:Vienna date:17-19 July 2014
Abstract: Recently, C-Log was introduced as a language for modelling causal processes. Its formal semantics has been defined together with introductory examples, but the study of this language is far from finished. In this paper, we compare C-Log to other declarative modelling languages. More specifically, we compare to first-order logic (FO), and argue that C-Log and FO are orthogonal and that their integration, FO(C), is a knowledge representation language that allows for clear and succinct models. We compare FO(C) to E-disjunctive logic programming with the stable semantics, and define a fragment on which both semantics coincide. Furthermore, we discuss object-creation in FO(C), relating it to mathematics, business rules systems, and data base systems.
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
Computer Science Technology TC, Technology Campus De Nayer Sint-Katelijne-Waver
Technologiecluster Computerwetenschappen
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
00-all.pdfFinal Version Published 201KbAdobe PDFView/Open


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