Now showing items 1-2 of 2
A Logical Approach to Qualitative and Quantitative Reasoning
Reasoning with qualitative and quantitative uncertainty is required in some real-world applications . However, current extensions to logic programming with uncertainty support representing and reasoning with either ...
Towards the Computation of Stable Probabilistic Model Semantics
In , a stable model semantics extension of the language of hybrid probabilistic logic programs  with non-monotonic negation, normal hybrid probabilistic programs (NHPP), has been developed by introducing the notion ...