Add to ORKGRecently, 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 sys...
Many visual languages based on Euler diagrams have emerged for expressing relationships between sets...
Many visual languages based on Euler diagrams have emerged for expressing relationships between sets...
We present some ideas on logical process descriptions, using relations from the DIO (Drug Interactio...
Cause-effect relations are an important part of human knowledge. In real life, humans often reason ...
Recently, FO(C), the integration of C-Log with classical logic, was introduced as a knowledge repres...
Cause-effect relations are an important part of human knowledge. In real life, humans often reason a...
Abstract. Recently, FO(C), the integration of C-LOG with clas-sical logic, was introduced as a knowl...
There are many interesting Knowledge Representation questions sur- rounding rule languages for the S...
AbstractAn elaboration of the PROLOG language is described in which the notion of first-order term i...
This paper describes a novel logic that extends First-Order Logic (FOL) to create counterparts of th...
Constructive processes play an important role in knowledge representation. Indeed, there are many f...
AbstractAbduction — from observations and a theory, find using hypotheses an explanation for the obs...
AbstractConcerning the logical description languages, in the past 40–50 years many authors have intr...
The purpose of this paper is to give some insights into the immense role of Frege’s first order logi...
The Frame-logic (F-logic) approach of [20] is suggested as an underlying framework for description l...
Many visual languages based on Euler diagrams have emerged for expressing relationships between sets...
Many visual languages based on Euler diagrams have emerged for expressing relationships between sets...
We present some ideas on logical process descriptions, using relations from the DIO (Drug Interactio...
Cause-effect relations are an important part of human knowledge. In real life, humans often reason ...
Recently, FO(C), the integration of C-Log with classical logic, was introduced as a knowledge repres...
Cause-effect relations are an important part of human knowledge. In real life, humans often reason a...
Abstract. Recently, FO(C), the integration of C-LOG with clas-sical logic, was introduced as a knowl...
There are many interesting Knowledge Representation questions sur- rounding rule languages for the S...
AbstractAn elaboration of the PROLOG language is described in which the notion of first-order term i...
This paper describes a novel logic that extends First-Order Logic (FOL) to create counterparts of th...
Constructive processes play an important role in knowledge representation. Indeed, there are many f...
AbstractAbduction — from observations and a theory, find using hypotheses an explanation for the obs...
AbstractConcerning the logical description languages, in the past 40–50 years many authors have intr...
The purpose of this paper is to give some insights into the immense role of Frege’s first order logi...
The Frame-logic (F-logic) approach of [20] is suggested as an underlying framework for description l...
Many visual languages based on Euler diagrams have emerged for expressing relationships between sets...
Many visual languages based on Euler diagrams have emerged for expressing relationships between sets...
We present some ideas on logical process descriptions, using relations from the DIO (Drug Interactio...