9 citations · 19 across the 5 of their papers we have counts for
5 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…
Transpiling Programmable Computable Functions to Answer Set Programs
Ingmar Dasseville, Marc Denecker
Programming Computable Functions (PCF) is a simplified programming language which provides the theoretical basis of modern functional programming languages. Answer set programming…
Visualising interactive inferences with IDPD3
Ruben Lapauw, Ingmar Dasseville, Marc Denecker
A large part of the use of knowledge base systems is the interpretation of the output by the end-users and the interaction with these users. Even during the development process vis…
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)…