53 citations · 87 across the 10 of their papers we have counts for
5 papers · 1 filter
Knowledge Representation Analysis of Graph Mining
Matthias van der Hallen, Sergey Paramonov, Michael Leuschel +1
Many problems, especially those with a composite structure, can naturally be expressed in higher order logic. From a KR perspective modeling these problems in an intuitive way is a…
Semantics of templates in a compositional framework for building logics
Ingmar Dasseville, Matthias van der Hallen, Gerda Janssens +1
There is a growing need for abstractions in logic specification languages such as FO(.) and ASP. One technique to achieve these abstractions are templates (sometimes called macros)…
Predicate Logic as a Modelling Language: The IDP System
Broes De Cat, Bart Bogaerts, Maurice Bruynooghe +2
With the technology of the time, Kowalski's seminal 1974 paper {\em Predicate Logic as a Programming Language} was a breakthrough for the use of logic in computer science. It intro…
DNF Sampling for ProbLog Inference
Dimitar Sht. Shterionov, Angelika Kimmig, Theofrastos Mantadelis +1
Inference in probabilistic logic languages such as ProbLog, an extension of Prolog with probabilistic facts, is often based on a reduction to a propositional formula in DNF. Calcul…
Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code
K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor +1
Development of energy and performance-efficient embedded software is increasingly relying on application of complex transformations on the critical parts of the source code. Design…