In this paper we introduce the Functional Modelling System (FMS). The sy...
Many problems, especially those with a composite structure, can naturall...
IDP is a knowledge base system based on first order logic. It is finding...
Probabilistic logic programs are logic programs in which some of the fac...