53 citations · 87 across the 10 of their papers we have counts for
5 papers · 1 filter
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…
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…
Nesting Probabilistic Inference
Theofrastos Mantadelis, Gerda Janssens
When doing inference in ProbLog, a probabilistic extension of Prolog, we extend SLD resolution with some additional bookkeeping. This additional information is used to compute the…
A Delta Debugger for ILP Query Execution
Remko Troncon, Gerda Janssens
Because query execution is the most crucial part of Inductive Logic Programming (ILP) algorithms, a lot of effort is invested in developing faster execution mechanisms. These execu…
Practical Aspects for a Working Compile Time Garbage Collection System for Mercury
Nancy Mazur, Peter Ross, Gerda Janssens +1
Compile-time garbage collection (CTGC) is still a very uncommon feature within compilers. In previous work we have developed a compile-time structure reuse system for Mercury, a lo…