53 citations · 87 across the 10 of their papers we have counts for
11 papers
FMS: Functional Programming as a Modelling Language
Ingmar Dasseville, Gerda Janssens
In this paper we introduce the Functional Modelling System (FMS). The system introduces the Functional Modelling Language (FML), which is a modelling language for NP-complete searc…
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…
Implementing a Relevance Tracker Module
Joachim Jansen, Jo Devriendt, Bart Bogaerts +2
PC(ID) extends propositional logic with inductive definitions: rule sets under the well-founded semantics. Recently, a notion of relevance was introduced for this language. This no…
A web-based IDE for IDP
Ingmar Dasseville, Gerda Janssens
IDP is a knowledge base system based on first order logic. It is finding its way to a larger public but is still facing practical challenges. Adoption of new languages requires a n…
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…