A bstractThe OPERA neutrino experiment at the underground Gran Sasso Laboratory has measured the velocity of neutrinos from the CERN CNGS beam over a baseline of about 730 km. The measurement is… Expand

We present the algorithm BUNDLE for computing the probability of queries from DISPONTE knowledge bases that is based on the distribution semantics for probabilistic logic programs.Expand

Abstract Learning probabilistic logic programming languages is receiving an increasing attention, and systems are available for learning the parameters (PRISM, LeProbLog, LFI-ProbLog and EMBLEM) or… Expand

In this paper, we show how the PITA system, which originally supported the general PLP language of LPADs, can also efficiently support restricted PLP and Possibilistic Logic Programs.Expand

This article describes SWISH, a web front-end for Prolog, which is used to run small Prolog programs for demonstration, experimentation and education.Expand

In this paper we propose a language for the representation of process models that is inspired to the SCIFF language and is an extension of clausal logic.Expand

We present a Machine Learning technique targeted to Probabilistic Logic Programs, a family of formalisms where uncertainty is represented using Logic Programming tools.Expand