research
∙
08/23/2018
FMS: Functional Programming as a Modelling Language
In this paper we introduce the Functional Modelling System (FMS). The sy...
research
∙
08/23/2018
Transpiling Programmable Computable Functions to Answer Set Programs
Programming Computable Functions (PCF) is a simplified programming langu...
research
∙
11/03/2015
Visualising interactive inferences with IDPD3
A large part of the use of knowledge base systems is the interpretation ...
research
∙
11/03/2015