Uncertain information is being taken into account in an increasing number of application fields. In the meantime, abduction has been proved a powerful tool for handling hypothetical reasoning and incomplete knowledge. Probabilistic logical models are suitable framework to handle uncertain information, last decade many probabilistic languages have proposed, as well inference learning systems the...

Choices between certain and uncertain rewards of different magnitudes have been proposed to be mediated by both the frontal lobes and the mesocorticolimbic dopamine (DA) system. In rats, systemic manipulations of DA activity or inactivation of the medial prefrontal cortex (PFC) disrupt decision making about risks and rewards. However, it is unclear how PFC DA transmission contributes to these p...

PRISM and ProbLog are two prominent languages for Probabilistic Logic Programming. While they are superficially very similar, there are subtle differences between them that lead to different formulations of the same probabilistic model. This paper aims to shed more light on the differences by developing two source-to-source transformations, from PRISM to ProbLog and back.