43 citations · 82 across the 6 of their papers we have counts for
6 papers
The KB paradigm and its application to interactive configuration
Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens +1
The knowledge base paradigm aims to express domain knowledge in a rich formal language, and to use this domain knowledge as a knowledge base to solve various problems and tasks tha…
FO(C): A Knowledge Representation Language of Causality
Bart Bogaerts, Joost Vennekens, Marc Denecker +1
Cause-effect relations are an important part of human knowledge. In real life, humans often reason about complex causes linked to complex effects. By comparison, existing formalism…
Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3
Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts +7
This paper provides a gentle introduction to problem solving with the IDP3 system. The core of IDP3 is a finite model generator that supports first order logic enriched with types,…
FO(FD): Extending classical logic with rule-based fixpoint definitions
Hou Ping, Broes De Cat, Marc Denecker
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 il…
CP-logic: A Language of Causal Probabilistic Events and Its Relation to Logic Programming
Joost Vennekens, Marc Denecker, Maurice Bruynooghe
This papers develops a logical language for representing probabilistic causal laws. Our interest in such a language is twofold. First, it can be motivated as a fundamental study of…
Well-founded and Stable Semantics of Logic Programs with Aggregates
Nikolay Pelov, Marc Denecker, Maurice Bruynooghe
In this paper, we present a framework for the semantics and the computation of aggregates in the context of logic programming. In our study, an aggregate can be an arbitrary interp…