Paper Info
Title
FO(C) and Related Modelling Paradigms.
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.
Year
Venue
Field
2014
CoRR
Knowledge representation and reasoning,Programming language,Computer science,Algorithm,Logic programming,Semantics,Business rule,Semantics of logic
DocType
Volume
Citations 
Journal
abs/1404.6394
2
PageRank 
References 
Authors
0.38
7
4
Name
Order
Citations
PageRank
Bart Bogaerts18316.49
Joost Vennekens243437.36
Marc Denecker31626106.40
Jan Van den Bussche41859602.40