43 citations · 51 across the 5 of their papers we have counts for
5 papers
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,…
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…
Offline Specialisation in Prolog Using a Hand-Written Compiler Generator
Michael Leuschel, Jesper Joergensen, Wim Vanhoof +1
The so called ``cogen approach'' to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evaluation of…
Logic program specialisation through partial deduction: Control issues
Michael Leuschel, Maurice Bruynooghe
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programmi…